nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A denotational semantics of Simulink with higher-order UTP
|
Xu, Xiong |
|
|
130 |
C |
p. |
artikel |
2 |
A formal framework for security testing of automotive over-the-air update systems
|
Kirk, Rhys |
|
|
130 |
C |
p. |
artikel |
3 |
A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications
|
Kosiol, Jens |
|
|
130 |
C |
p. |
artikel |
4 |
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
|
Olarte, Carlos |
|
|
130 |
C |
p. |
artikel |
5 |
bGSL: An imperative language for specification and refinement of backtracking programs
|
Dunne, Steve |
|
|
130 |
C |
p. |
artikel |
6 |
Capturing constrained constructor patterns in matching logic
|
Chen, Xiaohong |
|
|
130 |
C |
p. |
artikel |
7 |
Composition of multilevel domain-specific modelling languages
|
Rodríguez, Alejandro |
|
|
130 |
C |
p. |
artikel |
8 |
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
|
Hafidi, Y. |
|
|
130 |
C |
p. |
artikel |
9 |
Editorial Board
|
|
|
|
130 |
C |
p. |
artikel |
10 |
Exception-sensitive program slicing
|
Galindo, Carlos |
|
|
130 |
C |
p. |
artikel |
11 |
Gaining trust by tracing security protocols
|
Fredlund, Lars-Åke |
|
|
130 |
C |
p. |
artikel |
12 |
Lifted structural invariant analysis of Petri net product lines
|
Gómez-Martínez, Elena |
|
|
130 |
C |
p. |
artikel |
13 |
Monadic second-order incorrectness logic for GP 2
|
Poskitt, Christopher M. |
|
|
130 |
C |
p. |
artikel |
14 |
Preface to the special issue on Open Problems in Concurrency Theory
|
Castellani, Ilaria |
|
|
130 |
C |
p. |
artikel |
15 |
Program slicing of Java programs
|
Galindo, Carlos |
|
|
130 |
C |
p. |
artikel |
16 |
Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models
|
Abuin, Alex |
|
|
130 |
C |
p. |
artikel |