Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye & Axel Legay (2012):
Statistical abstraction and model-checking of large heterogeneous systems.
Int. J. Softw. Tools Technol. Transf. 14(1),
pp. 53–72,
doi:10.1007/s10009-011-0201-2.
Manfred Broy, Christian Leuxner & Tony Hoare (2011):
Software and Systems Safety - Specification and Verification.
NATO Science for Peace and Security Series - D: Information and Communication Security 30.
IOS Press.
Cheng & all (2009):
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
In: Software Engineering for Self-Adaptive Systems,
LNCS 5525,
doi:10.1007/978-3-642-02161-9.
Edmund Clarke, Alexandre Donzé & Axel Legay (2010):
On simulation-based probabilistic model checking of mixed-analog circuits.
Form. Methods Syst. Des. 36(2),
pp. 97–113,
doi:10.1007/s10703-009-0076-y.
Edmund M. Clarke, James R. Faeder, Christopher J. Langmead, Leonard A. Harris, Sumit Kumar Jha & Axel Legay (2008):
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.
In: Monika Heiner & AdelindeM. Uhrmacher: Computational Methods in Systems Biology,
Lecture Notes in Computer Science 5307.
Springer Berlin Heidelberg,
pp. 231–250,
doi:10.1007/978-3-540-88562-7_18.
M. D'Angelo, A. Ferrari, O. Ogaard, C. Pinello & A. Ulisse (2012):
A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System.
In: Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software.
Available at http://www.erts2012.org/Site/0P2RUC89/4B-3.pdf.
Danse (2013):
Designing for Adaptability and evolutioN in SoS Engineering.
Available at https://www.danse-ip.eu/home/.
A. Ferrari, M. Carloni, A. Mignogna, F. Menichelli, D. Ginsberg, E. Scholte & D. Nguyen (2012):
Scalable virtual prototyping of distributed embedded control in a modern elevator system.
In: Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on,
pp. 267–270,
doi:10.1109/SIES.2012.6356593.
A. Ferrari, L. Mangeruca, O. Ferrante & M. Mignogna (2012):
DesyreML: a SysML profile for heterogeneous embedded systems.
In: Online proceedings of ERTS^2 2012 - Embedded Real Time Systems and Software.
Available at http://www.erts2012.org/Site/0P2RUC89/5B-1.pdf.
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh & Moshe Y. Vardi (2011):
Dynamic Reactive Modules.
In: CONCUR,
LNCS 6901,
doi:10.1007/978-3-642-23217-6_27.
Carlo Ghezzi (2011):
Engineering Evolving and Self-Adaptive Systems: An Overview.
In: Broy,
pp. 88–102,
doi:10.3233/978-1-60750-711-6-88.
Cyrille Jégourel, Axel Legay & Sean Sedwards (2012):
A Platform for High Performance Statistical Model Checking - PLASMA.
In: TACAS,
pp. 498–503,
doi:10.1007/978-3-642-28756-5_37.
Sumit K. Jha, Edmund M. Clarke, Christopher J. Langmead, Axel Legay, André Platzer & Paolo Zuliani (2009):
A Bayesian Approach to Model Checking Biological Systems.
In: Proceedings of the 7th International Conference on Computational Methods in Systems Biology,
CMSB '09.
Springer-Verlag,
Berlin, Heidelberg,
pp. 218–234,
doi:10.1007/978-3-642-03845-7_15.
Axel Legay & Benoît Delahaye (2010):
Statistical Model Checking : An Overview.
CoRR abs/1005.1327.
Available at http://arxiv.org/abs/1005.1327.
SysML Open Source Specification Project:
SysML v. 1.3 Specification.
Available at http://www.sysml.org.
Koushik Sen, Mahesh Viswanathan & Gul Agha (2005):
On Statistical Model Checking of Stochastic Systems.
In: Kousha Etessami & Sriram K. Rajamani: CAV,
pp. 266–280,
doi:10.1007/11513988_26.
SPEEDS (2010):
SPEculative and Exploratory Design in Systems Engineering.
Available at http://www.speeds.eu.com/.
SPRINT:
SPRINT Software PlatfoRm for Integration of eNgineering and Things.
Available at http://www.sprint-iot.eu/.
S Xiaoxia & Z Qiuhai (2003):
MPII-18-3 The Introduction on High Level Architecture (HLA) and Run-Time Infrastructure (RTI).
In: SICE-ANNUAL CONFERENCE- 1.
SICE; 1999,
pp. 1136–1139.
Samir Younes, Edmund M. Clarke, Geoffrey J. Gordon & Jeff G. Schneider (2005):
Verification and Planning for Stochastic Processes with Asynchronous Events.
Technical Report.
Carnegie Mellon University,
doi:10.1.1.68.4454.
Ji Zhang & Betty H. C. Cheng (2006):
Model-based development of dynamically adaptive software.
In: ICSE.
ACM,
doi:10.1145/1134285.1134337.