The 2014 “State of the Journal” report Robert FranceGeri GeorgMartin Schindler Editorial 22 January 2015 Pages: 1 - 2
SEFM: software engineering and formal methods Gilles BartheAlberto PardoGerardo Schneider Guest Editorial 22 February 2014 Pages: 3 - 4
Translating between Alloy specifications and UML class diagrams annotated with OCL Alcino CunhaAna GarisDaniel Riesco Special Section Paper 13 June 2013 Pages: 5 - 25
Verification of B\(^+\) trees by integration of shape analysis and interactive theorem proving Gidon ErnstGerhard SchellhornWolfgang Reif Special Section Paper 29 March 2013 Pages: 27 - 44
TacoFlow: optimizing SAT program verification using dataflow analysis Bruno Cuervo ParrinoJuan Pablo GaleottiMarcelo F. Frias Special Section Paper 25 February 2014 Pages: 45 - 63
Model checking LTL properties over ANSI-C programs with bounded traces Jeremy MorseLucas CordeiroBernd Fischer Special Section Paper 28 July 2013 Pages: 65 - 81
Procedure-modular specification and verification of temporal safety properties Siavash SoleimanifardDilian GurovMarieke Huisman Special Section Paper 07 March 2013 Pages: 83 - 100
Verifying B proof rules using deep embedding and automated theorem proving Mélanie JacquelKarim BerkaniCatherine Dubois Special Section Paper 27 June 2013 Pages: 101 - 119
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods Andreas EggersNacim RamdaniMartin Fränzle Special Section Paper 16 November 2012 Pages: 121 - 148
Synchrony and asynchrony in conformance testing Neda NorooziRamtin KhosraviTim A. C. Willemse Special Section Paper 25 January 2013 Pages: 149 - 172
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation Yliès FalconeMohamad JaberSaddek Bensalem Special Section Paper 18 April 2013 Pages: 173 - 199
Broadcast psi-calculi with an application to wireless protocols Johannes BorgströmShuqin HuangJoachim Parrow Special Section Paper 08 November 2013 Pages: 201 - 216
Guest editorial to the special issue on MODELS 2011 Jon WhittleTony Clark Guest Editorial 14 March 2013 Pages: 217 - 218
A repository for scalable model management Javier Espinazo PagánJesús Sánchez CuadradoJesús García Molina Special Section Paper 17 March 2013 Pages: 219 - 239
Model synchronization based on triple graph grammars: correctness, completeness and invertibility Frank HermannHartmut EhrigThomas Engel Special Section Paper 22 January 2013 Pages: 241 - 269
Automatically reasoning about metamodeling Ethan K. JacksonTihamer LevendovszkyDaniel Balasubramanian Special Section Paper 27 February 2013 Pages: 271 - 285
A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance Gabriele BavotaCarmine GravinoJosé A. Cruz-Lemus Special Section Paper 17 January 2013 Pages: 287 - 306
From well-formedness to meaning preservation: model refactoring for almost free Friedrich Steimann Special Section Paper 14 April 2013 Pages: 307 - 320
Kompren: modeling and generating model slicers Arnaud BlouinBenoît CombemaleOlivier Beaudoux Special Section Paper 21 November 2012 Pages: 321 - 337
Guest editorial to the special issue on “modelling–foundations and applications” Antonio VallecilloJuha-Pekka Tolvanen Guest Editorial 01 September 2013 Pages: 339 - 341
Formal verification and validation of embedded systems: the UML-based MADES approach Luciano BaresiGundula BlohmMatteo Rossi Special Section Paper 12 June 2013 Pages: 343 - 363
Model transformations for migrating legacy deployment models in the automotive industry Gehan M. K. SelimShige WangJuergen Dingel Special Section Paper 14 July 2013 Pages: 365 - 381
The design space of multi-language development environments Rolf-Helge PfeifferAndrzej Wąsowski Special Section Paper 20 September 2013 Pages: 383 - 411
Lightweight string reasoning in model finding Fabian BüttnerJordi Cabot Special Section Paper 14 April 2013 Pages: 413 - 427
Model-driven engineering with domain-specific meta-modelling languages Juan de LaraEsther GuerraJesús Sánchez Cuadrado Special Section Paper 28 July 2013 Pages: 429 - 459
Resolving model inconsistencies using automated regression planning Jorge Pinna PuissantRagnhild Van Der StraetenTom Mens Special Section Paper 26 February 2013 Pages: 461 - 481
Environment modeling and simulation for automated testing of soft real-time embedded software Muhammad Zohaib IqbalAndrea ArcuriLionel Briand Regular Paper 02 April 2013 Pages: 483 - 524