Bibliography

Major publications by the team in recent years

1A. 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
2A. 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
3A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.

Non-standard semantics of hybrid systems modelers, in: Journal of Computer and System Sciences, 2012, vol. 78, n^o 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
4A. 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, n^o RR-8147, 65 p.

http://hal.inria.fr/hal-00757488
5J.-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, n^o 1-2, pp. 119-149.

http://dx.doi.org/10.3233/FI-2011-416

Publications of the year

International Conferences with Proceedings

6A. 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, A. Press (editor), 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

Internal Reports

7G. Baudart, A. Benveniste, A. Bouillard, P. Caspi.

A Unifying View of Loosely Time-Triggered Architectures, March 2014, n^o RR-8494, 14 p.

https://hal.inria.fr/hal-00955496
8A. Benveniste, T. Bourke, B. Caillaud, M. Pouzet.

On the index of multi-mode DAE Systems (also called Hybrid DAE Systems), Inria ; ENS, November 2014, n^o RR-8630, 30 p.

https://hal.inria.fr/hal-01084069
9A. Benveniste, D. Nickovic, T. Henzinger.

Compositional Contract Abstraction for System Design, January 2014, n^o RR-8460.

https://hal.inria.fr/hal-00938854

References in notes

10N. J. Cutland (editor)

Nonstandard analysis and its applications, Cambridge Univ. Press, 1988.
11IEEE Standard VHDL Analog and Mixed-Signal Extensions, Std 1076.1-1999, 1999.

http://dx.doi.org/10.1109/IEEESTD.1999.90578
12A. 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, n^o 94.
13C. Baier, J.-P. Katoen.

Principles of Model Checking, MIT Press, Cambridge, 2008.
14A. 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
15A. 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
16A. 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.
17N. 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
18N. 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
19N. 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
20P. 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.
21S. Bliudze.

Un cadre formel pour l'étude des systèmes industriels complexes: un exemple basé sur l'infrastructure de l'UMTS, Ecole Polytechnique, 2006.
22S. Bliudze, D. Krob.

Modelling of Complex Systems: Systems as Dataflow Machines, in: Fundam. Inform., 2009, vol. 91, n^o 2, pp. 251–274.
23G. Boudol, K. G. Larsen.

Graphical Versus Logical Specifications, in: Theor. Comput. Sci., 1992, vol. 106, n^o 1, pp. 3-20.
24B. 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
25B. 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
26B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, A. Wasowski.

Constraint Markov Chains, in: Theoretical Computer Science, May 2011, vol. 412, n^o 34, pp. 4373-4404. [ DOI : 10.1016/j.tcs.2011.05.010 ]

http://hal.inria.fr/hal-00654003/en
27A. 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
28A. 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.
29E. 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.
30E. Clarke, O. Grumberg, D. Peled.

Model Checking, MIT Press, 1999.
31W. 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.
32A. 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.
33A. 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.
34B. 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.
35F. Diener, G. Reeb.

Analyse non standard, Hermann, 1989.
36D. L. Dill.

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, ACM Distinguished Dissertations, MIT Press, 1989.
37Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, V. Gupta.

Modeling Time in Hybrid Systems: How Fast Is “Instantaneous”?, in: IJCAI, 1995, pp. 1773–1781.
38L. Lamport.

Proving the Correctness of Multiprocess Programs, in: IEEE Trans. Software Eng., 1977, vol. 3, n^o 2, pp. 125-143.
39K. 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.
40K. 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.
41T. Lindstrøm.

An Invitation to Nonstandard Analysis, in: Nonstandard Analysis and its Applications, N. J. Cutland (editor), Cambridge Univ. Press, 1988, pp. 1–105.
42N. 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.
43N. A. Lynch, E. W. Stark.

A Proof of the Kahn Principle for Input/Output Automata, in: Inf. Comput., 1989, vol. 82, n^o 1, pp. 81-92.
44Z. Manna, A. Pnueli.

Temporal verification of reactive systems: Safety, Springer, 1995.
45B. Meyer.

Applying "Design by Contract", in: Computer, October 1992, vol. 25, n^o 10, pp. 40–51.

http://dx.doi.org/10.1109/2.161279
46P. 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, n^o 12, pp. 3329–3345.
47C. Pantelides.

The consistent initialization of differential-algebraic systems, in: SIAM J. Sci. Stat. Comput., 1988, vol. 9, n^o 2, pp. 213–231.
48A. Robinson.

Non-Standard Analysis, Princeton Landmarks in Mathematics, 1996, ISBN 0-691-04490-2.
49E. 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
50L. de Alfaro.

Game Models for Open Systems, in: Verification: Theory and Practice, Lecture Notes in Computer Science, Springer, 2003, vol. 2772, pp. 269-289.
51L. 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.
52L. de Alfaro, T. A. Henzinger.

Interface-based design, in: In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School, Kluwer, 2004.
53L. 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.

Previous |

Home