Computable Calculus, 2001. ,
A theory of timed automata. Theoretical computer science, pp.183-235, 1994. ,
Modern C++ design: generic programming and design patterns applied, 2001. ,
An interval-based representation of temporal knowledge, IJCAI, pp.221-226, 1981. ,
Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983. ,
Syntax and semantics of the clock constraint specification language (CCSL) ,
The international vocabulary of metrology?basic and general concepts and associated terms (vim), JCGM, 2008. ,
Guide to the expression of uncertainty in measurement with supplement 1, evaluation of measurement data, jcgm 101: 2008. Organization for Standardization, 1995. ,
Temporal Uncertainty Time Warp: An Implementation Based on Java and ActorFoundry, SIMULATION: Transactions of the Society for Modeling and Simulation, vol.79, issue.10, pp.581-597, 2003. ,
DOI : 10.1177/0037549703039948
A modeling and simulation package for classic hierarchical DEVS, 2002. ,
The CERT C secure coding standard, 2008. ,
The CERT C++ secure coding standard. Pearson Education, 2008. ,
A theory of program size formally identical to information theory, Journal of the ACM (JACM), vol.22, issue.3, pp.329-340, 1975. ,
Parallel devs: A parallel, hierarchical, modular, modeling formalism, Proceedings of the 26th conference on Winter simulation Society for Computer Simulation International, pp.716-722, 1994. ,
Abstract simulator for the parallel devs formalism Distributed Interactive Simulation Environments, AI, Simulation, and Planning in High Autonomy Systems Proceedings of the Fifth Annual Conference on, pp.157-163, 1994. ,
SIMULA: an ALGOL-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966. ,
DOI : 10.1145/365813.365819
Enabling large scale and high definition simulation of natural systems with vector models and JDEVS, Proceedings of the Winter Simulation Conference, pp.1964-1970, 2002. ,
DOI : 10.1109/WSC.2002.1166497
JDEVS: an implementation of a DEVS based formal framework for environmental modelling, Environmental Modelling & Software, vol.19, issue.3, pp.261-274, 2004. ,
DOI : 10.1016/j.envsoft.2003.08.016
URL : https://hal.archives-ouvertes.fr/hal-00593799
A survey of modelling and simulation software frameworks using discrete event system specification, 2014 Imperial College Computing Student Workshop, p.40, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01145611
Exploiting temporal uncertainty in parallel and distributed simulations, Proceedings of the thirteenth workshop on Parallel and distributed simulation, pp.46-53, 1999. ,
Experiences with the devstone benchmark, Proceedings of the 2008 Spring simulation multiconference, pp.447-455, 2008. ,
Controlling bias in optimistic simulations with space uncertain events DS-RT, Distributed Simulation and Real-Time Applications 12th IEEE/ACM International Symposium on, pp.157-164, 2008. ,
Robust timed automata, Hybrid and Real-Time Systems, pp.331-345, 1997. ,
DOI : 10.1007/BFb0014736
A gsmp formalism for discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.14-23, 1989. ,
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991. ,
DOI : 10.1145/103162.103163
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.7712
DEVStone: a Benchmarking Technique for Studying Performance of DEVS Modeling and Simulation Environments, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications, pp.265-272, 2005. ,
DOI : 10.1109/DISTRA.2005.18
Timed behavior analysis of schedule preserved devs ,
Cloning, Proceedings of the 29th conference on Winter simulation , WSC '97, pp.444-451 ,
DOI : 10.1145/268437.268523
Cloning parallel simulations, ACM Transactions on Modeling and Computer Simulation, vol.11, issue.4, pp.378-407, 2001. ,
DOI : 10.1145/508366.508370
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.3439
Scalability of parallel simulation cloning Communicating sequential processes, Simulation Symposium, 2002. Proceedings. 35th Annual, pp.275-282666, 1978. ,
Time reversibility, computer simulation, and chaos, World Scientific, 1999. ,
DOI : 10.1142/9789812815071
A real-time discrete event system specification formalism for seamless real-time software development, pp.355-375, 1997. ,
Sequential processing of pdevs models, Proceedings of the 3rd EMSS, pp.239-244, 2006. ,
The event queue problem and pdevs, Proceedings of the 2007 spring simulation multiconference, pp.257-264, 2007. ,
Plug'n Simulate, 40th Annual Simulation Symposium (ANSS'07), pp.137-143, 2007. ,
DOI : 10.1109/ANSS.2007.34
Devs++: C++ open source library of devs formalism, 2007. ,
DEVS++: C++ Open Source Library of DEVS Formalism. On-line resource at http://odevspp.sourceforge.net/ [Last checked, 2009. ,
A modular verification framework based on finite ,
The Architecture of GenDevs: Distributed Simulation in DEVSJAVA. On-line manual at http://acims.asuThe- Architecture-of-GenDevs-Distributed-Simulation-in-DEVSJAVA-.pdf [Last checked, 2008. ,
Kironsk`y. Exploratory modeling with smalldevs, Proc. of ESM 2006, pp.122-126, 2006. ,
Quantized-state systems: a devs approach for continuous system simulation. Transactions of the Society for Modeling and Simulation International, pp.123-132, 2001. ,
A heterogeneous simulation framework based on the devs bus and the high level architecture, Simulation Conference Proceedings, pp.421-428, 1998. ,
Efficient distributed simulation of hierarchical devs models: transforming model structure into a non-hierarchical one, Simulation SymposiumSS 2000) Proceedings. 33rd Annual, pp.227-233, 2000. ,
Outils d'Expérimentation pour la Recherche en Réseaux, 2010. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Constructive models of discrete and continuous physical phenomena, 2014. ,
Pre-sampling as an approach for exploiting temporal uncertainty, Proceedings of the fourteenth workshop on Parallel and distributed simulation, pp.157-164, 2000. ,
A case study in exploiting temporal uncertainty in parallel simulations, Parallel Processing ICPP 2004. International Conference on, pp.161-168, 2004. ,
Exploiting temporal uncertainty in processoriented distributed simulations, Proceedings of the 36th conference on Winter simulation, pp.395-401, 2004. ,
Improved Cell-DEVS Model Definition in CD++, Proceedings of ACRI, 2004. ,
DOI : 10.1007/978-3-540-30479-1_83
A calculus of communicating systems, Lecture Notes in Computer Science, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
From timed to hybrid systems. In Real-time: theory in practice, pp.447-484, 1992. ,
DOI : 10.1007/bfb0032003
Algorithms for efficient implementations of the devs & dsdevs abstract simulators, 1st Open International Conference on Modeling & Simulation (OICMS), pp.273-279, 2005. ,
Interval analysis Prentice-Hall Englewood Cliffs, 1966. [MP92] Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems: specifications, 1992. ,
Implementation of formal standard for interoperability in m&s/systems of systems integration with devs/soa. International Command and Control C2 Journal, Special Issue: Modeling and Simulation in Support of Network-Centric Approaches and Capabilities, 2009. ,
The time and state relationships in simulation modeling, Communications of the ACM, vol.24, issue.4, pp.173-179, 1981. ,
Introduction to algebraic independence theory. Number 1752 in Lecture Notes in Mathematics, 2001. ,
ADEVS: User manual and API documentation. On-line document, 2003. ,
Petri net theory and the modeling of systems, 1981. ,
A discrete-event simulation tool for the analysis of simultaneous events, Proceedings of the 2nd International ICST Conference on Performance Evaluation Methodologies and Tools, 2007. ,
DOI : 10.4108/nstools.2007.2019
Space uncertain simulation events, Proceedings of the eighteenth workshop on Parallel and distributed simulation , PADS '04, pp.181-188, 2004. ,
DOI : 10.1145/1013329.1013359
Safe numerics library. https://github.com/robertramey/safe_numerics, 2012. Accessed, pp.2015-2024 ,
Verification Methodology for DEVS Models, 2012. ,
Galatea: una historia de modelado y simulación, Ciencia e Ingeniería, pp.85-94, 2011. ,
Rational time-advance DEVS (RTA-DEVS), Proceedings of the 2010 Spring Simulation Multiconference on, SpringSim '10, p.143, 2010. ,
DOI : 10.1145/1878537.1878686
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.5937
On computable numbers, with an application to the entscheidungsproblem, J. of Math, vol.58, pp.345-3635, 1936. ,
A data type for discretized time representation in DEVS, Proceedings of the Seventh International Conference on Simulation Tools and Techniques, pp.11-20 ,
DOI : 10.4108/icst.simutools.2014.254803
URL : https://hal.archives-ouvertes.fr/hal-01055555
Using finite forkable devs for decisionmaking based on time measured with uncertainty, Proceedings of the 8th International Conference on Simulation Tools and Techniques, pp.89-98 ,
URL : https://hal.archives-ouvertes.fr/hal-01274200
AN OVERVIEW OF THE OMNeT++ SIMULATION ENVIRONMENT, Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems, 2008. ,
DOI : 10.4108/ICST.SIMUTOOLS2008.3027
Safe-float library. https://github.com/sdavtaker/safefloat, pp.2015-2024, 2015. ,
Sequential pdevs architecture SCS (The society for modeling and simulation international, Proceedings of the TMS/DEVS 2015, p.2015 ,
The modular architecture of the python (p) devs simulation kernel, Proceedings of the 2014 Symposium on Theory of Modeling and Simulation-DEVS, pp.387-392, 2014. ,
Discrete-event modeling and simulation: a practitioner's approach, 2009. ,
Dhrystone: a synthetic systems programming benchmark, Communications of the ACM, vol.27, issue.10, pp.1013-1030, 1984. ,
Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark, SIMULATION, vol.18, issue.7, p.0037549710395649, 2011. ,
DOI : 10.1145/358274.358283
Symbolic discrete event system specification. Systems, Man and Cybernetics, IEEE Transactions on, vol.22, issue.6, pp.1428-1443, 1992. ,
Theory of modeling and simulation, 1976. ,
Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems, 2000. ,
Introduction to DEVS modeling & simulation with JAVATM: Developing component-based simulation models, 2003. ,