| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
|
Al-Bataineh, Omar
|
|
2015
|
|
5-6 |
p. 917-949
|
article
|
| 2 |
A reduced maximality labeled transition system generation for recursive Petri nets
|
Bouneb, Messaouda
|
|
2015
|
|
5-6 |
p. 951-973
|
article
|
| 3 |
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal
|
Bowman, H.
|
|
1998
|
|
5-6 |
p. 550-575
|
article
|
| 4 |
Case Study in Protocol Validation: Validating an ATM Signalling Protocol
|
Vassiliou-Gioles, Theofanis
|
|
1998
|
|
5-6 |
p. 483-508
|
article
|
| 5 |
Categorical foundations for structured specifications in $${\mathsf{Z}}$$Z
|
Castro, Pablo F.
|
|
2015
|
|
5-6 |
p. 831-865
|
article
|
| 6 |
Design for Proof: An Approach to the Design of Domain-Specific Languages
|
Anderson, Stuart
|
|
1998
|
|
5-6 |
p. 452-468
|
article
|
| 7 |
Editorial
|
Woodcock, Jim
|
|
2015
|
|
5-6 |
p. 751-752
|
article
|
| 8 |
Editorial
|
Groote, Jan Friso
|
|
1998
|
|
5-6 |
p. 435
|
article
|
| 9 |
Finding semantic associations in hierarchically structured groups of Web data
|
Rosaci, Domenico
|
|
2015
|
|
5-6 |
p. 867-884
|
article
|
| 10 |
Generating invariants for non-linear loops by linear algebraic methods
|
Rebiha, Rachid
|
|
2015
|
|
5-6 |
p. 805-829
|
article
|
| 11 |
Investigating the Integration of two Formal Methods
|
Bicarregui, Juan
|
|
1998
|
|
5-6 |
p. 532-549
|
article
|
| 12 |
Model checking CML: tool development and industrial applications
|
Mota, A.
|
|
2015
|
|
5-6 |
p. 975-1001
|
article
|
| 13 |
Model checking the observational determinism security property using PROMELA and SPIN
|
Dabaghchian, Maryam
|
|
2015
|
|
5-6 |
p. 789-804
|
article
|
| 14 |
Partial-order Reduction Techniques for Real-time Model Checking
|
Dams, Dennis
|
|
1998
|
|
5-6 |
p. 469-482
|
article
|
| 15 |
Testing Algebraic Data Types and Processes: A Unifying Theory
|
Gaudel, Marie-Claude
|
|
1998
|
|
5-6 |
p. 436-451
|
article
|
| 16 |
The Tree Identify Protocol of IEEE 1394 in μCRL
|
Shankland, Carron
|
|
1998
|
|
5-6 |
p. 509-531
|
article
|
| 17 |
Typed context awareness Ambient Calculus for pervasive applications
|
Pasqualin, Douglas Pereira
|
|
2015
|
|
5-6 |
p. 885-916
|
article
|
| 18 |
Untanglings: a novel approach to analyzing concurrent systems
|
Polyvyanyy, Artem
|
|
2015
|
|
5-6 |
p. 753-788
|
article
|
Journal description