default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware 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, Alberto Pardo, Gerardo Schneider:
SEFM: software engineering and formal methods. 3-4 - Alcino Cunha, Ana Gabriela Garis, Daniel Riesco:
Translating between Alloy specifications and UML class diagrams annotated with OCL. 5-25 - Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif:
Verification of B+ trees by integration of shape analysis and interactive theorem proving. 27-44 - Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias:
TacoFlow: optimizing SAT program verification using dataflow analysis. 45-63 - Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Model checking LTL properties over ANSI-C programs with bounded traces. 65-81 - Siavash Soleimanifard, Dilian Gurov, Marieke Huisman:
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, Nedialko S. Nedialkov, Martin Fränzle:
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. 121-148 - Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim A. C. Willemse:
Synchrony and asynchrony in conformance testing. 149-172 - Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem:
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, Joachim Parrow:
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, Jesús García Molina:
A repository for scalable model management. 219-239 - Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel:
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, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José A. Cruz-Lemus:
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, Benoît Combemale, Benoit Baudry, Olivier Beaudoux:
Kompren: modeling and generating model slicers. 321-337 - Antonio Vallecillo, Juha-Pekka Tolvanen:
Guest editorial to the special issue on "modelling-foundations and applications". 339-341 - Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi:
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, Jesús Sánchez Cuadrado:
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, Andrea Arcuri, Lionel C. Briand:
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, Martin Schindler:
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, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger:
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, Mathias Soeken:
Specification-driven model transformation testing. 623-644 - Colin Atkinson, Ralph Gerbig, Christian Vjekoslav Tunjic:
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, Carla Seatzu:
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, Insup Lee, Sungwon Kang:
Formal synthesis of application and platform behaviors of embedded software systems. 839-859 - Bernard Carré, Gilles Vanwormhoudt, Olivier Caron:
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, Benoît Combemale, Olivier Barais, Martin Monperrus, François Fouquet:
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é, Anna Queralt, Ernest Teniente, Toni Urpí:
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, Jon Whittle:
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, Bernhard Rumpe:
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, Matthias Weidlich, Stefan Zugal, Barbara Weber, Hajo A. Reijers, Jan Mendling:
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, Mathias Weske:
Querying process models by behavior inclusion. 1105-1125 - Juliana Baptista dos Santos França, Joanne Manhães Netto, Juliana do E. Santo Carvalho, Flávia Maria Santoro, Fernanda Araújo Baião, Mariano Gomes Pimentel:
KIPO: the knowledge-intensive process ontology. 1127-1157 - Ilia Bider, Erik Perjons:
Design science in action: developing a modeling technique for eliciting requirements on business process management (BPM) tools. 1159-1188 - Anne Etien, Alexis Muller, Thomas Legrand, Richard F. Paige:
Localized model transformations for building large-scale transformations. 1189-1213 - Eugene Syriani, Hans Vangheluwe, Brian LaShomb:
T-Core: a framework for custom-built model transformation engines. 1215-1243 - Yu Sun, Jeff Gray, Jules White:
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, Bernhard Rumpe:
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, Esther Guerra, Juan de Lara:
Example-driven meta-model development. 1323-1347 - Kleinner Farias, Alessandro F. Garcia, Jon Whittle, Christina von Flach Garcia Chavez, Carlos Lucena:
Evaluating the effort of composing design models: a controlled experiment. 1349-1365 - Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand:
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. 1367-1385 - Estefanía Serral, Pedro Valderas, Vicente Pelechano:
Addressing the evolution of automated user behaviour patterns by runtime model interpretation. 1387-1420 - Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce:
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, Francesco Di Cerbo, Gabriella Dodero:
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, Pavel Jelnov:
A pattern-based approach for improving model quality. 1527-1555 - Mar Yah Said, Michael J. Butler, Colin F. Snook:
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 2026-02-13 22:37 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:
