• Filters
• Author: Full name  ×
• Deposit type  ×
• All  ×

10 results  save search

 Search

 Advanced Search…  Simple search…

 

Default search field (multi-criteria) 

• Default search field (multi-criteria)
• Default search field (multi-criteria) + PDF full text
• Titles
• Subtitle
• Work title
• hal_serie_t
• Abstract
• Full text of PDF document
• Keywords
• All document identifiers
• HAL submission identifier
• Language of document (text)
• Country (Text)
• City
• hal_inPress_bool
• Author (multi-criteria)
• Author: Full name
• Author: Last name
• Author: First name
• Author: middle name
• Author: funding institution
• Author: IdHal (string)
• Author: function
• Author: idHal (integer)
• Author: Identifier
• Author: funding institution identifier
• Author: Structure identifier
• Thesis director
• Publisher
• Scientific editor
• Series editor
• Journals (multi-criteria)
• Journal: Publisher
• Journal: Abbreviated title
• Journal: Title
• Journal: Internal identifier
• Journal: beginning publication date
• Journal: online ISSN
• Journal: ISSN
• Journal: Publisher
• Journal: SHERPA/RoMEO color
• Journal: referential status
• Conference (multi-criteria)
• Conference: Title
• Conference: Organiser
• Conference: beginning date (Year)
• Conference: end date (Year)
• Invited communication (yes/no)
• ANR project (multi-criteria)
• ANR project: Acronym
• ANR project: Call Acronym
• ANR project: Project call name
• ANR project: Reference
• ANR project: Name
• ANR project: Internal identifier
• ANR project: Referential Status
• European project (multi-criteria)
• European project: Acronym
• European project: Call identifier
• European project: Reference
• European project: Name
• European project: end date
• European project: Funding
• European project: beginning date
• European project: Referential status
• European project: Internal identifier
• Structure (multi-criteria)
• Structure: Acronym
• Structure: Name
• Structure: Code
• Structure: Country
• Structure: Type
• Structure: Referential status
• Structure: Internal structure identifier
• Structure/research team: Country
• Structure/department: Country
• Structure/laboratory: Country
• Structure/group of departments: State
• Structure/institution: Country
• Structure/group of institutions: Country
• Publication date: year
• Release date: year
• Writing date: year
• Date modified: year
• Submission Date: year
• Online Publication date: year
• HAL Collection (multi-criteria)
• HAL Collection: category
• HAL Collection: Code
• HAL Collection: Name
• HAL Collection: Internal identifier
• Contributor/author Internal identifier
• Contributor/author Full name
• Domains
• Primary domain
• Root domain
• Sub-domain level 1
• Sub-domain level 2
• Sub-domain level 3
• Status of document
• Document version
• Submission type
• Document type
• ISBN
• Number - reference
• Identifier: DOI
• Classification
• Audience
• Vulgarization
• Peer reviewing - text (yes or no)
• Conference proceedings
• Internal reference
• Funding
• Collaborations

 

		Sort  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 Number 30 results per page 50 results per page 100 results per page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM
	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-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-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, France. pp.95-109
	hal-00784976v1  Conference papers Ricardo Bedin França, Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Jean-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 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-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, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
	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-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-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⟩
		Sort  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 Number 30 results per page 50 results per page 100 results per page  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM