Sites Inria

Version française

KAIROS Research team

KAIROS team publications

2020

Conference papers

titre
Symbolic Bisimulation for Open and Parameterized Systems
auteur
Zechen Hou, Eric Madelaine
article
2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Jan 2020, New-Orleans, United States. ⟨10.1145/3372884.3373161⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02406098/file/poplws20pepmmain-p7-p-79d1b9f-43140-final.pdf BibTex

2019

Journal articles

titre
TRAP: trace runtime analysis of properties
auteur
Daian Yue, Vania Joloboff, Frédéric Mallet
article
Frontiers of Computer Science, Springer Verlag, 2019, 14 (3), ⟨10.1007/s11704-018-7217-7⟩
Accès au bibtex
BibTex
titre
A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams
auteur
Aamir Khan, Frédéric Mallet, Muhammad Rashid
article
Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.11-37. ⟨10.1007/s10270-017-0588-7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01670423/file/SoSyM2019.pdf BibTex
titre
A Unifying Framework for Homogeneous Model Composition
auteur
Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni
article
Software and Systems Modeling, Springer Verlag, 2019, pp.1-19. ⟨10.1007/s10270-018-00707-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01949050/file/sosym-unifiedcompositionframework.pdf BibTex
titre
A verification framework for spatio-temporal consistency language with CCSL as a specification language
auteur
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
article
Frontiers of Computer Science, Springer Verlag, 2019, 14 (1), pp.105--129. ⟨10.1007/s11704-018-7054-8⟩
Accès au bibtex
BibTex
titre
System Based Interference Analysis in Capella
auteur
Amin Oueslati, Philippe Cuenot, Julien Deantoni, Christophe Moreno
article
The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (2), pp.14:1. ⟨10.5381/jot.2019.18.2.a14⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02182902/file/article14.pdf BibTex

Conference papers

titre
Towards Sketching Interfaces for Multi-Paradigm Modeling
auteur
Simon Mierlo, Julien Deantoni, Loli Burgueño, Clark Verbrugge, Hans Vangheluwe
article
MPM4CPS - First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02336809/file/Towards_Sketching_Interfaces_for_Multi_Paradigm_Modelling.pdf BibTex
titre
WIP on a Coordination Language to Automate the Generation of Co-Simulations
auteur
Giovanni Liboni, Julien Deantoni
article
FDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02292048/file/FDL2019_DRAFT.pdf BibTex
titre
A Logical Approach for the Schedulability Analysis of CCSL
auteur
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
article
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩
Accès au bibtex
BibTex
titre
The ∆-calculus: Syntax and Types
auteur
Luigi Liquori, Claude Stolze
article
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02190691/file/delta.pdf BibTex
titre
Sample-Guided Automated Synthesis for CCSL Specifications
auteur
Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen
article
DAC 2019 - 56th Annual Design Automation Conference 2019, Jun 2019, Las Vegas, United States. pp.1-6, ⟨10.1145/3316781.3317904⟩
Accès au bibtex
BibTex
titre
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
auteur
Min Zhang, Fu Song, Frédéric Mallet, Chen Xiaohong
article
FASE 2019 - Fundamental Approaches to Software Engineering, Apr 2019, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02080763/file/paper_30.pdf BibTex
titre
Priority in Logical Time Partial Orders with Synchronous Relations
auteur
Régis Gascon, Julien Deantoni, Jean-François Le Tallec
article
IEEE RIVF 2019 - Research, Innovation and Vision for the Future, Mar 2019, Danang, Vietnam
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02078493/file/RIVF19_priority.pdf BibTex
titre
Meta-models Combination for Reusing Verification Techniques
auteur
Hui Zhao, Ludovic Apvrille, Frédéric Mallet
article
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02080768/file/libre%20%281%29.pdf BibTex
titre
Verification of concurrent design patterns with data
auteur
Simon Bliudze, Ludovic Henrio, Eric Madelaine
article
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02143782/file/paper_18.pdf BibTex

Reports

titre
Empirical study of Amdahl’s law on multicore processors
auteur
Carsten Bruns, Sid Touati
article
[Research Report] INRIA Sophia-Antipolis Méditerranée; Université Côte d'Azur, CNRS, I3S, France. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02404346/file/RR-9311%20%281%29.pdf BibTex
titre
Symbolic Bisimulation for Open and Parameterized Systems - Extended version
auteur
Zechen Hou, Eric Madelaine, Jing Liu, Yuxin Deng
article
[Research Report] RR-9304, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; East China Normal University (Shanghai). 2019, pp.47
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02376147/file/RR-9304.pdf BibTex

2018

Journal articles

titre
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems
auteur
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet
article
Science of Computer Programming, Elsevier, 2018, 166, pp.71 - 88. ⟨10.1016/j.scico.2018.05.005⟩
Accès au bibtex
BibTex
titre
Periodic scheduling for MARTE/CCSL: Theory and practice
auteur
Min Zhang, Feng Dai, Frédéric Mallet
article
Science of Computer Programming, Elsevier, 2018, 154, pp.42-60. ⟨10.1016/j.scico.2017.08.015⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01670450/file/main.pdf BibTex
titre
Plugging-in Proof Development Environments using Locks in LF
auteur
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (9), pp.1578--1605
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01272647/file/MSCS2016.pdf BibTex

Conference papers

titre
From Logical Time Scheduling to Real-Time Scheduling
auteur
Frédéric Mallet, Min Zhang
article
39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Accès au bibtex
BibTex
titre
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems
auteur
Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet
article
25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan
Accès au bibtex
BibTex
titre
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
auteur
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
article
ICFEM / FTSCS 2018, Nov 2018, Gold Coast, Australia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01929184/file/main.pdf BibTex
titre
Time in SCCharts
auteur
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni
article
Forum on specification & Design Languages, Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524111⟩
Accès au bibtex
BibTex
titre
Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE
auteur
Frédéric Mallet
article
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
Accès au bibtex
BibTex
titre
Towards the Verification of Hybrid Co-simulation Algorithms
auteur
Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Larsen, Jörg Brauer, Hans Vangheluwe
article
Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01871531/file/CoSim-CPS-18_paper_3-FULL.pdf BibTex
titre
Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements
auteur
Giovanni Liboni, Julien Deantoni, Antonio Portaluri, Davide Quaglia, Robert de Simone
article
10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2018, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01675396/file/rapido2018_noACM.pdf BibTex
titre
Co-simulation: The Past, Future, and Open Challenges
auteur
Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe
article
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. pp.504--520
Accès au bibtex
BibTex
titre
The ∆-framework
auteur
Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
article
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2018, Dec 2018, Ahmedabad, India. pp.37:1--37:21, ⟨10.4230/LIPIcs.FSTTCS.2018.37⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01701934/file/Delta-framework.pdf BibTex

Poster communications

titre
Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms
auteur
François Verdier, Primavera de Filippi, Frédéric Mallet, Philippe Collet, Lise Arena, Amel Attour, Marta Ballator, Michela Chessa, Agnès Festré, Patricia Guitton-Ouhamou, Raphaël Bernhard, Benoit Miramond
article
17th Driving Simulation & Virtual Reality Conference (DSC 2018), Sep 2018, Antibes, France
Accès au bibtex
BibTex

Reports

titre
Using SMT engine to generate Symbolic Automata -Extended version
auteur
Xudong Qin, Simon Bliudze, Eric Madelaine, Min Zhang
article
[Research Report] RR-9177, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; inria. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01823507/file/RR-9177.pdf BibTex
titre
Infrastructure & Design of Embedded Connected-Object Services: Application to Activity Daily Live monitoring
auteur
M-A Peraldi-Frati, J-L Salvat, N Le Thanh, T-H Hoang, T.-H.-H Nguyen
article
[Research Report] Laboratoire I3S / UNS; Institut DNIIT. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01878140/file/RapportInterneDNIIT_SLEGO.pdf BibTex
titre
A BGP-aware discovery service
auteur
Luigi Liquori, Rossano Gaeta, Matteo Sereno
article
[Research Report] Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01895452/file/3-netsys.pdf BibTex
titre
A protoype-based approach to object reclassification
auteur
Alberto Ciaffaglione, Pietro Gianantonio, Furio Honsell, Luigi Liquori
article
[Research Report] Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01646168/file/jot.pdf BibTex
titre
The ∆-calculus: syntax and types
auteur
Luigi Liquori, Claude Stolze
article
[Research Report] Inria & Université Nice Sophia Antipolis, CNRS, I3S, Sophia Antipolis, France. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01963662/file/delta-calculus.pdf BibTex

2017

Journal articles

titre
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking
auteur
Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Tingliang Zhou, Frédéric Mallet
article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2017, 36 (12), pp.1989 - 2002. ⟨10.1109/TCAD.2017.2681076⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644285/file/AADL.pdf BibTex
titre
Modelling Program's Performance with Gaussian Mixtures for Parametric Statistics
auteur
Julien Worms, Sid Touati
article
IEEE Transactions on Multi-Scale Computing Systems, IEEE, 2017, pp.16. ⟨10.1109/TMSCS.2017.2754251⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01645009/file/TMSCS-2016-12-0059-main.pdf BibTex
titre
Scheduling Live Migration of Virtual Machines
auteur
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
article
IEEE transactions on cloud computing, IEEE, 2017, pp.1-14. ⟨10.1109/TCC.2017.2754279⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644729/file/main.pdf BibTex
titre
Monitoring as-a-service to drive more efficient future system design
auteur
Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noëmie Simoni
article
EAI Endorsed Transactions on Cloud Systems, 2017, 3 (9), pp.1 - 15. ⟨10.4108/eai.28-6-2017.152754⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01582593/file/eai.28-6-2017.152754.pdf BibTex
titre
LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads
auteur
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, Special Issue in honor of Pierre Louis Curien
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01146059/file/LLFP_LMCS.pdf BibTex
titre
IndexMEED cases studies using "Omics" data with graph theory
auteur
Romain David, Jean-Pierre Féral, Sophie Archambeau, Fanny Arnaud, David Auber, Nicolas Bailly, Loup Bernard, Laure Berti-Équille, Cyrille Blanpain, Vincent Breton, Anne Chenuil-Maurel, Anna Cohen Nabeiro, Alrick Dias, Aurélie Delavaud, Robin Goffaud, Sophie Gachet, Karina Gibert, Manuel Herrera Fernandez, Luc Hogie, Dino Ienco, Romain Julliard, Yvan Le Bras, Julien Lecubin, Yannick Legre, Michelle Leydet, Grégoire Lois, Bénédicte Madon, François Marchal, Víctor Méndez Muñoz, Jean-Charles Meunier, Jean-Baptiste Mihoub, Isabelle Mougenot, Sophie Pamerlon, Eric Peletier, Geneviève Romier, Dad Roux-Michollet, Alison Specht, Christian Surace, Jean-Claude Raynal, Thierry Tatoni
article
Biodiversity Information Science and Standards, Sofia : Pensoft Publishers, 2017-, 2017, TDWG 2017 - Proceedings, 1 (2), pp.340-361. ⟨10.3897/tdwgproceedings.1.20740⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01761535/file/BISS_article_20740.pdf BibTex
titre
Behavioural semantics for asynchronous components
auteur
Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, Alexandra Savu
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2017, 89, pp.1 - 40. ⟨10.1016/j.jlamp.2017.02.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01526055/file/GCMOperationalSemantics.pdf BibTex

Conference papers

titre
Towards a Logical Framework with Intersection and Union Types
auteur
Claude Stolze, Luigi Liquori, Furio Honsell, Ivan Scagnetto
article
11th International Workshop on Logical Frameworks and Meta-languages, LFMTP, Sep 2017, Oxford, United Kingdom. pp.1 - 9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01534035/file/paper-sigconf.pdf BibTex
titre
Multi-View Design for Cyber-Physical Systems
auteur
Hui Zhao, Ludovic Apvrille, Frédéric Mallet
article
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01669918/file/MultiviewDesignForCPS.pdf BibTex
titre
Explicit Control of Dataflow Graphs with MARTE/CCSL
auteur
Jean-Vivien Millo, Emilien Kofman, Julien Deantoni, Frédéric Mallet, Amine Oueslati, Robert de Simone
article
MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Feb 2017, Porto, Portugal. pp.542-549, ⟨10.5220/0006269505420549⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644294/file/main.pdf BibTex
titre
A Decidable Subtyping Logic for Intersection and Union Types
auteur
Luigi Liquori, Claude Stolze
article
TTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01760641/file/440117_1_En_7_Chapter.pdf BibTex

Book sections

titre
MARTE for CPS and CPSoS: Present and Future, Methodology and Tools
auteur
Frédéric Mallet, Eugenio Villar, Fernando Herrera
article
Jean-Pierre Talpin. Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨Springer⟩, pp.81-108, 2017, 978-981-10-4435-9. ⟨10.1007/978-981-10-4436-6_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01671190/file/main_public.pdf BibTex

Directions of work or proceedings

titre
Eleventh International Symposium on Theoretical Aspects of Software Engineering
auteur
Frédéric Mallet, Min Zhang, Eric Madelaine
article
Sophia Antipolis, France. ⟨IEEE⟩, 2017, 978-1-5386-1924-7
Accès au bibtex
BibTex
titre
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications
auteur
Frédéric Mallet, Zholtkevych Grygoriy
article
May 2017, Kiev, Ukraine. 2017
Accès au bibtex
BibTex

Reports

titre
A Decidable Subtyping Logic for Intersection and Union Types (full version)
auteur
Luigi Liquori, Claude Stolze
article
[Research Report] Inria. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01488428/file/paper.pdf BibTex

Theses

titre
Low power application architecture adaptation using SMT solvers
auteur
Émilien Kofman
article
Other [cs.OH]. Université Côte d'Azur, 2017. English. ⟨NNT : 2017AZUR4009⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01534440/file/2017AZUR4009.pdf BibTex

Preprints, Working Papers, ...

titre
LogNet: Extending Internet with a Network Aware Discovery Service
auteur
Luigi Liquori, Matteo Sereno
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01323974/file/links.pdf BibTex

2016

Conference papers

titre
A Theory for the Composition of Concurrent Processes
auteur
Ludovic Henrio, Eric Madelaine, Min Zhang
article
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01432917/file/426757_1_En_12_Chapter.pdf BibTex