dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Gilles Motet (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: Separating Functional and Dependability Requirements of Embedded Systems. CIT 2010: 2373-2380
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: Towards better support for the evolution of safety requirements via the model monitoring approach. ICSE (2) 2010: 219-222
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: Nevertrace Claims for Model Checking. SPIN 2010: 162-179
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: System Safety Requirements as Control Structures. COMPSAC (1) 2009: 324-331
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: A Language-Theoretic View on Guidelines and Consistency Rules of UML. ECMDA-FA 2009: 66-81
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: Modeling System Safety Requirements Using Input/Output Constraint Meta-automata. ICONS 2009: 228-233
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata CoRR abs/0905.2355: (2009)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: Formalizing Safety Requirements Using Controlling Automata CoRR abs/0905.2364: (2009)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe Chen, Gilles Motet: A Language-theoretic View on Guidelines and Consistency Rules of UML CoRR abs/0905.2367: (2009)

Selection of 9 from 17 records - Gilles Motet has 12 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page