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