Search - Université Toulouse III

	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-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-01121605v1 Reports Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, M Filali, Didier Le Botlan et al. Real-Time Model Checking Support for AADL [Research Report] LAAS-CNRS. 2015
	hal-00624134v1 Conference papers Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix et al. Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
	hal-01123837v1 Journal articles Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi et al. From AADL to Timed Abstract State Machines: A Verified Model Transformation Journal of Systems and Software, Elsevier, 2014, vol. 93, pp. 42-68. ⟨10.1016/j.jss.2014.02.058⟩
	hal-02061818v1 Book sections Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat et al. Synoptic: a domain-specific modeling language for space on-board application software Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
	hal-00788450v1 Conference papers Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien 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-01095002v1 Journal articles Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei 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-01231769v1 Conference papers Manuel Garnacho, Jean-Paul Bodeveix, Mamoun 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-00492327v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun 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-01226470v1 Conference papers Elie Fares, Jean-Paul Bodeveix, Mamoun 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-00457182v1 Conference papers Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles 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 Bodeveix, Mamoun 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-01298793v1 Journal articles Zhibin Yang, Jean-Paul Bodeveix, Mamoun 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-01278902v1 Journal articles Jean-Paul Bodeveix, Mamoun 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-00784986v1 Conference papers Jean-Paul Bodeveix, David Chemouil, Mamoun 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-01231765v1 Conference papers Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun 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-00494348v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali et al. Formal Veriﬁcation of AADL models with Fiacre and Tina ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9
	hal-01220607v1 Conference papers Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Event Algebra for Transition Systems Composition - Application to Timed Automata 20th International Symposium on Temporal Representation and Reasoning (TIME 2013), Sep 2013, Penscacolq, FL, United States. pp. 125-132
	hal-00784959v1 Conference papers Jean-Paul Bodeveix, David Chemouil, Mamoun 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-00784968v1 Conference papers Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun 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⟩
	hal-01150341v1 Conference papers Zhibin Yang, Jean-Paul Bodeveix, Mamoun 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 Yang, Kai Hu, Yong-Wang Zhao, Dian-Fu Ma, Jean-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
	inria-00089493v1 Conference papers Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Automatic Verification of Bossa Scheduler Properties Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.19-34
	hal-01154264v1 Journal articles Zhibin Yang, Jean-Paul Bodeveix, Mamoun 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-02181895v1 Conference papers Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. Event-B Formalization of a Variability-Aware Component Model Patterns Framework 15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74
	hal-00457181v1 Conference papers Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa AFADL'2006, 2006, Paris, France. pp.95-109
	inria-00262442v1 Conference papers Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun 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-03012557v1 Conference papers Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol Journées du Groupe de Travail Vérification du GDR GPL 2019, Jun 2019, Nantes, France. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
	hal-02538359v1 Journal articles Elie Fares, Jean-Paul Bodeveix, Mamoun 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-02419464v1 Journal articles Zhibin Yang, Jean-Paul Bodeveix, Mamoun 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⟩
	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

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

CONTACT