Yves Bontemps

According to our database1, Yves Bontemps authored at least 17 papers between 2003 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Governance Issues on Heavy Models in an Industrial Context.
Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011

2008
Evaluating formal properties of feature diagram languages.
IET Softw., 2008

Answering the Call for more Accountability: Applying Data Profiling to Museum Metadata.
Proceedings of the 2008 International Conference on Dublin Core and Metadata Applications, 2008

2007
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence.
Tech. Sci. Informatiques, 2007

The computational complexity of scenario-based agent verification and design.
J. Appl. Log., 2007

Generic semantics of feature diagrams.
Comput. Networks, 2007

2006
Comparative Semantics of Feature Diagrams.
Proceedings of the 2nd ERCIM Workshop on Software Evolution, 2006

2005
Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts).
PhD thesis, 2005

From Live Sequence Charts to State Machines and Back: A Guided Tour.
IEEE Trans. Software Eng., 2005

Scenarios and state machines: models, algorithms, and tools: a summary of the 4<sup>th</sup> workshop.
ACM SIGSOFT Softw. Eng. Notes, 2005

Temporal Logic for Scenario-Based Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05).
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

The Complexity of Live Sequence Charts.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

Generic Semantics of Feature Diagrams Variants.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2004
Synthesis of Open Reactive Systems from Scenario-Based Specifications.
Fundam. Informaticae, 2004

2003
Lightweight Formal Methods for Scenario-Based Software Engineering.
Proceedings of the Scenarios: Models, 2003

Synthesis of Open Reactive Systems from Scenario-Based Specifications.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003


  Loading...