default search action
Software and System Modeling, Volume 14
Volume 14, Number 1, February 2015
- Robert B. France, Geri Georg, Bernhard Rumpe
, Martin Schindler:
The 2014 "State of the Journal" report. 1-2 - Gilles Barthe
SEFM: software engineering and formal methods. 3-4 - Alcino Cunha
Translating between Alloy specifications and UML class diagrams annotated with OCL. 5-25 - Gidon Ernst
Verification of B+ trees by integration of shape analysis and interactive theorem proving. 27-44 - Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky
TacoFlow: optimizing SAT program verification using dataflow analysis. 45-63 - Jeremy Morse, Lucas C. Cordeiro
Model checking LTL properties over ANSI-C programs with bounded traces. 65-81 - Siavash Soleimanifard, Dilian Gurov
Procedure-modular specification and verification of temporal safety properties. 83-100 - Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois:
Verifying B proof rules using deep embedding and automated theorem proving. 101-119 - Andreas Eggers, Nacim Ramdani
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. 121-148 - Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi
Synchrony and asynchrony in conformance testing. 149-172 - Yliès Falcone, Mohamad Jaber
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. 173-199 - Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola
Broadcast psi-calculi with an application to wireless protocols. 201-216 - Jon Whittle, Tony Clark
Guest editorial to the special issue on MODELS 2011. 217-218 - Javier Espinazo-Pagán, Jesús Sánchez Cuadrado
A repository for scalable model management. 219-239 - Frank Hermann, Hartmut Ehrig, Fernando Orejas
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. 241-269 - Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
Automatically reasoning about metamodeling. 271-285 - Gabriele Bavota
A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance. 287-306 - Friedrich Steimann
From well-formedness to meaning preservation: model refactoring for almost free. 307-320 - Arnaud Blouin
Kompren: modeling and generating model slicers. 321-337 - Antonio Vallecillo
Guest editorial to the special issue on "modelling-foundations and applications". 339-341 - Luciano Baresi
Formal verification and validation of embedded systems: the UML-based MADES approach. 343-363 - Gehan M. K. Selim, Shige Wang, James R. Cordy, Juergen Dingel:
Model transformations for migrating legacy deployment models in the automotive industry. 365-381 - Rolf-Helge Pfeiffer, Andrzej Wasowski
The design space of multi-language development environments. 383-411 - Fabian Büttner, Jordi Cabot
Lightweight string reasoning in model finding. 413-427 - Juan de Lara, Esther Guerra
Model-driven engineering with domain-specific meta-modelling languages. 429-459 - Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens
Resolving model inconsistencies using automated regression planning. 461-481 - Muhammad Zohaib Z. Iqbal
Environment modeling and simulation for automated testing of soft real-time embedded software. 483-524
Volume 14, Number 2, May 2015
- Marsha Chechik, Geri Georg, Martin Gogolla, Jean-Marc Jézéquel, Bernhard Rumpe
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015. 525-532
- Zhenjiang Hu, Juan de Lara:
Guest editorial to the special section on model transformation. 533-535 - Angelika Kusel, Johannes Schönböck
Reuse in model-to-model transformation languages: are we there yet? 537-572 - Andreas Demuth, Roberto Erick Lopez-Herrejon, Alexander Egyed:
Constraint-driven modeling through transformation. 573-596 - Gergely Varró, Frederik Deckwerth, Martin Wieber, Andy Schürr:
An algorithm for generating model-sensitive search plans for pattern matching on EMF models. 597-621 - Esther Guerra
Specification-driven model transformation testing. 623-644 - Colin Atkinson
Enhancing classic transformation languages to support multi-level modeling. 645-666
- Robert B. France, Bernhard Rumpe
Special section of SoSyM dedicated to 50 years of Petri nets. 667-668 - Jörg Desel, Wolfgang Reisig:
The concepts of Petri nets. 669-683 - Wil M. P. van der Aalst
Business process management as the "Killer App" for Petri nets. 685-691 - Alessandro Giua
Petri nets for the control of discrete event systems. 693-701 - Ina Koch
Petri nets in systems biology. 703-710 - Karsten Wolf:
The Petri net twist in explicit model checking. 711-717 - Alain Finkel, Jérôme Leroux:
Recent and simple algorithms for Petri nets. 719-725 - Einar Smith:
Petri and how he saw the world. 727-733 - Maged Elaasar, Lionel C. Briand, Yvan Labiche
VPML: an approach to detect design patterns of MOF-based modeling languages. 735-764 - Christine Natschläger, Felix Kossak, Klaus-Dieter Schewe:
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation. 765-793 - Doohwan Kim, Jang-Eui Hong
ESUML-EAF: a framework to develop an energy-efficient design model for embedded software. 795-812 - Mohammed Misbhauddin, Mohammad R. Alshayeb
Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange. 813-838 - Jinhyun Kim, Inhye Kang, Jin-Young Choi
Formal synthesis of application and platform behaviors of embedded software systems. 839-859 - Bernard Carré
From subsets of model elements to submodels - A characterization of submodels and their properties. 861-887 - Robert Tairas, Jordi Cabot
Corpus-based analysis of domain-specific languages. 889-904 - Jean-Marc Jézéquel
Mashup of metalanguages and its implementation in the Kermeta language workbench. 905-920 - Qin Ma, Pierre Kelsen, Christian Glodt:
A generic model decomposition technique and its application to the Eclipse modeling framework. 921-952 - Guillem Rull, Carles Farré
AuRUS: explaining the validation of UML/OCL conceptual schemas. 953-980 - Kurt Stenzel, Nina Moebius, Wolfgang Reif
Formal verification of QVT transformations for code generation. 981-1002 - Lukman Ab. Rahim
A survey of approaches for verifying model transformations. 1003-1028 - Rouwaida Abdallah, Loïc Hélouët, Claude Jard:
Distributed implementation of message sequence charts. 1029-1048
Volume 14, Number 3, July 2015
- Jeff Gray
Editorial for the SoSyM issue 2015/03. 1049-1050 - Selmin Nurcan, Rainer Schmidt
Special section of BPMDS'2012: artefacts and processes for business process modeling and management. 1051-1053 - Jakob Pinggera, Pnina Soffer, Dirk Fahland
Styles in business process modeling: an exploration and a model. 1055-1080 - Stefan Zugal, Pnina Soffer, Cornelia Haisjackl, Jakob Pinggera, Manfred Reichert, Barbara Weber
Investigating expressiveness and understandability of hierarchy in declarative business process models. 1081-1103 - Matthias Kunze, Matthias Weidlich
Querying process models by behavior inclusion. 1105-1125 - Juliana Baptista dos Santos França
KIPO: the knowledge-intensive process ontology. 1127-1157 - Ilia Bider
Design science in action: developing a modeling technique for eliciting requirements on business process management (BPM) tools. 1159-1188 - Anne Etien
Localized model transformations for building large-scale transformations. 1189-1213 - Eugene Syriani
T-Core: a framework for custom-built model transformation engines. 1215-1243 - Yu Sun, Jeff Gray
A demonstration-based model transformation approach to automate model scalability. 1245-1271 - Vukasin Milovanovic, Dragan Milicev:
An interactive tool for UML class model evolution in database applications. 1273-1295 - Luka Fürst, Marjan Mernik, Viljan Mahnic
Converting metamodels to graph grammars: doing without advanced graph grammar features. 1297-1317
Volume 14, Number 4, October 2015
- Jeff Gray
Models for digitalization. 1319-1320 - Jürgen Kazmeier, Perdita Stevens:
Guest editorial to the special section on MODELS 2012. 1321-1322 - Jesús J. López-Fernández, Jesús Sánchez Cuadrado
Example-driven meta-model development. 1323-1347 - Kleinner Farias, Alessandro F. Garcia, Jon Whittle, Christina von Flach Garcia Chavez
Evaluating the effort of composing design models: a controlled experiment. 1349-1365 - Muhammad Zohaib Iqbal
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. 1367-1385 - Estefanía Serral
Addressing the evolution of automated user behaviour patterns by runtime model interpretation. 1387-1420 - Paolo Bottoni
Spider Graphs: a graph transformation system for spider diagrams. 1421-1453 - Jameleddine Hassine
Describing and assessing availability requirements in the early stages of system development. 1455-1479 - Gianna Reggio, Filippo Ricca, Giuseppe Scanniello
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments. 1481-1504 - Gökhan Kahraman, Semih Bilgen:
A framework for qualitative assessment of domain-specific languages. 1505-1526 - Mira Balaban, Azzam Maraee, Arnon Sturm
A pattern-based approach for improving model quality. 1527-1555 - Mar Yah Said, Michael J. Butler
A method of refinement in UML-B. 1557-1580
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: