-
1Conference
Authors: Vicino, Damian, Dalle, Olivier, Wainer, Gabriel
Contributors: Safe Composition of Autonomous applications with Large-SCALE Execution environment (SCALE), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Advanced Real-Time Simulation Laboratory (ARS), University of Ottawa Ottawa, ICST, Kalyan Perumalla and Roland Ewald, ANR-11-INFR-0013,SONGS,Simulation de systèmes de prochaine génération(2011)
Source: SIMUTOOLS - 7th International Conference on Simulation Tools and Techniques ; https://inria.hal.science/hal-01055555 ; SIMUTOOLS - 7th International Conference on Simulation Tools and Techniques, ICST, Mar 2014, Lisbon, Portugal
Subject Terms: ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
2Academic Journal
Authors: Schrammel, Peter, Jeannet, Bertrand
Contributors: Schrammel, Peter, Thao Dang and Ian Mitchell, Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (POP ART), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), INRIA, INRIA Synchronics
Source: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. :167-176
Subject Terms: 0209 industrial biotechnology, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages, Static Analysis, Verification, 02 engineering and technology, Hybrid Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.4: Model Validation and Analysis, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Data-Flow Languages, Hybrid Automata, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
File Description: application/pdf
Access URL: https://hal.inria.fr/hal-00749891/file/paper.pdf
https://inria.hal.science/hal-00659698v1
https://inria.hal.science/hal-00749891v1
https://inria.hal.science/hal-00749891v1/document
https://doi.org/10.1145/2185632.2185658
https://hal.inria.fr/hal-00659698
http://srodev.sussex.ac.uk/60805/
https://dl.acm .org/doi/10.1145/2185632.2185658
https://hal.inria.fr/hal-00659698/document
https://www.cs.ox.ac.uk/publications/publication6408-abstract.html
http://sro.sussex.ac.uk/id/eprint/60805/