EN FR
EN FR
KAIROS - 2018
KAIROS - 2018
Team Kairos
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
Dissemination
Bibliography
Team Kairos
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
Dissemination
Bibliography


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni, B. Combemale.

    Execution Framework of the GEMOC Studio (Tool Demo), in: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, Netherlands, SLE 2016, October 2016, 8 p.

    https://hal.inria.fr/hal-01355391
  • 2B. Combemale, J. Deantoni, B. Baudry, R. B. France, J.-M. Jézéquel, J. Gray.

    Globalizing Modeling Languages, in: Computer, June 2014, pp. 10-13.

    https://hal.inria.fr/hal-00994551
  • 3F. 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.

    https://hal.inria.fr/hal-01146059
  • 4M. E. Vara Larsen, J. Deantoni, B. Combemale, F. Mallet.

    A Behavioral Coordination Operator Language (BCOoL), in: International Conference on Model Driven Engineering Languages and Systems (MODELS), Ottawa, Canada, T. Lethbridge, J. Cabot, A. Egyed (editors), ACM, September 2015, no 18, 462 p, to be published in the proceedings of the Models 2015 conference.

    https://hal.inria.fr/hal-01182773
  • 5M. 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 ]

    https://hal.inria.fr/hal-01670450
Publications of the year

Articles in International Peer-Reviewed Journals

  • 6D. Du, P. Huang, K. Jiang, F. Mallet.

    pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems, in: Science of Computer Programming, November 2018, vol. 166, pp. 71 - 88. [ DOI : 10.1016/j.scico.2018.05.005 ]

    https://hal.inria.fr/hal-01898202
  • 7F. Honsell, L. Liquori, P. Maksimovic, I. Scagnetto.

    Plugging-in Proof Development Environments using Locks in LF, in: Mathematical Structures in Computer Science, 2018, vol. 28, no 9, pp. 1578–1605.

    https://hal.inria.fr/hal-01272647
  • 8M. 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 ]

    https://hal.inria.fr/hal-01670450
  • 9Y. Zhang, F. Mallet, Y. Chen.

    A verification framework for spatio-temporal consistency language with CCSL as a specification language, in: Frontiers of Computer Science, November 2018. [ DOI : 10.1007/s11704-018-7054-8 ]

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

Invited Conferences

  • 10F. Mallet.

    Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE, in: 3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Beijing, China, September 2018.

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

International Conferences with Proceedings

  • 11C. Gomes, C. Thule, J. Deantoni, P. Gorm Larsen, H. Vangheluwe.

    Co-simulation: The Past, Future, and Open Challenges, in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, Limassol, Cyprus, B. Margaria (editor), Springer International Publishing, 2018, pp. 504–520.

    https://hal.archives-ouvertes.fr/hal-01913822
  • 12C. Guan, Y. Ao, D. Du, F. Mallet.

    xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems, in: 25th Asia-Pacific Software Engineering Conference, Nara, Japan, December 2018.

    https://hal.inria.fr/hal-01898219
  • 13F. Honsell, L. Liquori, I. Scagnetto, C. Stolze.

    The ∆-framework, in: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, Ahmedabad, India, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS, December 2018, vol. 122, pp. 37:1–37:21. [ DOI : 10.4230/LIPIcs.FSTTCS.2018.37 ]

    https://hal.archives-ouvertes.fr/hal-01701934
  • 14G. 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.

    https://hal.inria.fr/hal-01675396
  • 15F. Mallet, M. Zhang.

    From Logical Time Scheduling to Real-Time Scheduling, in: 39th IEEE Real-Time Systems Symposium, Nashville, United States, December 2018.

    https://hal.inria.fr/hal-01971976
  • 17C. Thule, C. Gomes, J. Deantoni, P. G. Larsen, J. Brauer, H. Vangheluwe.

    Towards the Verification of Hybrid Co-simulation Algorithms, in: Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Toulouse, France, June 2018.

    https://hal.inria.fr/hal-01871531
  • 18Y. Zhang, H. Wu, Y. Chen, F. Mallet.

    Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications, in: ICFEM / FTSCS 2018, Gold Coast, Australia, November 2018.

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

Internal Reports

  • 19A. 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, 2018.

    https://hal.inria.fr/hal-01646168
  • 20L. Liquori, R. Gaeta, M. Sereno.

    A BGP-aware discovery service, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France, 2018.

    https://hal.inria.fr/hal-01895452
  • 21L. Liquori, C. Stolze.

    The ∆-calculus: syntax and types, Inria & Université Nice Sophia Antipolis, CNRS, I3S, Sophia Antipolis, France, 2018, https://arxiv.org/abs/1803.09660.

    https://hal.archives-ouvertes.fr/hal-01963662
  • 22M.-A. Peraldi-Frati, J.-L. Salvat, N. Le Thanh, T.-H. Hoang, T.-H.-H. Nguyen.

    Infrastructure & Design of Embedded Connected-Object Services: Application to Activity Daily Live monitoring, Laboratoire I3S / UNS ; Institut DNIIT, May 2018.

    https://hal.inria.fr/hal-01878140
  • 23X. Qin, S. Bliudze, E. Madelaine, M. Zhang.

    Using SMT engine to generate Symbolic Automata -Extended version, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France ; inria, June 2018, no RR-9177.

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

Other Publications

  • 24F. Verdier, P. De Filippi, F. Mallet, P. Collet, L. Arena, A. Attour, M. Ballator, M. Chessa, A. Festré, P. Guitton-Ouhamou, R. Bernhard, B. Miramond.

    Smart IoT for Mobility: Automating of Mobility Value Chain through the Adoption of Smart Contracts within IoT Platforms, September 2018, 17th Driving Simulation & Virtual Reality Conference (DSC 2018), Poster.

    https://hal.archives-ouvertes.fr/hal-01903049
References in notes
  • 25D. Du, P. Huang, F. Mallet, M. Yang, K. Jiang.

    MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks, in: FACS'16, Springer, October 2016, pp. 111–133.

    https://doi.org/10.1007/978-3-319-57666-4_8
  • 26L. Henrio, E. Madelaine, M. Zhang.

    A Theory for the Composition of Concurrent Processes, in: 36th Int. Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Heraklion, Greece, E. Albert, I. Lanese (editors), LNCS, June 2016, vol. 9688, pp. 175–194. [ DOI : 10.1007/978-3-319-39570-8_12 ]

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


previous Previous | up Home