Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub


Major publications by the team in recent years
C. André, J. Deantoni, F. Mallet, R. De Simone.
The Time Model of Logical Clocks available in the OMG MARTE profile, in: Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, S. K. Shukla, J.-P. Talpin (editors), Springer Science+Business Media, LLC 2010, July 2010, 28 p, Chapter 7.
Y. Bao, M. Chen, Q. Zhu, T. Wei, F. Mallet, T. Zhou.
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking, in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, December 2017, vol. 36, no 12, pp. 1989–2002. [ DOI : 10.1109/TCAD.2017.2681076 ]
T. Carle, D. Potop-Butucaru, Y. Sorel, D. Lesens.
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *, in: Leibniz Transactions on Embedded Systems, November 2015. [ DOI : 10.4230/LITES-v002-i002-a001 ]
L. Henrio, E. Madelaine, M. Zhang.
A Theory for the Composition of Concurrent Processes, in: 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Heraklion, Greece, E. Albert, I. Lanese (editors), Formal Techniques for Distributed Objects, Components, and Systems, 2016, vol. LNCS-9688, pp. 175-194. [ DOI : 10.1007/978-3-319-39570-8_12 ]
F. Honsell, L. Liquori, P. Maksimovic, I. Scagnetto.
LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads, in: Logical Methods in Computer Science, February 2017.
F. Jebali, D. Potop Butucaru.
Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators, in: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, 2018, pp. 105–114.
L. Liquori, C. Tedeschi, L. Vanni, F. Bongiovanni, V. Ciancaglini, B. Marinkovic.
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks, in: NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings, Chennai, India, M. Crovella, L. M. Feeney, D. Rubenstein, S. V. Raghavan (editors), Lecture Notes in Computer Science, Springer Verlag, May 2010, vol. 6091, pp. 67–82. [ DOI : 10.1007/978-3-642-12963-6_6 ]
F. Mallet, R. de Simone.
Correctness issues on MARTE/CCSL constraints, in: Science of Computer Programming, August 2015, vol. 106, pp. 78–92. [ DOI : 10.1016/j.scico.2015.03.001 ]
J.-V. Millo, R. De Simone.
Periodic scheduling of marked graphs using balanced binary words, in: Theoretical Computer Science, November 2012, vol. 458, no 2, pp. 113-130. [ DOI : 10.1016/j.tcs.2012.08.012 ]
G. Ngo Hoang, L. Liquori, H. Nguyen Chan.
Backward-Compatible Cooperation of Heterogeneous P2P Systems, in: 15th International Conference on Distributed Computing and Networking - ICDCN 2014, Coimbatore, India, January 4-7, 2014, Coimbatore, India, Lecture Notes in Computer Science, Springer Verlag, January 2014, vol. 8314, pp. 287-301. [ DOI : 10.1007/978-3-642-45249-9_19 ]
D. Potop-Butucaru, R. De Simone, J.-P. Talpin.
Synchronous hypothesis and polychronous languages, in: Embedded Systems Design and Verification, R. Zurawski (editor), CRC Press, 2009, pp. 6-1-6-27. [ DOI : 10.1201/9781439807637.ch6 ]
M. Zhang, F. Dai, F. Mallet.
Periodic scheduling for MARTE/CCSL: Theory and practice, in: Science of Computer Programming, March 2018, vol. 154, pp. 42–60. [ DOI : 10.1016/j.scico.2017.08.015 ]
Publications of the year

Doctoral Dissertations and Habilitation Theses

J. Deantoni.
Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models, Université Côte d'Azur, CNRS, I3S, France, July 2019, Habilitation à diriger des recherches.
C. Stolze.
Combining union, intersection and dependent types in an explicitly typed lambda-calculus, Université Côte d'Azur, December 2019.

Articles in International Peer-Reviewed Journals

K. Didier, D. Potop-Butucaru, G. Iooss, A. Cohen, J. Souyris, P. Baufreton, A. Graillat.
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware, in: ACM Transactions on Architecture and Code Optimization, August 2019, vol. 16, no 3, pp. 1-27. [ DOI : 10.1145/3328799 ]
A. Khan, F. Mallet, M. Rashid.
A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams, in: Software and Systems Modeling, February 2019, vol. 18, no 1, pp. 11-37. [ DOI : 10.1007/s10270-017-0588-7 ]
J. Kienzle, G. Mussbacher, B. Combemale, J. Deantoni.
A Unifying Framework for Homogeneous Model Composition, in: Software and Systems Modeling, January 2019, pp. 1-19. [ DOI : 10.1007/s10270-018-00707-8 ]
A. Oueslati, P. Cuenot, J. Deantoni, C. Moreno.
System Based Interference Analysis in Capella, in: The Journal of Object Technology, 2019, vol. 18, no 2, 14:1 p. [ DOI : 10.5381/jot.2019.18.2.a14 ]
D. Yue, V. Joloboff, F. Mallet.
TRAP: trace runtime analysis of properties, in: Frontiers of Computer Science, June 2020, vol. 14, no 3, pp. 1-15. [ DOI : 10.1007/s11704-018-7217-7 ]
Y. Zhang, F. Mallet, Y. Chen.
A verification framework for spatio-temporal consistency language with CCSL as a specification language, in: Frontiers of Computer Science, 2019, vol. 14, no 1, pp. 105–129. [ DOI : 10.1007/s11704-018-7054-8 ]

International Conferences with Proceedings

P. Baufreton, V. Bregeon, K. Didier, G. Iooss, D. Potop-Butucaru, J. Souyris.
Efficient fine-grain parallelism in shared memory for real-time avionics, in: ERTS 2020 - 10th European Congress Embedded Real Time Systems, Toulouse, France, January 2020.
S. Bliudze, L. Henrio, E. Madelaine.
Verification of concurrent design patterns with data, in: COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Kongens Lyngby, Denmark, H. R. Nielson, E. Tuosto (editors), Coordination Models and Languages, Springer International Publishing, 2019, vol. LNCS-11533, pp. 161-181, Part 4: Coordination Patterns. [ DOI : 10.1007/978-3-030-22397-7_10 ]
P. Cuenot, P. Bouche, R. De Simone, J. Deantoni, A. Oueslati.
Early validation of satellite COTS-on-board computing systems, in: ERTS 2020 -10th European Congress on Embedded Real-Time Software and Systems, Toulouse, France, January 2020.
K. Didier, A. Cohen, D. Potop-Butucaru, A. Gauffriau.
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software, in: ACSD 2019 - 19th International Conference on Application of Concurrency to System Design, Aachen, Germany, IEEE, June 2019, pp. 43-52. [ DOI : 10.1109/ACSD.2019.00009 ]
F. Gao, F. Mallet, M. Zhang, M. Chen.
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint, in: DATE 2020 - Design, Automation and Test in Europe Conference, Grenoble, France, March 2020.
R. Gascon, J. Deantoni, J.-F. Le Tallec.
Priority in Logical Time Partial Orders with Synchronous Relations, in: IEEE RIVF 2019 - Research, Innovation and Vision for the Future, Danang, Vietnam, March 2019.
Z. Hou, E. Madelaine.
Symbolic Bisimulation for Open and Parameterized Systems, in: PEPM 2020 - ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, New-Orleans, United States, January 2020. [ DOI : 10.1145/3372884.3373161 ]
M. Hu, T. Wei, M. Zhang, F. Mallet, M. Chen.
Sample-Guided Automated Synthesis for CCSL Specifications, in: DAC 2019 - 56th Annual Design Automation Conference 2019, Las Vegas, United States, ACM Press, June 2019, pp. 1-6. [ DOI : 10.1145/3316781.3317904 ]
G. Liboni, J. Deantoni.
WIP on a Coordination Language to Automate the Generation of Co-Simulations, in: FDL 2019 - Forum on specification & Design Languages, Southampton, United Kingdom, September 2019.
L. Liquori, R. Gaeta, M. Sereno.
A Network Aware Resource Discovery Service, in: EPEW 2019 - 16th European Performance Engineering Workshop, Milano, Italy, 2019.
L. Liquori, C. Stolze.
The ∆-calculus: Syntax and Types, in: FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, June 2019.
S. V. Mierlo, J. Deantoni, L. Burgueño, C. Verbrugge, H. Vangheluwe.
Towards Sketching Interfaces for Multi-Paradigm Modeling, in: MPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Munich, Germany, September 2019.
S. Van Mierlo, E. Syriani, D. Blouin, M. Amrani, J. Deantoni, M. Wimmer.
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019), in: MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Munich, Germany, IEEE, September 2019, 2 p. [ DOI : 10.1109/MODELS-C.2019.00066 ]
Y. Zhang, F. Mallet, H. Zhu, Y. Chen.
A Logical Approach for the Schedulability Analysis of CCSL, in: TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Guilin, China, IEEE, July 2019, pp. 25-32. [ DOI : 10.1109/TASE.2019.00-23 ]
M. Zhang, F. Song, F. Mallet, C. Xiaohong.
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language, in: FASE 2019 - Fundamental Approaches to Software Engineering, Prague, Czech Republic, April 2019.
H. Zhao, L. Apvrille, F. Mallet.
Meta-models Combination for Reusing Verification Techniques, in: MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Prague, Czech Republic, SCITEPRESS - Science and Technology Publications, February 2019, pp. 39-50. [ DOI : 10.5220/0007261000390050 ]

Scientific Books (or Scientific Book chapters)

A. Schulz-Rosengarten, R. von Hanxleden, F. Mallet, R. De Simone, J. Deantoni.
Time in SCCharts, in: Language, Design Methods, and Tools for Electronic System Design, Springer, December 2019, pp. 1-25. [ DOI : 10.1007/978-3-030-31585-6_1 ]
H. Zhao, L. Apvrille, F. Mallet.
A Model-Based Combination Language for Scheduling Verification, in: Model-Driven Engineering and Software Development, Springer International Publishing, 2020.

Internal Reports

C. Bruns, S. Touati.
Empirical study of Amdahl’s law on multicore processors, Inria Sophia-Antipolis Méditerranée ; Université Côte d'Azur, CNRS, I3S, France, December 2019, no RR-9311.
A. Ciaffaglione, P. D. Gianantonio, F. Honsell, L. Liquori.
A protoype-based approach to object reclassification, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France, 2019.
Z. Hou, E. Madelaine, J. Liu, Y. Deng.
Symbolic Bisimulation for Open and Parameterized Systems - Extended version, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France ; East China Normal University (Shanghai), November 2019, no RR-9304, 47 p.

Scientific Popularization

L. Liquori, C. Stolze.
The Delta-calculus: syntax and types, in: FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Dortmund, Germany, 2019-06-24 and 2019-06-24, 2019,
References in notes
F. Honsell, L. Liquori, C. Stolze, I. Scagnetto.
The Δ-framework, in: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS), 2018, vol. 122, pp. 37:1–37:21.
G. Liboni, J. Deantoni, A. Portaluri, D. Quaglia, R. De Simone.
Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements, in: 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Manchester, United Kingdom, January 2018.
L. Liquori, C. Stolze.
A Decidable Subtyping Logic for Intersection and Union Types, in: TTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Topics in Theoretical Computer Science, Springer International Publishing, 2017, vol. LNCS-10608, pp. 74-90.