| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A formal framework for service modeling and prototyping
|
Riccobene, Elvinia
|
|
2013
|
|
6 |
p. 1077-1113
|
artikel
|
| 2 |
A formalisation of deep metamodelling
|
Rossini, Alessandro
|
|
2014
|
|
6 |
p. 1115-1152
|
artikel
|
| 3 |
A lazy approach to symmetry reduction
|
Wahl, Thomas
|
|
2009
|
|
6 |
p. 713-733
|
artikel
|
| 4 |
Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s
|
Harel, David
|
|
2010
|
|
6 |
p. 663-665
|
artikel
|
| 5 |
Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s
|
Harel, David
|
|
|
|
6 |
p. 663-665
|
artikel
|
| 6 |
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker
|
Basile, Davide
|
|
|
|
6 |
p. 957-987
|
artikel
|
| 7 |
Analysing neurobiological models using communicating automata
|
Su, Li
|
|
2014
|
|
6 |
p. 1169-1204
|
artikel
|
| 8 |
A Nitpick Analysis of Mobile IPv6
|
Jackson, Daniel
|
|
1999
|
|
6 |
p. 591-615
|
artikel
|
| 9 |
Applications of real number theorem proving in PVS
|
Gottliebsen, Hanne
|
|
2012
|
|
6 |
p. 993-1016
|
artikel
|
| 10 |
A refinement-based development of a distributed signalling system
|
Stankaitis, Paulius
|
|
|
|
6 |
p. 1009-1036
|
artikel
|
| 11 |
Assembling a prehistory for formal methods: a personal view
|
Haigh, Thomas
|
|
|
|
6 |
p. 663-674
|
artikel
|
| 12 |
A Structured Way to Use Channels for Communication in X-Machine Systems
|
Cowling, Anthony J.
|
|
2000
|
|
6 |
p. 485-500
|
artikel
|
| 13 |
A tableau-based decision procedure for CTL*
|
Reynolds, Mark
|
|
2011
|
|
6 |
p. 739-779
|
artikel
|
| 14 |
A tale of two graph models: a case study in wireless sensor networks
|
Archibald, Blair
|
|
|
|
6 |
p. 1249-1277
|
artikel
|
| 15 |
Automated property verification for large scale B models with ProB
|
Leuschel, Michael
|
|
2011
|
|
6 |
p. 683-709
|
artikel
|
| 16 |
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
|
Latella, Diego
|
|
1999
|
|
6 |
p. 637-664
|
artikel
|
| 17 |
Automatic verification of reduction techniques in Higher Order Logic
|
Abed, Sa’ed
|
|
2012
|
|
6 |
p. 971-991
|
artikel
|
| 18 |
A UTP approach for rTiMo
|
Xie, Wanling
|
|
2018
|
|
6 |
p. 713-738
|
artikel
|
| 19 |
A verification and deployment approach for elastic component-based applications
|
Graiet, Mohamed
|
|
2017
|
|
6 |
p. 987-1011
|
artikel
|
| 20 |
Bisimulation and Coinduction Enhancements: A Historical Perspective
|
Pous, Damien
|
|
|
|
6 |
p. 733-749
|
artikel
|
| 21 |
Code obfuscation against abstraction refinement attacks
|
Bruni, Roberto
|
|
2018
|
|
6 |
p. 685-711
|
artikel
|
| 22 |
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks
|
Flammini, Francesco
|
|
|
|
6 |
p. 989-1007
|
artikel
|
| 23 |
Compositional refinement in agent-based security protocols
|
McIver, A. K.
|
|
2010
|
|
6 |
p. 711-737
|
artikel
|
| 24 |
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management
|
Stünkel, Patrick
|
|
|
|
6 |
p. 1067-1114
|
artikel
|
| 25 |
Concerned with the unprivileged: user programs in kernel refinement
|
Daum, Matthias
|
|
2014
|
|
6 |
p. 1205-1229
|
artikel
|
| 26 |
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
|
Nazarpour, Hosein
|
|
2017
|
|
6 |
p. 951-986
|
artikel
|
| 27 |
Daniel Kroening and Ofer Strichman: Decision procedures
|
Monahan, Rosemary
|
|
2018
|
|
6 |
p. 759
|
artikel
|
| 28 |
Deriving dense linear algebra libraries
|
Bientinesi, Paolo
|
|
2012
|
|
6 |
p. 933-945
|
artikel
|
| 29 |
Distributing Finite Automata Through Petri Net Synthesis
|
Badouel, Éric
|
|
2002
|
|
6 |
p. 447-470
|
artikel
|
| 30 |
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics
|
Luteberget, Bjørnar
|
|
|
|
6 |
p. 829-854
|
artikel
|
| 31 |
Dynamic intransitive noninterference revisited
|
Eggert, Sebastian
|
|
2017
|
|
6 |
p. 1087-1120
|
artikel
|
| 32 |
Editorial
|
Cavalcanti, Ana
|
|
2011
|
|
6 |
p. 681
|
artikel
|
| 33 |
Editorial
|
Jones, Cliff
|
|
|
|
6 |
p. 661
|
artikel
|
| 34 |
Editorial
|
Cabot, Jordi
|
|
|
|
6 |
p. 1037
|
artikel
|
| 35 |
Editorial
|
Ahrendt, Wolfgang
|
|
|
|
6 |
p. 827
|
artikel
|
| 36 |
Editorial
|
Fantechi, Alessandro
|
|
|
|
6 |
p. 923-924
|
artikel
|
| 37 |
Editorial
|
Cerone, Antonio
|
|
2009
|
|
6 |
p. 511-512
|
artikel
|
| 38 |
Editorial
|
Jones, Cliff
|
|
2000
|
|
6 |
p. 417
|
artikel
|
| 39 |
Efficient data validation for geographical interlocking systems
|
Peleska, Jan
|
|
|
|
6 |
p. 925-955
|
artikel
|
| 40 |
Egon Börger and Alexander Raschke: Modeling companion for software practitioners
|
Bowen, Jonathan P.
|
|
2018
|
|
6 |
p. 761-762
|
artikel
|
| 41 |
Enhancing Probabilistic Model Checking with Ontologies
|
Dubslaff, Clemens
|
|
|
|
6 |
p. 885-921
|
artikel
|
| 42 |
Explanation of two non-blocking shared-variable communication algorithms
|
Bornat, Richard
|
|
2011
|
|
6 |
p. 893-931
|
artikel
|
| 43 |
Fifty years of Hoare’s logic
|
Apt, Krzysztof R.
|
|
|
|
6 |
p. 751-807
|
artikel
|
| 44 |
Formal analysis of the kinematic Jacobian in screw theory
|
Shi, Zhiping
|
|
2018
|
|
6 |
p. 739-757
|
artikel
|
| 45 |
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
|
Aransay, Jesús
|
|
2016
|
|
6 |
p. 1005-1026
|
artikel
|
| 46 |
Formal relational database design: an exercise in extending the formal template language
|
Wu, Nicolas
|
|
2014
|
|
6 |
p. 1231-1269
|
artikel
|
| 47 |
Foundations for using linear temporal logic in Event-B refinement
|
Hoang, Thai Son
|
|
2016
|
|
6 |
p. 909-935
|
artikel
|
| 48 |
Foundations of programming languages
|
Wilhelm, Reinhard
|
|
|
|
6 |
p. 1279-1280
|
artikel
|
| 49 |
From LCF to Isabelle/HOL
|
Paulson, Lawrence C.
|
|
|
|
6 |
p. 675-698
|
artikel
|
| 50 |
Generalised rely-guarantee concurrency: an algebraic foundation
|
Hayes, Ian J.
|
|
2016
|
|
6 |
p. 1057-1078
|
artikel
|
| 51 |
Generalised Stream X-Machines and Cooperating Distributed Grammar Systems
|
Gheorghe, Marian
|
|
2000
|
|
6 |
p. 459-472
|
artikel
|
| 52 |
Generalised Stream X-Machines with Output Delimited Type
|
Bălănescu, Tudor
|
|
2000
|
|
6 |
p. 473-484
|
artikel
|
| 53 |
Generating Test Sets from Non-Deterministic Stream X-Machines
|
Ipate, Florentin
|
|
2000
|
|
6 |
p. 443-458
|
artikel
|
| 54 |
Graph Transformation Units with Interleaving Semantics
|
Kreowski, Hans-Jörg
|
|
1999
|
|
6 |
p. 690-723
|
artikel
|
| 55 |
How testing helps to diagnose proof failures
|
Petiot, Guillaume
|
|
2018
|
|
6 |
p. 629-657
|
artikel
|
| 56 |
Hybrid dynamic logic institutions for event/data-based systems
|
Hennicker, Rolf
|
|
|
|
6 |
p. 1209-1248
|
artikel
|
| 57 |
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
|
Foster, Simon
|
|
|
|
6 |
p. 855-884
|
artikel
|
| 58 |
Inter-process buffers in separation logic with rely-guarantee
|
Bornat, Richard
|
|
2010
|
|
6 |
p. 735-772
|
artikel
|
| 59 |
Language Family Engineering with Product Lines of Multi-level Models
|
de Lara, Juan
|
|
|
|
6 |
p. 1173-1208
|
artikel
|
| 60 |
Lower bounds on lengths of checking sequences
|
Jourdan, Guy-Vincent
|
|
2009
|
|
6 |
p. 667-679
|
artikel
|
| 61 |
Michael J.C. Gordon FRS Professor of Computer Assisted Reasoning (28 February 1948–22 August 2017)
|
|
|
2017
|
|
6 |
p. 933
|
artikel
|
| 62 |
Milestones from the Pure Lisp theorem prover to ACL2
|
Moore, J. Strother
|
|
|
|
6 |
p. 699-732
|
artikel
|
| 63 |
Model checking learning agent systems using Promela with embedded C code and abstraction
|
Kirwan, Ryan
|
|
2016
|
|
6 |
p. 1027-1056
|
artikel
|
| 64 |
Model-checking user behaviour using interacting components
|
Basuki, Thomas Anung
|
|
2009
|
|
6 |
p. 571-588
|
artikel
|
| 65 |
Modeling and efficient verification of wireless ad hoc networks
|
Yousefi, Behnaz
|
|
2017
|
|
6 |
p. 1051-1086
|
artikel
|
| 66 |
Network invariants for real-time systems
|
Grinchtein, Olga
|
|
2008
|
|
6 |
p. 619-635
|
artikel
|
| 67 |
On the correctness of upper layers of automotive systems
|
Botaschanjan, Jewgenij
|
|
2008
|
|
6 |
p. 637-662
|
artikel
|
| 68 |
On Verification of Parallel Message-Passing Processes
|
Krogdahl, Stein
|
|
2002
|
|
6 |
p. 471-492
|
artikel
|
| 69 |
Physigrams: modelling devices for natural interaction
|
Dix, Alan
|
|
2008
|
|
6 |
p. 613-641
|
artikel
|
| 70 |
Predicate Transformers for Recursive Procedures with Local Variables
|
Hesselink, Wim H.
|
|
1999
|
|
6 |
p. 616-636
|
artikel
|
| 71 |
Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
|
Su, Li
|
|
2008
|
|
6 |
p. 513-539
|
artikel
|
| 72 |
Reasoning about orchestrations of web services using partial correctness
|
Stewart, Alan
|
|
2011
|
|
6 |
p. 833-846
|
artikel
|
| 73 |
Refinement for user interface designs
|
Bowen, Judy
|
|
2008
|
|
6 |
p. 589-612
|
artikel
|
| 74 |
Relating trace refinement and linearizability
|
Smith, Graeme
|
|
2017
|
|
6 |
p. 935-950
|
artikel
|
| 75 |
Rigorous development of component-based systems using component metadata and patterns
|
Oliveira, M. V. M.
|
|
2016
|
|
6 |
p. 937-1004
|
artikel
|
| 76 |
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
|
Weidmann, Nils
|
|
|
|
6 |
p. 1115-1145
|
artikel
|
| 77 |
Simple linear string constraints
|
Fu, Xiang
|
|
2012
|
|
6 |
p. 847-891
|
artikel
|
| 78 |
Simulation relations for fault-tolerance
|
Demasi, Ramiro
|
|
2017
|
|
6 |
p. 1013-1050
|
artikel
|
| 79 |
Slicing communicating automata specifications: polynomial algorithms for model reduction
|
Labbé, Sébastien
|
|
2008
|
|
6 |
p. 563-595
|
artikel
|
| 80 |
Special section of Tests and Proofs 2016
|
Aichernig, Bernhard K.
|
|
2018
|
|
6 |
p. 627-628
|
artikel
|
| 81 |
Starvation-free mutual exclusion with semaphores
|
Hesselink, Wim H.
|
|
2011
|
|
6 |
p. 947-969
|
artikel
|
| 82 |
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
|
Cordy, Maxime
|
|
|
|
6 |
p. 1147-1172
|
artikel
|
| 83 |
Symbolic predictive analysis for concurrent programs
|
Wang, Chao
|
|
2011
|
|
6 |
p. 781-805
|
artikel
|
| 84 |
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
|
Hierons, Robert M.
|
|
2008
|
|
6 |
p. 597-617
|
artikel
|
| 85 |
Testing Conditions for Communicating Stream X-machine Systems
|
Ipate, Florentin
|
|
2002
|
|
6 |
p. 431-446
|
artikel
|
| 86 |
Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine
|
Hierons, R. M.
|
|
2000
|
|
6 |
p. 423-442
|
artikel
|
| 87 |
Tests and proofs for custom data generators
|
Dubois, Catherine
|
|
2018
|
|
6 |
p. 659-684
|
artikel
|
| 88 |
The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction
|
Duke, David
|
|
1999
|
|
6 |
p. 665-689
|
artikel
|
| 89 |
The relation between preset distinguishing sequences and synchronizing sequences
|
Güniçen, Canan
|
|
2014
|
|
6 |
p. 1153-1167
|
artikel
|
| 90 |
The Turing Guide
|
Jones, Cliff B.
|
|
2017
|
|
6 |
p. 1121-1122
|
artikel
|
| 91 |
TOrPEDO: witnessing model correctness with topological proofs
|
Menghi, Claudio
|
|
|
|
6 |
p. 1039-1066
|
artikel
|
| 92 |
Translating FSP into LOTOS and networks of automata
|
Lang, Frédéric
|
|
2009
|
|
6 |
p. 681-711
|
artikel
|
| 93 |
Valediction
|
Jones, Cliff
|
|
2008
|
|
6 |
p. 561
|
artikel
|
| 94 |
Verification-guided modelling of salience and cognitive load
|
Rukšėnas, Rimvydas
|
|
2009
|
|
6 |
p. 541-569
|
artikel
|
| 95 |
What are X-Machines?
|
Holcombe, Mike
|
|
2000
|
|
6 |
p. 418-422
|
artikel
|
| 96 |
Zohar Manna (1939–2018)
|
Dershowitz, Nachum
|
|
|
|
6 |
p. 643-660
|
artikel
|
| 97 |
Zohar Manna (1939–2018)
|
Dershowitz, Nachum
|
|
|
|
6 |
p. 643-660
|
artikel
|
Tijdschrift beschrijving