Analyzing Industrial Architectural Models by Simulation and Model-Checking (English)
- New search for: Marinescu, Raluca
- New search for: Kaijser, Henrik
- New search for: Mikucionis, Marius
- New search for: Seceleanu, Cristina
- New search for: Lönn, Henrik
- New search for: David, Alexandre
- New search for: Marinescu, Raluca
- New search for: Kaijser, Henrik
- New search for: Mikucionis, Marius
- New search for: Seceleanu, Cristina
- New search for: Lönn, Henrik
- New search for: David, Alexandre
In:
FTSCS, International Workshop on Formal Techniques for Safety-Critical Systems, 3
;
189-205
;
2015
-
ISSN:
- Conference paper / Print
-
Title:Analyzing Industrial Architectural Models by Simulation and Model-Checking
-
Contributors:Marinescu, Raluca ( author ) / Kaijser, Henrik ( author ) / Mikucionis, Marius ( author ) / Seceleanu, Cristina ( author ) / Lönn, Henrik ( author ) / David, Alexandre ( author )
-
Published in:Communications in Computer and Information Science ; 476 ; 189-205
-
Publisher:
-
Publication date:2015
-
Size:17 Seiten
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Contract Number:Chapter 13
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Experience with Rule-Based Analysis of Spacecraft LogsHavelund, Klaus / Joshi, Rajeev et al. | 2015
- 17
-
Safety, Dependability and Performance Analysis of Aerospace SystemsNoll, Thomas et al. | 2015
- 32
-
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmvBukhari, Syed Ali Asadullah / Lodhi, Faiq Khalid / Hasan, Osman / Shafique, Muhammad / Henkel, Jörg et al. | 2015
- 47
-
Expression-Based Aliasing for OO–languagesCaltais, Georgiana et al. | 2015
- 62
-
Checking Integral Real-Time Automata for Extended Linear Duration InvariantsChoe, Changil / Ahn, Univan / Han, Song et al. | 2015
- 76
-
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based ProtocolsFilali, Mamoun / Ouederni, Meriem / Raclet, Jean-Baptiste et al. | 2015
- 93
-
Dynamic State Machines for Formalizing Railway Control System SpecificationsNardone, Roberto / Gentile, Ugo / Peron, Adriano / Benerecetti, Massimo / Vittorini, Valeria / Marrone, Stefano / Guglielmo, Renato De / Mazzocca, Nicola / Velardi, Luigi et al. | 2015
- 110
-
Checking the Conformance of a Promela Design to its Formal Specification in Event-BVu, Dieu-Huong / Chiba, Yuki / Yatake, Kenro / Aoki, Toshiaki et al. | 2015
- 127
-
A Formal Model of SysML Blocks Using CSP for Assured Systems EngineeringJacobs, Jaco / Simpson, Andrew et al. | 2015
- 142
-
Parallelism Analysis: Precise WCET Values for Complex Multi-Core SystemsKelter, Timon / Marwedel, Peter et al. | 2015
- 159
-
Key-Secrecy of PACE with OTS/CafeOBJKlein, Dominik et al. | 2015
- 174
-
Coalgebraic Semantic Model for the Clock Constraint Specification LanguageMallet, Frederic / Zholtkevych, Grygoriy et al. | 2015
- 189
-
Analyzing Industrial Architectural Models by Simulation and Model-CheckingMarinescu, Raluca / Kaijser, Henrik / Mikucionis, Marius / Seceleanu, Cristina / Lönn, Henrik / David, Alexandre et al. | 2015
- 206
-
Specifying and Verifying Concurrent C Programs with TLA+Methni, Amira / Lemerre, Matthieu / Ben Hedia, Belgacem / Haddad, Serge / Barkaoui, Kamel et al. | 2015
- 223
-
Formal Modeling and Verification of Interlocking Systems Featuring Sequential ReleaseVu, Linh H. / Haxthausen, Anne E. / Peleska, Jan et al. | 2015
- 239
-
A Spin-Based Approach for Checking OSEK/VDX ApplicationsZhang, Haitao / Aoki, Toshiaki / Chiba, Yuki et al. | 2015