Portfolio   
   

Copyright Notice

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Portfolio Contract-Based Co-Design

Recent Publications

Ken Vanherpen, Joachim Denil, Paul De Meulenaere and Hans Vangheluwe. Ontological Reasoning as an Enabler of Contract-Based Co-Design. In 2016 6th International Workshop on Cyber Physical Systems. Design, Modeling, and Evaluation (CyPhy), (October 2016). [Bibtex] [PDF]

Ken Vanherpen, Joachim Denil, István Dávid, Paul De Meulenaere, Pieter Jan Mosterman, Martin Törngren, Ahsan Qamar and Hans Vangheluwe. Ontological Reasoning for Consistency in the Design of Cyber-Physical Systems. In 2016 1st International Workshop on Cyber-Physical Production Systems (CPPS), (April 2016). [Bibtex] [PDF]

Related Work

[1] Bertrand Meyer. Eiffel: a language and environment for software engineering. In Journal of Systems and Software, vol. 8, no. 3, pp. 199 – 246, (June 1988).

[2] Bertrand Meyer. Applying ’Design by Contract’. In Computer, vol. 25, no. 10, pp. 40–51, (October 1992).

[3] Werner Damm. Controlling speculative design processes using rich component models. In Fifth International Conference on Application of Concurrency to System Design. , (June 2005).

[4] Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerine and Christos Sofronis. Multiple Viewpoint Contract-Based Specification and Design. In Formal Methods for Components and Objects pp 200-225, (October 2007).

[5] Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier and Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henninger and Kim G. Larsen. Contracts for System Design. In Tech. Rep. RR-8147, INRIA, (November 2012).

[6] Alberto Sangiovanni-Vincentelli, Werner Damm and Roberto Passerone. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. In European Journal of Control, vol. 18, no. 3, pp. 217–238, (2012).

[7] Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier and Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henninger and Kim G. Larsen. Contracts for System Design: Theory. In Tech. Rep. RR-8759, INRIA, (July 2012).

[8] Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier and Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henninger and Kim G. Larsen. Contracts for System Design: Methodology and Application cases. In Tech. Rep. RR-8760, INRIA, (July 2012).

[9] Patricia Derler, Edward A. Lee, Martin Törngren and Stavros Tripakis. Cyber-Physical System Design Contracts. In Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, (April 2013).

[10] Susanne Graf, Roberto Passerone and Sophie Quinton. Contract-Based Reasoning for Component Systems with Rich Interactions. In Embedded Systems Development, vol. 20 of Embedded Systems, ch. 8, pp. 139–154, (2014).

[11] Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé and Sanjit A. Seshia. A Contract-Based Methodology for Aircraft Electric Power System Design. In IEEE Access, vol. 2, pp. 1–25, (January 2014).

[12] Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti and Tiziano Villa. A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. In Proceedings of the IEEE, vol. 103, no. 11, pp. 2104–2132, (September 2015).
Maintained by Ken Vanherpen. Last Modified: 2017/07/25 10:26:29.