| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstract acceleration in linear relation analysis
|
Gonnord, Laure
|
|
2014
|
141-142 |
PB |
p. 125-153
29 p.
|
artikel
|
| 2 |
Adaptation space exploration for service-oriented applications
|
Mirandola, Raffaela
|
|
2014
|
141-142 |
PB |
p. 356-384
29 p.
|
artikel
|
| 3 |
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries
|
Welsch, Yannick
|
|
2014
|
141-142 |
PB |
p. 129-161
33 p.
|
artikel
|
| 4 |
Algebras for correctness of sequential computations
|
Guttmann, Walter
|
|
2014
|
141-142 |
PB |
p. 224-240
17 p.
|
artikel
|
| 5 |
A model-integrated authoring environment for privacy policies
|
Nadas, Andras
|
|
2014
|
141-142 |
PB |
p. 105-125
21 p.
|
artikel
|
| 6 |
An empirical study of FOSS developers patterns of contribution: Challenges for data linkage and analysis
|
Sowe, Sulayman K.
|
|
2014
|
141-142 |
PB |
p. 249-265
17 p.
|
artikel
|
| 7 |
An MDE-based framework to support the development of Mixed Interactive Systems
|
Dubois, Emmanuel
|
|
2014
|
141-142 |
PB |
p. 199-221
23 p.
|
artikel
|
| 8 |
An old new notation for elementary probability theory
|
Morgan, Carroll
|
|
2014
|
141-142 |
PB |
p. 115-136
22 p.
|
artikel
|
| 9 |
Applying model-driven engineering in small software enterprises
|
Cuadrado, Jesús Sánchez
|
|
2014
|
141-142 |
PB |
p. 176-198
23 p.
|
artikel
|
| 10 |
A practical approach for testing timed deterministic finite state machines with single clock
|
El-Fakih, Khaled
|
|
2014
|
141-142 |
PB |
p. 343-355
13 p.
|
artikel
|
| 11 |
Architecture-level software performance abstractions for online performance prediction
|
Brosig, Fabian
|
|
2014
|
141-142 |
PB |
p. 71-92
22 p.
|
artikel
|
| 12 |
Automated verification of design patterns: A case study
|
Nicholson, Jon
|
|
2014
|
141-142 |
PB |
p. 211-222
12 p.
|
artikel
|
| 13 |
Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions
|
Miné, A.
|
|
2014
|
141-142 |
PB |
p. 154-182
29 p.
|
artikel
|
| 14 |
CAOVerif: An open-source deductive verification platform for cryptographic software implementations
|
Almeida, José Bacelar
|
|
2014
|
141-142 |
PB |
p. 216-233
18 p.
|
artikel
|
| 15 |
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
|
Olesen, Mads Chr.
|
|
2014
|
141-142 |
PB |
p. 141-160
20 p.
|
artikel
|
| 16 |
Compositionality and correctness of fault tolerant patterns in HOL4
|
Dias, Diego
|
|
2014
|
141-142 |
PB |
p. 105-128
24 p.
|
artikel
|
| 17 |
Concurrency and local reasoning under reverse exchange
|
Dang, H.-H.
|
|
2014
|
141-142 |
PB |
p. 204-223
20 p.
|
artikel
|
| 18 |
Consistency of model transformation contracts
|
Braga, Christiano
|
|
2014
|
141-142 |
PB |
p. 86-104
19 p.
|
artikel
|
| 19 |
Dependability in open proof software with hardware virtualization—The railway control systems perspective
|
Feuser, Johannes
|
|
2014
|
141-142 |
PB |
p. 188-215
28 p.
|
artikel
|
| 20 |
Deriving real-time action systems with multiple time bands using algebraic reasoning
|
Dongol, Brijesh
|
|
2014
|
141-142 |
PB |
p. 137-165
29 p.
|
artikel
|
| 21 |
Employing early model-based safety evaluation to iteratively derive E/E architecture design
|
Rupanov, V.
|
|
2014
|
141-142 |
PB |
p. 161-179
19 p.
|
artikel
|
| 22 |
Ensuring portability of Linux applications through standardization and knowledge base driven analysis
|
Rubanov, Vladimir
|
|
2014
|
141-142 |
PB |
p. 234-248
15 p.
|
artikel
|
| 23 |
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications
|
Tanter, Éric
|
|
2014
|
141-142 |
PB |
p. 311-342
32 p.
|
artikel
|
| 24 |
First-past-the-post games
|
Backhouse, Roland
|
|
2014
|
141-142 |
PB |
p. 166-203
38 p.
|
artikel
|
| 25 |
Formal semantics, modular specification, and symbolic verification of product-line behaviour
|
Classen, Andreas
|
|
2014
|
141-142 |
PB |
p. 416-439
24 p.
|
artikel
|
| 26 |
Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture
|
Buhnova, Barbora
|
|
2014
|
141-142 |
PB |
p. 67-70
4 p.
|
artikel
|
| 27 |
Guest editorial to the special issue on Success Stories in Model Driven Engineering
|
Di Ruscio, Davide
|
|
2014
|
141-142 |
PB |
p. 69-70
2 p.
|
artikel
|
| 28 |
Hippocratic binary instrumentation: First do no harm
|
Sridhar, Meera
|
|
2014
|
141-142 |
PB |
p. 110-124
15 p.
|
artikel
|
| 29 |
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases
|
Cachera, David
|
|
2014
|
141-142 |
PB |
p. 89-109
21 p.
|
artikel
|
| 30 |
Large-scale Model-Driven Engineering of web user interaction: The WebML and WebRatio experience
|
Brambilla, Marco
|
|
2014
|
141-142 |
PB |
p. 71-87
17 p.
|
artikel
|
| 31 |
Learning from the future of component repositories
|
Abate, Pietro
|
|
2014
|
141-142 |
PB |
p. 93-115
23 p.
|
artikel
|
| 32 |
Metrics and techniques for quantifying performance isolation in cloud environments
|
Krebs, Rouven
|
|
2014
|
141-142 |
PB |
p. 116-134
19 p.
|
artikel
|
| 33 |
Model-driven engineering of information systems: 10 years and 1000 versions
|
Davies, Jim
|
|
2014
|
141-142 |
PB |
p. 88-104
17 p.
|
artikel
|
| 34 |
Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure
|
Hutchinson, John
|
|
2014
|
141-142 |
PB |
p. 144-161
18 p.
|
artikel
|
| 35 |
Model-driven standardization of public authority data interchange
|
Büttner, Fabian
|
|
2014
|
141-142 |
PB |
p. 162-175
14 p.
|
artikel
|
| 36 |
On OCL-based imperative languages
|
Büttner, Fabian
|
|
2014
|
141-142 |
PB |
p. 162-178
17 p.
|
artikel
|
| 37 |
Open source verification in an anonymous volunteer network
|
Breuer, Peter T.
|
|
2014
|
141-142 |
PB |
p. 161-187
27 p.
|
artikel
|
| 38 |
Preface – Invariant Generation
|
Grov, Gudmund
|
|
2014
|
141-142 |
PB |
p. 87-88
2 p.
|
artikel
|
| 39 |
Real-time verification of wireless home networks using bigraphs with sharing
|
Calder, Muffy
|
|
2014
|
141-142 |
PB |
p. 288-310
23 p.
|
artikel
|
| 40 |
Recovering memory access patterns of executable programs
|
Ketterlin, Alain
|
|
2014
|
141-142 |
PB |
p. 440-456
17 p.
|
artikel
|
| 41 |
Refinement algebra with dual operator
|
Preoteasa, Viorel
|
|
2014
|
141-142 |
PB |
p. 179-210
32 p.
|
artikel
|
| 42 |
Selected contributions from the Open Source Software Certification (OpenCert) workshops
|
Barbosa, Luís Soares
|
|
2014
|
141-142 |
PB |
p. 139-140
2 p.
|
artikel
|
| 43 |
Selected papers from Mathematics of Program Construction 2012
|
Gibbons, Jeremy
|
|
2014
|
141-142 |
PB |
p. 101-
1 p.
|
artikel
|
| 44 |
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)
|
Simao, Adenilso
|
|
2014
|
141-142 |
PB |
p. 85-
1 p.
|
artikel
|
| 45 |
Semi-automated architectural abstraction specifications for supporting software evolution
|
Haitzer, Thomas
|
|
2014
|
141-142 |
PB |
p. 135-160
26 p.
|
artikel
|
| 46 |
Specifying safety-critical systems with a decidable duration logic
|
Konur, Savas
|
|
2014
|
141-142 |
PB |
p. 264-287
24 p.
|
artikel
|
| 47 |
Static safety guarantees for a low-level multithreaded language with regions
|
Gerakios, Prodromos
|
|
2014
|
141-142 |
PB |
p. 223-263
41 p.
|
artikel
|
| 48 |
Studying software evolution using topic models
|
Thomas, Stephen W.
|
|
2014
|
141-142 |
PB |
p. 457-479
23 p.
|
artikel
|
| 49 |
Synchronous set relations in rewriting logic
|
Rocha, Camilo
|
|
2014
|
141-142 |
PB |
p. 211-228
18 p.
|
artikel
|
| 50 |
The CancerGrid experience: Metadata-based model-driven engineering for clinical trials
|
Davies, Jim
|
|
2014
|
141-142 |
PB |
p. 126-143
18 p.
|
artikel
|
| 51 |
The laws of programming unify process calculi
|
Hoare, Tony
|
|
2014
|
141-142 |
PB |
p. 102-114
13 p.
|
artikel
|
| 52 |
Using conditional trace slicing for improving Maude programs
|
Alpuente, María
|
|
2014
|
141-142 |
PB |
p. 385-415
31 p.
|
artikel
|
Tijdschrift beschrijving