Search by documents

	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-03012557v1 Conference papers Jean-Paul Bodeveix, Julien Brunel, David Chemouil, M Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol Journées du Groupe de Travail Vérification du GDR GPL 2019, GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel) - INS2I / CNRS, Jun 2019, Nantes, France
	hal-02332531v1 Conference papers Jean-Paul Bodeveix, Julien Brunel, David Chemouil, M Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol (FM 2019) 3rd International Symposium on Formal Methods (FM 2019), FME: Formal Methods Europe, Oct 2019, Porto, Portugal. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
	hal-03176420v1 Conference papers Badr Siala, Tahar Bhiri, Jean-Paul Bodeveix, M Filali. An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016) Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
	inria-00089493v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Automatic Verification of Bossa Scheduler Properties Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.19-34
	hal-03097697v1 Journal articles Jean-Paul Bodeveix, Arnaud Dieumegard, M Filali. Event-B formalization of a variability-aware component model patterns framework Science of Computer Programming, Elsevier, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩
	hal-01887899v1 Conference papers Badr Siala, Jean-Paul Bodeveix, M Filali, Tahar Bhiri. Automatic Refinement for Event-B through Annotated Patterns 25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), Mar 2017, Saint Petersburg, Russia. pp. 287-290
	hal-00492327v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, M Filali, Marc Pantel et al. Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vériﬁcation formelle Fiacre IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
	hal-01231765v1 Conference papers Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, M Filali. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems 5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132
	hal-02419464v1 Journal articles Zhibin Yang, Jean-Paul Bodeveix, M Filali. Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL Frontiers of Computer Science, Springer Verlag, 2019, 13 (4), pp.715-734. ⟨10.1007/s11704-017-6485-y⟩
	insu-02270112v1 Conference papers P. Bieber, Jean-Paul Bodeveix, C. Castel, D. Doose, M Filali et al. Constraint-based Design of Avionics Platform – Preliminary Design Exploration 4th International Coongress on Embedded Real Time Software and Systems (ERTS 2008), 3AF; SEE, Jan 2008, Toulouse, France
	inria-00262442v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, M Filali, Hubert Garavel et al. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment 4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p
	hal-02270356v1 Conference papers Jean-Paul Bodeveix, P Dissaux, M Filali, P Farail, P Gaufillet et al. Behavioural descriptions in architecture description languages Application to AADL Conference ERTS'06, Jan 2006, Toulouse, France
	hal-01226470v1 Conference papers Elie Fares, Jean-Paul Bodeveix, M Filali, Manuel Garnacho. An Automatic Technique for Checking the Simulation of Timed Systems 11th International Symposium Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoï, Vietnam. pp. 71-86
	hal-00457183v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Applying the B formal method to the Bossa domain-specific language The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38
	hal-00457181v1 Conference papers Jean-Paul Bodeveix, M Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa AFADL'2006, 2006, Paris, France. pp.95-109
	hal-01141443v1 Conference papers Hajer Herbegue, M Filali, Hugues Cassé. Formal Architecture Specification for Time Analysis International Conference on Architecture of Computing Systems - ARCS 2014, Feb 2014, Lubeck, Germany. pp. 98-110
	hal-00784959v1 Conference papers Jean-Paul Bodeveix, David Chemouil, M Filali, Martin Strecker. Towards formalising AADL in Proof Assistants Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩
	hal-02538359v1 Journal articles Elie Fares, Jean-Paul Bodeveix, M Filali. Event algebra for transition systems composition Application to timed automata Acta Informatica, Springer Verlag, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩
	hal-01500510v1 Conference papers Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, M Filali. Un processus de développement Event-B pour des applications distribuées 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
	hal-01150341v1 Conference papers Zhibin Yang, Jean-Paul Bodeveix, M Filali. Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Workshop on Architecture Centric Virtual Integration - MODELS 2014, Sep 2014, Valencia, Spain. pp. 1-10
	hal-02269846v1 Conference papers Jean-François Rolland, Jean-Paul Bodeveix, D Chemouil, M Filali, D. Thomas. Towards a formal semantics for AADL execution model 4th International Congress on Embedded Real Time Software and Systems (ERTS 2008), 3AF : Association Aéronautique et Astronautique de France; SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication, Jan 2008, Toulouse, France
	hal-02267722v1 Conference papers Alexandre Cortier, Jean-Paul Bodeveix, M Filali, G. Garcia, E. Morand et al. Synoptic: a DSML for On-Board Real-Time Software Design 5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), May 2010, Toulouse, France
	hal-01790208v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Christele Chaudet, Silvano Dal Zilio, M Filali et al. Formal Verification of AADL Specifications in the Topcased Environment Reliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
	hal-01709119v1 Conference papers Badr Siala, Tahar Bhiri, Jean-Paul Bodeveix, M Filali. An Event-B Development Process for the Distributed BIP Framework 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. pp. 313-328
	hal-00784986v1 Conference papers Jean-Paul Bodeveix, David Chemouil, M Filali, Dave Thomas. Modes in Asynchronous Systems 13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
	hal-01298793v1 Journal articles Zhibin Yang, Jean-Paul Bodeveix, M Filali, Kai Hu, Yongwang Zhao et al. Towards a verified compiler prototype for the synchronous language SIGNAL Frontiers of Computer Science, Springer Verlag, 2016, vol. 10 (n° 1), pp. 37-53. ⟨10.1007/s11704-015-4364-y⟩
	hal-02382714v1 Journal articles Fei Wang, Zhibin Yang, Zhi-Qiu Huang, Cheng-Wei Liu, Yong Zhou et al. An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2019, 1 (1), pp.1-20. ⟨10.1109/TR.2019.2936072⟩
	hal-01154264v1 Journal articles Zhibin Yang, Jean-Paul Bodeveix, M Filali. A comparative study of two formal semantics of the SIGNAL language Frontiers of Computer Science, Springer Verlag, 2013, vol. 7 (n° 5), pp. 673-693. ⟨10.1007/s11704-013-3908-2⟩
	hal-01278902v1 Journal articles Jean-Paul Bodeveix, M Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang. Towards a verified transformation from AADL to the formal component-based language FIACRE Science of Computer Programming, Elsevier, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩
	hal-00784968v1 Conference papers Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, M Filali, Jean-François Rolland. A mapping from AADL to Java-RTSJ 5th international workshop on Java technologies for real-time and embedded systems, 2007, Vienne, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Search by documents

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

CONTACT