|
Search the dblp DataBase
Yves Bontemps:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yves Bontemps, Pierre-Yves Schobbens
Synthesis of Open Reactive Systems from Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP] ACSD, 2003, pp:41-50 [Conf]
- Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
Lightweight Formal Methods for Scenario-Based Software Engineering. [Citation Graph (0, 0)][DBLP] Scenarios: Models, Transformations and Tools, 2003, pp:174-192 [Conf]
- Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux
Generic Semantics of Feature Diagrams Variants. [Citation Graph (0, 0)][DBLP] FIW, 2005, pp:58-77 [Conf]
- Yves Bontemps, Pierre-Yves Schobbens
The Complexity of Live Sequence Charts. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:364-378 [Conf]
- Yves Bontemps, Alexander Egyed
4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05). [Citation Graph (0, 0)][DBLP] ICSE, 2005, pp:697- [Conf]
- Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps
Temporal Logic for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP] TACAS, 2005, pp:445-460 [Conf]
- Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
Generic semantics of feature diagrams. [Citation Graph (0, 0)][DBLP] Computer Networks, 2007, v:51, n:2, pp:456-479 [Journal]
- Yves Bontemps, Pierre-Yves Schobbens, Christof Löding
Synthesis of Open Reactive Systems from Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:62, n:2, pp:139-169 [Journal]
- Yves Bontemps, Pierre-Yves Schobbens
The computational complexity of scenario-based agent verification and design. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2007, v:5, n:2, pp:252-276 [Journal]
- Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
From Live Sequence Charts to State Machines and Back: A Guided Tour. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2005, v:31, n:12, pp:999-1014 [Journal]
Search in 0.001secs, Finished in 0.002secs
|