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

Yves Bontemps Coauthor index pubzone.org

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

DBLP keys2011
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSabri Skhiri, Marc Delbaere, Yves Bontemps, Gregoire de Hemptinne, Nam-Luc Tran: Governance Issues on Heavy Models in an Industrial Context. ER Workshops 2011: 377-382
2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen: Evaluating formal properties of feature diagram languages. IET Software 2(3): 281-302 (2008)
2007
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps: Generic semantics of feature diagrams. Computer Networks 51(2): 456-479 (2007)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Pierre-Yves Schobbens: The computational complexity of scenario-based agent verification and design. J. Applied Logic 5(2): 252-276 (2007)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans: Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Technique et Science Informatiques 26(7): 797-817 (2007)
2005
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux: Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Pierre-Yves Schobbens: The Complexity of Live Sequence Charts. FoSSaCS 2005: 364-378
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Alexander Egyed: 4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05). ICSE 2005: 697
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Alexander Egyed: Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop. ACM SIGSOFT Software Engineering Notes 30(5): 1-4 (2005)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Patrick Heymans, Pierre-Yves Schobbens: From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. 31(12): 999-1014 (2005)
2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Pierre-Yves Schobbens, Christof Löding: Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Inform. 62(2): 139-169 (2004)
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Pierre-Yves Schobbens: Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003: 41-50
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bontemps, Patrick Heymans, Pierre-Yves Schobbens: Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192

Coauthor Index

1Andreas Classen [13]
2Marc Delbaere [14]
3Alexander Egyed [5] [7]
4David Harel [6]
5Gregoire de Hemptinne [14]
6Patrick Heymans [1] [4] [9] [10] [12] [13]
7Hillel Kugler [6]
8Christof Löding [3]
9Yuan Lu [6]
10Raimundas Matulevicius [13]
11Amir Pnueli [6]
12Germain Saval [10]
13Pierre-Yves Schobbens [1] [2] [3] [4] [8] [9] [10] [11] [12] [13]
14Sabri Skhiri (Sabri Skhiri dit Gabouje) [14]
15Nam-Luc Tran [14]
16Jean-Christophe Trigaux [9] [12] [13]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page