Members
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code, in: Proceedings of the 11th International Conference on Embedded Software, EMSOFT, S. Chakraborty, A. Jerraya, S. K. Baruah, S. Fischmeister (editors), ACM, 2011, pp. 137-148.
http://doi.acm.org/10.1145/2038642.2038664
[2]
A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.
Divide and recycle: types and compilation for a hybrid synchronous language, in: Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES Chicago, IL, USA, April 11-14, J. Vitek, B. de Sutter (editors), ACM, 2011, pp. 61-70.
http://doi.acm.org/10.1145/1967677.1967687
[3]
A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.
Non-standard semantics of hybrid systems modelers, in: Journal of Computer and System Sciences, 2012, vol. 78, no 3, pp. 877-910, This work was supported by the SYNCHRONICS large scale initiative of Inria. [ DOI : 10.1016/j.jcss.2011.08.009 ]
http://hal.inria.fr/hal-00766726
[4]
A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. L. Sangiovanni-Vincentelli, W. Damm, T. A. Henzinger, K. G. Larsen.
Contracts for System Design, Inria, November 2012, no RR-8147, 65 p.
http://hal.inria.fr/hal-00757488
[5]
J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, R. Passerone.
A Modal Interface Theory for Component-based Design, in: Fundamenta Informaticae, 2011, vol. 108, no 1-2, pp. 119-149.
http://dx.doi.org/10.3233/FI-2011-416
Publications of the year

Articles in International Peer-Reviewed Journals

[6]
K. Ghorbal, A. Sogokon, A. Platzer.
A Hierarchy of Proof Rules for Checking Positive Invariance of Algebraic and Semi-Algebraic Sets, in: Computer Languages, Systems and Structures, November 2015.
https://hal.archives-ouvertes.fr/hal-01232288

International Conferences with Proceedings

[7]
G. Baudart, T. Bourke, A. Benveniste.
Loosely Time-Triggered Architectures: Improvements and Comparisons, in: Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Amsterdam, Netherlands, October 2015. [ DOI : 10.1109/EMSOFT.2015.7318263 ]
https://hal.inria.fr/hal-01243005

Conferences without Proceedings

[8]
A. Aljarbouh, B. Caillaud.
On the Regularization of Chattering Executions in Real Time Simulation of Hybrid Systems, in: Baltic Young Scientists Conference, Tallinn, Estonia, C. Cap (editor), Universität Rostock, July 2015, 49 p.
https://hal.archives-ouvertes.fr/hal-01246853
[9]
A. Aljarbouh, B. Caillaud.
Robust Simulation for Hybrid Systems Chattering Path Avoidance, in: The 56th Conference on Simulation and Modelling (SIMS 56), Linköping, Sweden, Linköping University Press, October 2015, vol. 119, no 018, pp. 175-185. [ DOI : 10.3384/ecp15119175 ]
https://hal.archives-ouvertes.fr/hal-01247074
[10]
P. Reinkemeier, A. Benveniste, W. Damm, I. Stierand.
Contracts for Schedulability Analysis, in: 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Madrid, Spain, Sriram Sankaranarayanan (University of Colorado at Boulder, USA) and Enrico Vicario (University of Florence, Italy), September 2015.
https://hal.inria.fr/hal-01182407

Scientific Books (or Scientific Book chapters)

[11]
J. Deantoni, C. Brun, B. Caillaud, R. France, G. Karsai, O. Nierstrasz, E. Syriani.
Domain Globalization: Using Languages to Support Technical and Social Coordination, in: Globalizing Domain-Specific Languages, B. Combemale, B. H. Cheng, R. B. France, J.-M. Jézéquel, B. Rumpe (editors), Lecture Notes in Computer Science, Springer International Publishing, 2015, vol. 9400, pp. 70-87. [ DOI : 10.1007/978-3-319-26172-0_5 ]
https://hal.archives-ouvertes.fr/hal-01234653

Internal Reports

[12]
A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger, K. Larsen.
Contracts for Systems Design: Methodology and Application cases, Inria Rennes Bretagne Atlantique ; Inria, July 2015, no RR-8760, 63 p.
https://hal.inria.fr/hal-01178469
[13]
A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger, K. Larsen.
Contracts for Systems Design: Theory, Inria Rennes Bretagne Atlantique ; Inria, July 2015, no RR-8759, 86 p.
https://hal.inria.fr/hal-01178467

Other Publications

[14]
A. ALJARBOUH, B. Caillaud.
Chattering-Free Simulation of Hybrid Dynamical Systems with the Function Mock-Up Interface 2.0, February 2016, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-01247008
[15]
A. ALJARBOUH, Y. Zeng, A. Duracz, W. Taha, B. Caillaud.
Chattering-Free Simulation of Non-Smooth Hybrid Systems, January 2016, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-01247015
[16]
J.-B. Jeannin, K. Ghorbal, Y. Kouskoulas, A. Schmidt, R. Gardner, S. Mitsch, A. Platzer.
A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System, November 2015, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-01232365
References in notes
[17]
N. J. Cutland (editor)
Nonstandard analysis and its applications, Cambridge Univ. Press, 1988.
[18]
IEEE Standard VHDL Analog and Mixed-Signal Extensions, Std 1076.1-1999, 1999.
http://dx.doi.org/10.1109/IEEESTD.1999.90578
[19]
A. Antonik, M. Huth, K. G. Larsen, U. Nyman, A. Wasowski.
20 Years of Modal and Mixed Specifications, in: Bulletin of European Association of Theoretical Computer Science, 2008, vol. 1, no 94.
[20]
C. Baier, J.-P. Katoen.
Principles of Model Checking, MIT Press, Cambridge, 2008.
[21]
A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, M. Pouzet.
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers, December 2013, Deliverable D3.1_1 v 1.0 of the Sys2soft collaborative project ”Physics Aware Software”.
https://hal.inria.fr/hal-00938866
[22]
A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.
Semantics of multi-mode DAE systems, August 2013, Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project.
https://hal.inria.fr/hal-00938891
[23]
A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, C. Sofronis.
Multiple Viewpoint Contract-Based Specification and Design, in: Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07), Amsterdam, The Netherlands, Revised Lectures, Lecture Notes in Computer Science, Springer, October 2008, vol. 5382.
[24]
A. Benveniste, B. Caillaud, B. Pagano, M. Pouzet.
A type-based analysis of causality loops in hybrid modelers, in: HSCC '14: International Conference on Hybrid Systems: Computation and Control, Berlin, Germany, Proceedings of the 17th international conference on Hybrid systems: computation and control (HSCC '14), ACM Press, April 2014, 13 p. [ DOI : 10.1145/2562059.2562125 ]
https://hal.inria.fr/hal-01093388
[25]
N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet.
A Compositional Approach on Modal Specifications for Timed Systems, in: 11th International Conference on Formal Engineering Methods (ICFEM'09), Rio de Janeiro, Brazil, LNCS, Springer, December 2009, vol. 5885, pp. 679-697.
http://hal.inria.fr/inria-00424356/en
[26]
N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet.
Modal event-clock specifications for timed component-based design, in: Science of Computer Programming, 2011.
http://dx.doi.org/10.1016/j.scico.2011.01.007
[27]
N. Bertrand, S. Pinchinat, J.-B. Raclet.
Refinement and Consistency of Timed Modal Specifications, in: 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Tarragona, Spain, LNCS, Springer, April 2009, vol. 5457, pp. 152-163. [ DOI : 10.1007/978-3-642-00982-2_13 ]
http://hal.inria.fr/inria-00424283/en
[28]
P. Bhaduri, I. Stierand.
A proposal for real-time interfaces in SPEEDS, in: Design, Automation and Test in Europe (DATE'10), IEEE, 2010, pp. 441-446.
[29]
S. Bliudze.
Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, Ecole Polytechnique, 2006.
[30]
S. Bliudze, D. Krob.
Modelling of Complex Systems: Systems as Dataflow Machines, in: Fundam. Inform., 2009, vol. 91, no 2, pp. 251–274.
[31]
G. Boudol, K. G. Larsen.
Graphical Versus Logical Specifications, in: Theor. Comput. Sci., 1992, vol. 106, no 1, pp. 3-20.
[32]
B. Caillaud.
Surgical Process Mining with Test and Flip Net Synthesis, in: Application of Region Theory (ART), Barcelona, Spain, R. Bergenthum, J. Carmona (editors), July 2013, pp. 43-54.
http://hal.inria.fr/hal-00872284
[33]
B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, A. Wasowski.
Compositional design methodology with constraint Markov chains, in: QEST 2010, Williamsburg, Virginia, United States, September 2010. [ DOI : 10.1109/QEST.2010.23 ]
http://hal.inria.fr/inria-00591578/en
[34]
B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, A. Wasowski.
Constraint Markov Chains, in: Theoretical Computer Science, May 2011, vol. 412, no 34, pp. 4373-4404. [ DOI : 10.1016/j.tcs.2011.05.010 ]
http://hal.inria.fr/hal-00654003/en
[35]
A. Chakrabarti.
A Framework for Compositional Design and Analysis of Systems, EECS Department, University of California, Berkeley, Dec 2007.
http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-174.html
[36]
A. Chakrabarti, L. de Alfaro, T. A. Henzinger, M. Stoelinga.
Resource Interfaces, in: EMSOFT, R. Alur, I. Lee (editors), Lecture Notes in Computer Science, Springer, 2003, vol. 2855, pp. 117-133.
[37]
E. Y. Chang, Z. Manna, A. Pnueli.
Characterization of Temporal Property Classes, in: ICALP, W. Kuich (editor), Lecture Notes in Computer Science, Springer, 1992, vol. 623, pp. 474-486.
[38]
E. Clarke, O. Grumberg, D. Peled.
Model Checking, MIT Press, 1999.
[39]
W. Damm, E. Thaden, I. Stierand, T. Peikenkamp, H. Hungar.
Using Contract-Based Component Specifications for Virtual Integration and Architecture Design, in: Proceedings of the 2011 Design, Automation and Test in Europe (DATE'11), March 2011.
[40]
A. David, K. G. Larsen, A. Legay, U. Nyman, A. Wasowski.
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems, in: Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, 2010, pp. 365-370.
[41]
A. David, K. G. Larsen, A. Legay, U. Nyman, A. Wasowski.
Timed I/O automata: a complete specification theory for real-time systems, in: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, 2010, pp. 91-100.
[42]
B. Delahaye, J.-P. Katoen, K. G. Larsen, A. Legay, M. L. Pedersen, F. Sher, A. Wasowski.
Abstract Probabilistic Automata, in: VMCAI, R. Jhala, D. A. Schmidt (editors), Lecture Notes in Computer Science, Springer, 2011, vol. 6538, pp. 324-339.
[43]
F. Diener, G. Reeb.
Analyse non standard, Hermann, 1989.
[44]
D. L. Dill.
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, ACM Distinguished Dissertations, MIT Press, 1989.
[45]
Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, V. Gupta.
Modeling Time in Hybrid Systems: How Fast Is “Instantaneous”?, in: IJCAI, 1995, pp. 1773–1781.
[46]
L. Lamport.
Proving the Correctness of Multiprocess Programs, in: IEEE Trans. Software Eng., 1977, vol. 3, no 2, pp. 125-143.
[47]
K. G. Larsen, U. Nyman, A. Wasowski.
On Modal Refinement and Consistency, in: Proc. of the 18th International Conference on Concurrency Theory (CONCUR'07), Springer, 2007, pp. 105–119.
[48]
K. G. Larsen, B. Thomsen.
A Modal Process Logic, in: Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS'88), IEEE, 1988, pp. 203-210.
[49]
T. Lindstrøm.
An Invitation to Nonstandard Analysis, in: Nonstandard Analysis and its Applications, N. J. Cutland (editor), Cambridge Univ. Press, 1988, pp. 1–105.
[50]
N. A. Lynch.
Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ..., in: CONCUR, R. M. Amadio, D. Lugiez (editors), Lecture Notes in Computer Science, Springer, 2003, vol. 2761, pp. 187-188.
[51]
N. A. Lynch, E. W. Stark.
A Proof of the Kahn Principle for Input/Output Automata, in: Inf. Comput., 1989, vol. 82, no 1, pp. 81-92.
[52]
Z. Manna, A. Pnueli.
Temporal verification of reactive systems: Safety, Springer, 1995.
[53]
B. Meyer.
Applying "Design by Contract", in: Computer, October 1992, vol. 25, no 10, pp. 40–51.
http://dx.doi.org/10.1109/2.161279
[54]
P. Nuzzo, A. L. Sangiovanni-Vincentelli, X. Sun, A. Puggelli.
Methodology for the Design of Analog Integrated Interfaces Using Contracts, in: IEEE Sensors Journal, Dec. 2012, vol. 12, no 12, pp. 3329–3345.
[55]
A. Robinson.
Non-Standard Analysis, Princeton Landmarks in Mathematics, 1996, ISBN 0-691-04490-2.
[56]
E. Sikora, B. Tenbergen, K. Pohl.
Industry needs and research directions in requirements engineering for embedded systems, in: Requirements Engineering, 2012, vol. 17, pp. 57–78.
http://link.springer.com/article/10.1007/s00766-011-0144-x
[57]
L. de Alfaro.
Game Models for Open Systems, in: Verification: Theory and Practice, Lecture Notes in Computer Science, Springer, 2003, vol. 2772, pp. 269-289.
[58]
L. de Alfaro, T. A. Henzinger.
Interface automata, in: Proc. of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'01), ACM Press, 2001, pp. 109–120.
[59]
L. de Alfaro, T. A. Henzinger.
Interface-based design, in: In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School, Kluwer, 2004.
[60]
L. de Alfaro, T. A. Henzinger, M. Stoelinga.
Timed Interfaces, in: Proc. of the 2nd International Workshop on Embedded Software (EMSOFT'02), Lecture Notes in Computer Science, Springer, 2002, vol. 2491, pp. 108–122.