Yves Bontemps

Yves Bontemps FUNDP - Institut d'Informatique rue Grandgagnage, 21 5000 - Namur Belgium ybo (at) info.fundp.ac.be Tel : +32 (0) 81 72.49.86 Fax: +32 (0) 81 72.49.67

Curriculum Vitae

I was born in 1978. I graduated as a Maître en Informatique (a 5-year curriculum in computer science) from the Institut d'Informatique of the Facultés Universitaires Notre-Dame de la Paix (Univ. of Namur) in 2001, summa cum laude. In 2003, I finished (summa cum laude) a Diplôme d'Etudes Approfondies (a degree lying somewhere between an MSc and a PhD, in the ever-changing hierarchy of university degrees) on "Realizability of Scenario-based Specifications" (see below).

In April 2005, I defended my PhD thesis, entitled "Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts)". My research, supervised by Prof. Pierre-Yves Schobbens, considered the problem of synthesizing and verifying state-based models from scenario-based models, in my case Live Sequence Charts. The thesis provides a set of theoretical results about what is feasible and not, and the computational cost of this approach.

I am a member of the LIEL team (previously known as ALBERT team).

From October 2001 to June 2005, I was a research fellow (Aspirant) of the Fonds National de la Recherche Scientifique.

Research Interests

• Requirements Engineering, esp. scenario-based approaches
• Formal Methods
• Reactive and Embedded systems
• Synthesis and controller synthesis
• Infinite games
• Scenarios and State Machines
• Live Sequence Charts

Publications

• Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts), Yves Bontemps, PhD Thesis, April 2005, University of Namur (Belgium). [Details] [PDF]
• Temporal Logic for Scenario-Based Specifications, Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu and Yves Bontemps, in "Tools and Algorithms for Construction and Analysis of Systems (TACAS'05)", Halbwachs, N. and Zuck, L., eds, Lecture Notes in Computer Science, vol. 3440, pp 445--460, Springer (c).
• The Complexity of Live Sequence Charts, Yves Bontemps and Pierre-Yves Schobbens, in "Foundations of Software Science and Computation Structures (FoSSACS 2005)", April 2005, ETAPS'05, Edinburh, V. Sassone, ed., Edinburgh. Lecture Notes in Computer Science, vol. 3441, pp. 364--378, Springer (c). [PDF][Details]
• Lightweight Formal Methods for Scenario-Based Software Engineering, Yves Bontemps, Patrick Heymans and Pierre-Yves Schobbens, in "Scenarios", Stefan Leue and Tarja Systa (eds), 2005, Lecture Notes in Computer Science, vol. 3466, pp 174--192, Springer (c). [Details][PDF]
• Semantics of Feature Diagrams, Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens and Jean-Christophe Trigaux, in "Proc. Workshop on Software Variability Management for Product Derivation Towards Tool Support", August 2004 [Details][PDF]
• Synthesis of Open Reactive Systems from Scenario-based Specifications, Yves Bontemps, Pierre-Yves Schobbens and Christof Loeding, in Fundamenta Informaticae, R. Janicki (ed.), 62(2), 2004, pp 139--169. [Details][PS]
• As Fast As Sound (Lightweight Formal Scenario Synthesis and Verification), Yves Bontemps and Patrick Heymans, in Proc. of the third Int'l Workshop on "Scenarios and State Machines: algorithms, models and tools", H.Giese and I.Krueger (eds), pp 27-34, workshop co-located with ICSE'04, Edinburgh, IEE, May 2004, [Details][PDF]
• Realizability of Scenario-based Specifications , Yves Bontemps, Diplôme Inter-Universitaire d'Etudes Approfondies, Institut d'Informatique, FUNDP, Namur, Belgium, September 2003. [Details][PDF]
• Synthesizing Open Reactive Systems from Scenario-Based Specifications , Yves Bontemps and Pierre-Yves Schobbens, in Proc. of the third Int'l Conf. on Application of Concurrency to System Design (ACSD'03), Felice Balarin and Johan Lilius (eds), IEEE Computer Press, pp 41--50. [Details][PDF] .
• Applying LSCs to an Air Traffic Control Case Study , Yves Bontemps, Patrick Heymans and Hillel Kugler, May 2003, 2nd international workshop on Scenarios and State Machines: algorithms, state machines and tools (SCESM'03), Portland, OR. [Details][PDF].
• Turning High-Level Live Sequence Charts into Automata , Yves Bontemps and Patrick Heymans, "Workshop: Scenarios and State-Machines" , ICSE'02 , organized by Tarja Systä and Albert Zuendorf, 24th Int. Conf. on Software Engineering (ICSE 2002), May, 20th, 2002, Orlando, FL, USA. Download:
  • Paper ( PDF, BibTeX )
  • Slides ( PDF , PPT )
  • Technical Report Companion ( Abstract, BibTeX Entry , PDF , Gzipped Postscript )
• Description of my PhD research (in french). PDF Une approche circulaire de l'Ingénierie des Exigences basée sur les Statecharts et les Live Sequence Charts, Yves Bontemps, Journée des doctorants 2002, Inst. Info, FUNDP.
  • Article: PDF , Gzipped Postcript
  • Slides: PDF
• Automated Verification of State-based specifications against scenarios (A step toward relating inter-object to intra-object specifications), Yves Bontemps, Master's Thesis, Univ. of Namur, June 2001. Download Gzipped Postscript, Abstract, BibTeX entry, Appendix C (GzippedPostscript)

Teaching

• Syntaxe et Sémantique des Langages de Programmation
• Paradigmes de programmation I. There is a page dedicated to this practical work.

Tools

I have rewritten a gpmachine . It is a cross-platform PCode interpreter. PCode is a stack-oriented assembler language to which imperative languages à la Pascal can be translated.

This machine is used to help students understand the concepts of a compiler course, called "Syntaxe et Sémantique".