| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Adaptation space exploration for service-oriented applications
|
Mirandola, Raffaela
|
|
2014
|
80 |
PB |
p. 356-384
29 p.
|
article
|
| 2 |
A practical approach for testing timed deterministic finite state machines with single clock
|
El-Fakih, Khaled
|
|
2014
|
80 |
PB |
p. 343-355
13 p.
|
article
|
| 3 |
Automated verification of design patterns: A case study
|
Nicholson, Jon
|
|
2014
|
80 |
PB |
p. 211-222
12 p.
|
article
|
| 4 |
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications
|
Tanter, Éric
|
|
2014
|
80 |
PB |
p. 311-342
32 p.
|
article
|
| 5 |
Formal semantics, modular specification, and symbolic verification of product-line behaviour
|
Classen, Andreas
|
|
2014
|
80 |
PB |
p. 416-439
24 p.
|
article
|
| 6 |
Real-time verification of wireless home networks using bigraphs with sharing
|
Calder, Muffy
|
|
2014
|
80 |
PB |
p. 288-310
23 p.
|
article
|
| 7 |
Recovering memory access patterns of executable programs
|
Ketterlin, Alain
|
|
2014
|
80 |
PB |
p. 440-456
17 p.
|
article
|
| 8 |
Specifying safety-critical systems with a decidable duration logic
|
Konur, Savas
|
|
2014
|
80 |
PB |
p. 264-287
24 p.
|
article
|
| 9 |
Static safety guarantees for a low-level multithreaded language with regions
|
Gerakios, Prodromos
|
|
2014
|
80 |
PB |
p. 223-263
41 p.
|
article
|
| 10 |
Studying software evolution using topic models
|
Thomas, Stephen W.
|
|
2014
|
80 |
PB |
p. 457-479
23 p.
|
article
|
| 11 |
Using conditional trace slicing for improving Maude programs
|
Alpuente, María
|
|
2014
|
80 |
PB |
p. 385-415
31 p.
|
article
|
Journal description