| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker
|
Basile, Davide
|
|
|
33 |
6 |
p. 957-987
|
artikel
|
| 2 |
A refinement-based development of a distributed signalling system
|
Stankaitis, Paulius
|
|
|
33 |
6 |
p. 1009-1036
|
artikel
|
| 3 |
A tale of two graph models: a case study in wireless sensor networks
|
Archibald, Blair
|
|
|
33 |
6 |
p. 1249-1277
|
artikel
|
| 4 |
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks
|
Flammini, Francesco
|
|
|
33 |
6 |
p. 989-1007
|
artikel
|
| 5 |
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management
|
Stünkel, Patrick
|
|
|
33 |
6 |
p. 1067-1114
|
artikel
|
| 6 |
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics
|
Luteberget, Bjørnar
|
|
|
33 |
6 |
p. 829-854
|
artikel
|
| 7 |
Editorial
|
Cabot, Jordi
|
|
|
33 |
6 |
p. 1037
|
artikel
|
| 8 |
Editorial
|
Ahrendt, Wolfgang
|
|
|
33 |
6 |
p. 827
|
artikel
|
| 9 |
Editorial
|
Fantechi, Alessandro
|
|
|
33 |
6 |
p. 923-924
|
artikel
|
| 10 |
Efficient data validation for geographical interlocking systems
|
Peleska, Jan
|
|
|
33 |
6 |
p. 925-955
|
artikel
|
| 11 |
Enhancing Probabilistic Model Checking with Ontologies
|
Dubslaff, Clemens
|
|
|
33 |
6 |
p. 885-921
|
artikel
|
| 12 |
Foundations of programming languages
|
Wilhelm, Reinhard
|
|
|
33 |
6 |
p. 1279-1280
|
artikel
|
| 13 |
Hybrid dynamic logic institutions for event/data-based systems
|
Hennicker, Rolf
|
|
|
33 |
6 |
p. 1209-1248
|
artikel
|
| 14 |
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
|
Foster, Simon
|
|
|
33 |
6 |
p. 855-884
|
artikel
|
| 15 |
Language Family Engineering with Product Lines of Multi-level Models
|
de Lara, Juan
|
|
|
33 |
6 |
p. 1173-1208
|
artikel
|
| 16 |
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
|
Weidmann, Nils
|
|
|
33 |
6 |
p. 1115-1145
|
artikel
|
| 17 |
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
|
Cordy, Maxime
|
|
|
33 |
6 |
p. 1147-1172
|
artikel
|
| 18 |
TOrPEDO: witnessing model correctness with topological proofs
|
Menghi, Claudio
|
|
|
33 |
6 |
p. 1039-1066
|
artikel
|
Tijdschrift beschrijving