Publications HAL du labo/EPI Kairos

2020

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, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩
typdoc
Journal articles
DOI
DOI : 10.1007/s11704-018-7217-7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02402957/file/fcs-17217.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, 2020, 14 (1), pp.105--129. ⟨10.1007/s11704-018-7054-8⟩
typdoc
Journal articles
DOI
DOI : 10.1007/s11704-018-7054-8
Accès au bibtex
BibTex

Conference papers

titre
A Type Checker for a Logical Framework with Union and Intersection Types
auteur
Claude Stolze, Luigi Liquori
article
5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, Jun 2020, Paris, France. ⟨10.4230/LIPIcs.FSCD.2020⟩
typdoc
Conference papers
DOI
DOI : 10.4230/LIPIcs.FSCD.2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02573605/file/article.pdf BibTex
titre
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint
auteur
Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen
article
DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02429533/file/main.pdf BibTex
titre
Early validation of satellite COTS-on-board computing systems
auteur
Philippe Cuenot, Paul Bouche, Robert de Simone, Julien Deantoni, Amin Oueslati
article
ERTS 2020 -10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02413867/file/ERTS2020_paper_16.pdf BibTex
titre
Efficient fine-grain parallelism in shared memory for real-time avionics
auteur
Philippe Baufreton, Vincent Bregeon, Keryan Didier, Guillaume Iooss, Dumitru Potop-Butucaru, Jean Souyris
article
ERTS 2020 - 10th European Congress Embedded Real Time Systems, Jan 2020, Toulouse, France
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Symbolic Bisimulation for Open and Parameterized Systems
auteur
Zechen Hou, Eric Madelaine
article
PEPM 2020 - ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Jan 2020, New-Orleans, United States. ⟨10.1145/3372884.3373161⟩
typdoc
Conference papers
DOI
DOI : 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

Book sections

titre
A Model-Based Combination Language for Scheduling Verification
auteur
Hui Zhao, Ludovic Apvrille, Frédéric Mallet
article
Model-Driven Engineering and Software Development, Springer International Publishing, 2020
typdoc
Book sections
Accès au texte intégral et bibtex
https://hal.telecom-paris.fr/hal-02430903/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
1-Synchronous Programming of Large Scale, Multi-Periodic Real-Time Applications with Functional Degrees of Freedom
auteur
Guillaume Iooss, Marc Pouzet, Albert Cohen, Dumitru Potop-Butucaru, Jean Souyris, Vincent Bregeon, Philippe Baufreton
article
2020
typdoc
Preprints, Working Papers, ...
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02495471/file/paper_1sync_hal.pdf BibTex

2019

Journal articles

titre
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware
auteur
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (3), pp.1-27. ⟨10.1145/3328799⟩
typdoc
Journal articles
DOI
DOI : 10.1145/3328799
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⟩
typdoc
Journal articles
DOI
DOI : 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⟩
typdoc
Journal articles
DOI
DOI : 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
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⟩
typdoc
Journal articles
DOI
DOI : 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
A Network Aware Resource Discovery Service
auteur
Luigi Liquori, Rossano Gaeta, Matteo Sereno
article
EPEW 2019 - 16th European Performance Engineering Workshop, Nov 2019, Milano, Italy
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01895452/file/paper8.pdf BibTex
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
typdoc
Conference papers
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
Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
auteur
Simon van Mierlo, Eugene Syriani, Dominique Blouin, Moussa Amrani, Julien Deantoni, Manuel Wimmer
article
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
typdoc
Conference papers
DOI
DOI : 10.1109/MODELS-C.2019.00066
Accès au bibtex
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
typdoc
Conference papers
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⟩
typdoc
Conference papers
DOI
DOI : 10.1109/TASE.2019.00-23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02402976/file/TASE_2019_paper_30_190125.pdf BibTex
titre
The Delta-calculus: syntax and types
auteur
Luigi Liquori, Claude Stolze
article
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, 2019-06-24; 2019-06-24, Jun 2019, Dortmund, Germany
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01963662/file/delta-calculus.pdf 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
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02190691/file/delta.pdf BibTex
titre
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software
auteur
Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau
article
ACSD 2019 - 19th International Conference on Application of Concurrency to System Design, Jun 2019, Aachen, Germany. pp.43-52, ⟨10.1109/ACSD.2019.00009⟩
typdoc
Conference papers
DOI
DOI : 10.1109/ACSD.2019.00009
Accès au bibtex
BibTex
titre
Verification of concurrent design patterns with data
auteur
Simon Bliudze, Ludovic Henrio, Eric Madelaine
article
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
typdoc
Conference papers
DOI
DOI : 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
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⟩
typdoc
Conference papers
DOI
DOI : 10.1145/3316781.3317904
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02402971/file/DAC19_authorversion.pdf 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
typdoc
Conference papers
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
typdoc
Conference papers
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⟩
typdoc
Conference papers
DOI
DOI : 10.5220/0007261000390050
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02080768/file/libre%20%281%29.pdf BibTex

Book sections

titre
Time in SCCharts
auteur
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni
article
Language, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩
typdoc
Book sections
DOI
DOI : 10.1007/978-3-030-31585-6_1
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models
auteur
Julien Deantoni
article
Embedded Systems. Université Côte d'Azur, CNRS, I3S, France, 2019
typdoc
Habilitation à diriger des recherches
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02427962/file/HDR.pdf BibTex

Reports

titre
Empirical study of Amdahl’s law on multicore processors
auteur
Carsten Bruns, Sid Touati
article
[Research Report] RR-9311, INRIA Sophia-Antipolis Méditerranée; Université Côte d'Azur, CNRS, I3S, France. 2019
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02404346/file/main-RR-scalability.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
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02376147/file/RR-9304.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. 2019
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01646168/file/jot-submitted.pdf BibTex

Theses

titre
Combining union, intersection and dependent types in an explicitly typed lambda-calculus
auteur
Claude Stolze
article
Computation and Language [cs.CL]. Université Côte d'Azur, 2019. English
typdoc
Theses
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-02406953/file/thesis.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⟩
typdoc
Journal articles
DOI
DOI : 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⟩
typdoc
Journal articles
DOI
DOI : 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
typdoc
Journal articles
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
typdoc
Conference papers
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⟩
typdoc
Conference papers
DOI
DOI : 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
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
APSEC 2018 - 25th Asia-Pacific Software Engineering Conference, Dec 2018, Nara, Japan
typdoc
Conference papers
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
typdoc
Conference papers
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⟩
typdoc
Conference papers
DOI
DOI : 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
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Using SMT engine to generate Symbolic Automata
auteur
Xudong Qin, Simon Bliudze, Eric Madelaine, Min Zhang
article
18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. Electronic Communications of the EASST Open Access Journal, Jul 2018, Oxford, United Kingdom
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01962971/file/2018-Avocs-paper%2016.pdf 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
typdoc
Conference papers
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
typdoc
Conference papers
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
typdoc
Conference papers
Accès au bibtex
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
typdoc
Poster communications
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
typdoc
Reports
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
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01878140/file/RapportInterneDNIIT_SLEGO.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⟩
typdoc
Journal articles
DOI
DOI : 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⟩
typdoc
Journal articles
DOI
DOI : 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⟩
typdoc
Journal articles
DOI
DOI : 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, European Union Digital Library, 2017, 3 (9), pp.1 - 15. ⟨10.4108/eai.28-6-2017.152754⟩
typdoc
Journal articles
DOI
DOI : 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
typdoc
Journal articles
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⟩
typdoc
Journal articles
DOI
DOI : 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⟩
typdoc
Journal articles
DOI
DOI : 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
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⟩
typdoc
Conference papers
DOI
DOI : 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
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
typdoc
Conference papers
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
typdoc
Conference papers
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⟩
typdoc
Conference papers
DOI
DOI : 10.5220/0006269505420549
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644294/file/main.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⟩
typdoc
Book sections
DOI
DOI : 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
typdoc
Directions of work or proceedings
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
typdoc
Directions of work or proceedings
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
typdoc
Reports
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⟩
typdoc
Theses
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
typdoc
Preprints, Working Papers, ...
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⟩
typdoc
Conference papers
DOI
DOI : 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