Yves Bontemps

17 papers A* 1A 1B 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2011 — conf
Governance Issues on Heavy Models in an Industrial Context.
ER Workshops
Sabri Skhiri, Marc Delbaere, Yves Bontemps, Gregoire de Hemptinne, Nam-Luc Tran
2008 — conf
Answering the Call for more Accountability: Applying Data Profiling to Museum Metadata.
Dublin Core Conference
Seth van Hooland, Yves Bontemps, Seth Kaufman
2008 J jnl
Evaluating formal properties of feature diagram languages.
IET Softw.
Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen
2007 J jnl
Generic semantics of feature diagrams.
Comput. Networks
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
2007 J jnl
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence.
Tech. Sci. Informatiques
Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans
2007 J jnl
The computational complexity of scenario-based agent verification and design.
J. Appl. Log.
Yves Bontemps, Pierre-Yves Schobbens
2006 — conf
Comparative Semantics of Feature Diagrams.
EVOL
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
2005 A* conf
4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05).
ICSE
Yves Bontemps, Alexander Egyed
2005 J jnl
From Live Sequence Charts to State Machines and Back: A Guided Tour.
IEEE Trans. Software Eng.
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
2005 — conf
Generic Semantics of Feature Diagrams Variants.
FIW
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux
2005 — —
Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts).
Yves Bontemps
2005 J jnl
Scenarios and state machines: models, algorithms, and tools: a summary of the 4
ACM SIGSOFT Softw. Eng. Notes
Yves Bontemps, Alexander Egyed
2005 A conf
Temporal Logic for Scenario-Based Specifications.
TACAS
Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps
2005 B conf
The Complexity of Live Sequence Charts.
FoSSaCS
Yves Bontemps, Pierre-Yves Schobbens
2004 J jnl
Synthesis of Open Reactive Systems from Scenario-Based Specifications.
Fundam. Informaticae
Yves Bontemps, Pierre-Yves Schobbens, Christof Löding
2003 — conf
Lightweight Formal Methods for Scenario-Based Software Engineering.
Scenarios: Models, Transformations and Tools
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
2003 — conf
Synthesis of Open Reactive Systems from Scenario-Based Specifications.
ACSD
Yves Bontemps, Pierre-Yves Schobbens