Publications regarding SPEEDS 

2009

Roberto Passeron and Imene Ben Hafaiedh and Albert Benveniste and Daniela Cancila and Arnaud Cuccuru

and Werner Damm and Alberto Ferrari and Sebastien Gerard and Susanne Graf and Bernhard Josko

and Leonardo Mangeruca and Thomas Peikenkamp and Alberto Sangiovanni-Vincentelli and Francois Terrier,

“Meta-models in Europe: Languages, Tools and Applications",

IEEE Design & Test of Computers. Under press. 2009.

Simon Bliudze and  J. Sifakis,

"A Notion of Glue Expressiveness for Component-Based Systems",

In Proc. of the 19th International Conference on Concurrency Theory (CONCUR'08), LNCS 5201, 508–522, Springer, 20

Werner Damm and Thomas Peikenkamp and Bernhard Josko,

"Contract Based ISO CD 26262 Safety Analysis",

SAE World Congress 2009, Detroit USA, April 2009

Henning Dierks and Alexander Metzner and Ingo Stierand,

"Efficient Model-Checking for Real-Time Task Networks".

6th International Conference on Embedded Software and Systems, (ICESS 2009), May 2009  

Jean-Baptiste Raclet and Eric Badouel and Albert Benveniste and Benoit Caillaud and Roberto Passerone,

"Why are modalities good for Interface Theories?",

In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09), 2009, also available as Reseach Report INRIA, No 6899.

Albert Benveniste and Benoît Caillaud and Roberto Passerone,

"Multi-Viewpoint State Machines for Rich Component Models",

In Model-Based Design of Heterogeneous Embedded Systems, Pieter Mosterman, Gabriela Nicolescu (eds.), 2009, to appear.  

Sophie Quinton and Susanne Graf,

“Contract-based verification of hierarchical systems of components”.

Technical report April 2009. Submitted for publication

2008

Sophie Quinton and Susanne Graf,

“A Framework for Contract-Based Reasoning: Motivation and Application”,

In Second Workshop on Formal Languages and Analysis of Contract-Oriented Software, 

FLACOS, Malta, November 2008 vol. 2008

Sophie Quinton and Susanne Graf,

“Contract-Based Verification of Hierarchical Systems of Components”,

In 6th IEEE Int. Conferences on Software Engineering and Formal Methods, SEFM08,

Cape Town, South Africa, November 2008 vol. IEEE Computer Society Press 2008

Olivier Constant and Wei Monin and Susanne Graf.

“A Model Transformation Tool for Performance Simulation of Complex UML Models”,

In ICSE 2008, tool track vol. ICSE Companion ACM 2008.

Saddek Bensalem and Marius Bozga and Joseph Sifakis and Thanh-Hung Nguyen,

“Compositional Verification for Component-Based Systems and Application”,

ATVA 2008

Ananda Basu and Saddek Bensalem and Matthieu Gallien and Felix Ingrand and Charles Lesire and Thanh-Hung Nguyen and Joseph Sifakis,

“Incremental Component-Based Construction and Verification of a Robotic System”,

18th European Conf. on Artificial Intelligence (ECAI), 2008

Mohamad Jaber and Ananda Basu and Simon Bliudze,

“Symbolic Implementation of Connectors in BIP”,

FORTE 2008.

Simon Bliudze and Joseph Sifakis,

“The Algebra of Connectors --- Structuring Interaction in BIP”,

in IEEE Transactions on Computers  Special Issue on Programming Models and Architectures for Embedded Systems. 2008

Simon Bliudze and Joseph Sifakis,

“Causal Semantics for the Algebra of Connectors”,

submitted to Formal Methods in System Design, 2008.

Bernhard Josko and Qin Ma and Alexander Metzner,

"Designing Embedded Systems using Heterogeneous Rich Components",

Proceedings of the INCOSE International Symposium 2008, June 2008 Utrecht

Michael Winokur and Susanne Graf and Bernhard Josko,

"Contract-based system design - the SPEEDS approach",

Tutorial at the INCOSE International Symposium 2008, June 2008 Utrecht

Werner Damm,

"Enriching the AUTOSAR Component Mode",

Keynote speech at Mathwork Annual Automotive Conference 2008, June 2008 Stuttgart.

Alexander Metzner

"Scheduling Analysis of Distributed Real-Time Systems Under Functional Constraints",

Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation,

September 2008 Hamburg

L. Benvenuti, and A. Ferrari and E. Mazzi and A. Sangiovanni Vincentelli,

"Contract-based design for computation and verification of a closed-loop hybrid system",

Hybrid Systems: Computation and Control 2008 (HSCC 2008)

L. Benvenuti and D. Bresolin and A. Casagrande and P. Collins and A. Ferrari and E. Mazzi and A. Sangiovanni Vincentelli and T. Villa,

"Reachability computation for hybrid systems with Ariadne",

International Federation of Automatic Control 2008 (IFAC 2008).

L. Benvenuti and A. Ferrari and E. Mazzi and A. Sangiovanni Vincentelli,

"Composing Hybrid Systems",

Conference on Decision and Control 2008 (CDC 2008).

A. Benveniste and  B. Caillaud and A. Ferrari and L. Mangeruca and R. Passerone and C. Sofronis

"Multiple viewpoint contract-based specification and design. Formal Methods for Components and Objects",

6th International Symposium, Revised Papers, volume 5382 of Lecture Notes in Computer Science,

pages 200-225. Springer Verlag Berlin Heidelberg, 2008.

Benoît Delahaye and Benoît Caillaud,

"A model for Probabilistic Reasoning on Assume/Guarantee Contracts",

Research Report INRIA, No 6719, 2008.

S. Bliudze and J. Sifakis,

"The Algebra of Connectors – Structuring Interaction in BIP",

Proc. EmSoft07, ACM&IEEE, Oct. 1-3, 2007, Salzburg, Austria, pp 11-20.

A. Basu and S. Bensalem and F. Ingrand and M. Gallien and H. Nguyen and J. Sifakis.

”Incremental Component-Based Construction and Verification of a Robotic System”.

2nd Workshop on Control Architecture of Robots: from models to execution on distributed control architecture. May 31-June 1st 2007, Paris.

Ananda Basu and Laurent Mounier and Marc Poulhiès and Jacques Pulou and Joseph Sifakis.

"Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks",

In NCA, pages 257-260, 2007.

Susanne Graf and Sophie Quinton

"Contracts for BIP: hierarchical interaction models for compositional verification",

In FORTE 2007, Talinn LNCS vol. 4574 2007 (partners Verimag)

J.-B. Raclet,

"Residual for Component Specifications",

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Albert Benveniste and Benoit Caillaud and Roberto Passerone,

"Multi-Viewpoint State Machines for Rich Component Models".

Chapter contribution to the book "Model-Based Design of Heterogeneous Systems",

CRC Press, Taylor and Francis Group, Boca Raton, London, New York, 2008.  Book in preparation.

Albert Benveniste and Benoit Caillaud and Alberto Ferrari and Leonardo Mangeruca and Roberto Passerone and Christos Sofronis,

"Multiple Viewpoint Contract-Based Specification and Design",

Revised Lectures of the Software Technologies Concertation on Formal Methods for Components and Objects (FMCO07),

Lecture Notes in Computer Science, Springer Verlag, Amsterdam, The Netherlands.  Volume in preparation.

L. Benvenuti and A. Ferrari,  E. Mazzi and A. Sangiovanni-Vincentelli,

"Contract-based design for computation and verification of a closed-loop hybrid system",

Proceedings of the  11th International Conference on Hybrid Systems: Computation and Control , St. Louis, MO, USA,  April 2008.

L. Benvenuti and D. Bresolin and A. Casagrande and P. Collins and A. Ferrari and E. Mazzi and A. Sangiovanni-Vincentelli and T. Villa,

"Reachability computation for hybrid systems with Ariadne",

Proceedings of the  17th IFAC World Congress, Seul, Korea,  July 2008

A. Engel and M. Winokur and G. Döhmen and M. Enzmann,

"Assumptions / Promises - Shifting the Paradigm in Systems-Engineering",

INCOSE 2008 

Mohamad Jaber and Ananda Basu and Simon Bliudze,

“Symbolic Implementation of Connectors in BIP” ,

FORTE 2008.

Ananda Basu and Saddek Bensalem and Matthieu Gallien and Felix Ingrand and Charles Lesire and Thanh-Hung Nguyen and Joseph Sifakis,

“Incremental Component-Based Construction and Verification of a Robotic System”,

18th European Conf. on Artificial Intelligence (ECAI), 2008.

2007

S. Bliudze and J. Sifakis,

"The Algebra of Connectors – Structuring Interaction in BIP"

Proc. EmSoft07, ACM&IEEE, Oct. 1-3, 2007, Salzburg, Austria, pp 11-20.

Simon Bliudze and Joseph Sifakis,

“The Algebra of Connectors - Structuring Interaction in BIP Proc”,

in "IEEE Transactions on Computers Special Issue on Programming Models and Architectures for Embedded Systems".

T.A. Henzinger and J. Sifakis,

"The Discipline of Embedded Systems Design", 

Computer, October 2007, pp. 32-40.

Basu, L. Mounier and M. Poulhiès and J. Pulou and J. Sifakis,

"Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks",

Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA, pages 257-260.

Susanne Graf and Sophie Quinton ,

"Contracts for BIP: hierarchical interaction models for compositional verification".

FORTE 2007, Talinn. LNCS vol. 4574 2007 (partners Verimag)

G. Gössler and  S. Graf and M. Majster-Cederbaum and M. Martens and J. Sifakis,

"An Approach to Modeling and Verification of Component Based Systems",

Current Trends in Theory and Practice of Computer Science, SOFSEM'07, LNCS 4362,  January 2007. (partners: Verimag + external)

Gregor Gössler and Susanne Graf and Mila Majster-Cederbaum and M. Martens and Joseph Sifakis,

"Ensuring Properties of Interaction Systems by Construction".

Program Analysis and Compilation, Theory and Practice LNCS 4444, 2007

W. Damm and A. Metzner,

"A Design Methodology for Distributed Real-Time Automotive Applications",

Ramesh, S.; Sampath, P. (Edts.) Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems.
Proceedings of the GM R&D Workshop, Bangalore, India, January 2007. Springer, ISBN 978-1-4020-6253-7, 2007. pages 157-174

A. L. Sangiovanni-Vincentelli,

"Quo Vadis, SLD? Reasoning about the Trends and Challenges of System Level Design",

Proceedings of the IEEE; Vol. 95 Nr.3; March 2007

A. Benveniste and B. Caillot and R. Passerone,

"A Generic Model of Contracts for Embedded Systems",

INRIA Research Report, June 2007

O. Constant and W. Morin, and S. Graf,

"From Complex UML Models to Systematic Performance Simulation with Persiform",

Verimag Technical Report, 2007

2006

A. Benveniste and B. Caillaud and L. P. Carloni and P. Caspi and A.L. Sangiovanni-Vincentelli,

"Communication by sampling in time-sensitive distributed systems",

EMSOFT 2006

A. Basu and M. Bozga and J. Sifakis,

"Modeling Heterogeneous Real-time Systems in BIP".

4th IEEE International Conference on Software Engineering and Formal Methods (SEFM06), Invited talk, September 11-15, 2006, Pune, pp 3-12. (Partners: Verimag)

T. Henzinger and J. Sifakis,

"The Embedded Systems Design Challenge",

Invited Paper, FM06.

S. Graf and S. Gerard and I. Ober and O. Haugen,

"2nd workshop on Modelling and Analysis of Real-Time Embedded Systems",

MARTES 2006

W. Damm,

"Embedded System Development for Automotive Applications: Trends and Challenges",

Invited Keynote Talk, EMSOFT 2006