| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance
|
Bavota, Gabriele
|
|
2013
|
14 |
1 |
p. 287-306
|
article
|
| 2 |
A repository for scalable model management
|
Pagán, Javier Espinazo
|
|
2013
|
14 |
1 |
p. 219-239
|
article
|
| 3 |
Automatically reasoning about metamodeling
|
Jackson, Ethan K.
|
|
2013
|
14 |
1 |
p. 271-285
|
article
|
| 4 |
Broadcast psi-calculi with an application to wireless protocols
|
Borgström, Johannes
|
|
2013
|
14 |
1 |
p. 201-216
|
article
|
| 5 |
Environment modeling and simulation for automated testing of soft real-time embedded software
|
Iqbal, Muhammad Zohaib
|
|
2013
|
14 |
1 |
p. 483-524
|
article
|
| 6 |
Formal verification and validation of embedded systems: the UML-based MADES approach
|
Baresi, Luciano
|
|
2013
|
14 |
1 |
p. 343-363
|
article
|
| 7 |
From well-formedness to meaning preservation: model refactoring for almost free
|
Steimann, Friedrich
|
|
2013
|
14 |
1 |
p. 307-320
|
article
|
| 8 |
Guest editorial to the special issue on “modelling–foundations and applications”
|
Vallecillo, Antonio
|
|
2013
|
14 |
1 |
p. 339-341
|
article
|
| 9 |
Guest editorial to the special issue on MODELS 2011
|
Whittle, Jon
|
|
2013
|
14 |
1 |
p. 217-218
|
article
|
| 10 |
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods
|
Eggers, Andreas
|
|
2012
|
14 |
1 |
p. 121-148
|
article
|
| 11 |
Kompren: modeling and generating model slicers
|
Blouin, Arnaud
|
|
2012
|
14 |
1 |
p. 321-337
|
article
|
| 12 |
Lightweight string reasoning in model finding
|
Büttner, Fabian
|
|
2013
|
14 |
1 |
p. 413-427
|
article
|
| 13 |
Model checking LTL properties over ANSI-C programs with bounded traces
|
Morse, Jeremy
|
|
2013
|
14 |
1 |
p. 65-81
|
article
|
| 14 |
Model-driven engineering with domain-specific meta-modelling languages
|
Lara, Juan de
|
|
2013
|
14 |
1 |
p. 429-459
|
article
|
| 15 |
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
|
Hermann, Frank
|
|
2013
|
14 |
1 |
p. 241-269
|
article
|
| 16 |
Model transformations for migrating legacy deployment models in the automotive industry
|
Selim, Gehan M. K.
|
|
2013
|
14 |
1 |
p. 365-381
|
article
|
| 17 |
Procedure-modular specification and verification of temporal safety properties
|
Soleimanifard, Siavash
|
|
2013
|
14 |
1 |
p. 83-100
|
article
|
| 18 |
Resolving model inconsistencies using automated regression planning
|
Pinna Puissant, Jorge
|
|
2013
|
14 |
1 |
p. 461-481
|
article
|
| 19 |
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
|
Falcone, Yliès
|
|
2013
|
14 |
1 |
p. 173-199
|
article
|
| 20 |
SEFM: software engineering and formal methods
|
Barthe, Gilles
|
|
2014
|
14 |
1 |
p. 3-4
|
article
|
| 21 |
Synchrony and asynchrony in conformance testing
|
Noroozi, Neda
|
|
2013
|
14 |
1 |
p. 149-172
|
article
|
| 22 |
TacoFlow: optimizing SAT program verification using dataflow analysis
|
Cuervo Parrino, Bruno
|
|
2014
|
14 |
1 |
p. 45-63
|
article
|
| 23 |
The design space of multi-language development environments
|
Pfeiffer, Rolf-Helge
|
|
2013
|
14 |
1 |
p. 383-411
|
article
|
| 24 |
The 2014 “State of the Journal” report
|
France, Robert
|
|
2015
|
14 |
1 |
p. 1-2
|
article
|
| 25 |
Translating between Alloy specifications and UML class diagrams annotated with OCL
|
Cunha, Alcino
|
|
2013
|
14 |
1 |
p. 5-25
|
article
|
| 26 |
Verification of B$$^+$$ trees by integration of shape analysis and interactive theorem proving
|
Ernst, Gidon
|
|
2013
|
14 |
1 |
p. 27-44
|
article
|
| 27 |
Verifying B proof rules using deep embedding and automated theorem proving
|
Jacquel, Mélanie
|
|
2013
|
14 |
1 |
p. 101-119
|
article
|
Journal description