Skip to Main content Skip to Navigation

Search by documents



hal-03012557v1  Conference papers
Jean-Paul BodeveixJulien BrunelDavid ChemouilM 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 BodeveixJulien BrunelDavid ChemouilM 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 SialaTahar BhiriJean-Paul BodeveixM 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 BodeveixM FilaliJulia LawallGilles Muller. Automatic Verification of Bossa Scheduler Properties
Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.19-34
...
hal-01887899v1  Conference papers
Badr SialaJean-Paul BodeveixM FilaliTahar 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-01231765v1  Conference papers
Abdeldjalil BoudjadarFrits VaandragerJean-Paul BodeveixM 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
...
insu-02270112v1  Conference papers
P. BieberJean-Paul BodeveixC. CastelD. DooseM 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 BerthomieuJean-Paul BodeveixPatrick FarailM FilaliHubert 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-01226470v1  Conference papers
Elie FaresJean-Paul BodeveixM FilaliManuel 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-01153717v1  Journal articles
Zhibin YangKai HuYong-Wang ZhaoDian-Fu MaJean-Paul Bodeveix. Verification of AADL Models with Timed Abstract State Machines
Journal of Software, Science in China Press, 2015, vol. 26 (n° 2), pp. 202-222
hal-00457183v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles 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-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilM FilaliMartin 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-01500510v1  Conference papers
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixM 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 YangJean-Paul BodeveixM 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 RollandJean-Paul BodeveixD ChemouilM FilaliD. 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 CortierJean-Paul BodeveixM FilaliG. GarciaE. 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-01709119v1  Conference papers
Badr SialaTahar BhiriJean-Paul BodeveixM 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-01095002v1  Journal articles
Zhibin YangKai HuDianfu MaJean-Paul BodeveixLei Pi et al.  From AADL to timed abstract state machine: a certified model transformation
Journal of Systems and Software, Elsevier, 2014, Journal of Systems and Software, pp.20
hal-00784986v1  Conference papers
Jean-Paul BodeveixDavid ChemouilM FilaliDave 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 YangJean-Paul BodeveixM FilaliKai HuYongwang 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 WangZhibin YangZhi-Qiu HuangCheng-Wei LiuYong 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 YangJean-Paul BodeveixM 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⟩