40 results  save search


  • 1
  • 2
...
hal-01500510v1  Conference papers
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixMamoun 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-01231765v1  Conference papers
Abdeldjalil BoudjadarFrits VaandragerJean-Paul BodeveixMamoun 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-01231769v1  Conference papers
Manuel GarnachoJean-Paul BodeveixMamoun Filali. A Mechanized Semantic Framework for Real-Time Systems
11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp. 106-120
hal-00457182v1  Conference papers
Jean-Paul BodeveixMamoun FilaliJulia LawallGilles Muller. Formal Methods Meet Domain Specific Languages
The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206
hal-00457183v1  Conference papers
Jean-Paul BodeveixMamoun 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
...
tel-00207502v1  Theses
Ana-Elena Rugina. Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. English
...
hal-01226470v1  Conference papers
Elie FaresJean-Paul BodeveixMamoun 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-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-01962754v1  Conference papers
Karama KanounYves CrouzetAli KalakechAna-Elena RuginaPhilippe Rumeau. Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *
16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005, Nov 2005, Chicago, United States. pp.11-20
...
hal-00494348v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixSilvano Dal ZilioPierre DissauxMamoun Filali et al.  Formal Verification of AADL models with Fiacre and Tina
ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9
...
hal-00323983v1  Conference papers
Ana-Elena RuginaPeter FeilerKarama KanounMohamed Kaâniche. Software dependability modeling using an industry-standard architecture description language
4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
...
hal-00323969v1  Conference papers
Ana-Elena RuginaKarama KanounMohamed Kaâniche. The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
...
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-00755268v1  Journal articles
Ana-Elena RuginaKarama KanounMohamed Kaâniche. Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG
Technique et Science Informatiques, Hermès-Lavoisier, 2009, 28 (1), pp.7-37
...
hal-00755279v1  Conference papers
Ana-Elena RuginaKarama KanounMohamed Kaâniche. MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL
15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p
hal-00784976v1  Conference papers
Ricardo Bedin FrançaJean-Paul BodeveixDavid ChemouilMamoun FilaliJean-François Rolland et al.  The AADL behaviour annex -- experiments and roadmap
International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
hal-00784986v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun 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-00784968v1  Conference papers
Jean-Paul BodeveixRaphaël CavalleroDavid ChemouilMamoun FilaliJean-François Rolland. A mapping from AADL to Java-RTSJ
5th international workshop on Java technologies for real-time and embedded systems, 2007, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
hal-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun 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-00788450v1  Conference papers
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain specific modeling language for embedded flight-software
FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
...
hal-01709119v1  Conference papers
Badr SialaTahar BhiriJean-Paul BodeveixMamoun 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-00761609v1  Book sections
Karama KanounYves CrouzetAli KalakechAna-Elena Rugina. Windows and Linux Robustness Benchmarks With Respect to Application Erroneous Behavior
Karama Kanoun et Lisa Spainhower. Dependability Benchmarking for Computer Systems, IEEE Computer Society et WILEY, pp.227-254, 2008, 978-0-470-23055-8
...
hal-01150341v1  Conference papers
Zhibin YangJean-Paul BodeveixMamoun 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-01153717v1  Journal articles
Zhi-Bin 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
  • 1
  • 2