|
Issue |
Title |
|
Volume 52: Software Modeling in Education 2011 |
Model Correctness Patterns as an Educational Instrument |
Abstract
PDF
|
Azzam Maraee, Mira Balaban, Arnon Strum, Adiel Ashrov |
|
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) |
Model Extraction of Legacy C Code in SCCharts |
Abstract
PDF
|
Steven Smyth, Stephan Lenga, Reinhard von Hanxleden |
|
Volume 50: Multi-Paradigm Modeling 2011 |
Model-Based Engineering for the support of Models of Computation: The Cometa Approach |
Abstract
PDF
|
Papa Issa Diallo |
|
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) |
Model-based WCET Analysis with Invariants |
Abstract
PDF
|
Bojan Nokovic, Emil Sekerinski |
|
Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017) |
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience |
Abstract
PDF
|
Predrag Filipovikj, Guillermo Rodriguez-Navas, Cristina Seceleanu |
|
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 |
Modeling context with graph annotations |
Abstract
PDF
|
Paolo Bottoni, Francesco Parisi-Presicce |
|
Volume 44: OCL and Textual Modelling 2011 |
Modeling the OCL Standard Library |
Abstract
PDF
|
Edward Daniel Willink |
|
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) |
Modelling Adaptive Networks: The Case of the Petrified Voters |
Abstract
PDF
|
Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski |
|
Volume 45: Formal Methods for Interactive Systems 2011 |
Modelling and analysing the interactive behaviour of an infusion pump |
Abstract
PDF
|
Jose Creissac Campos, Michael Harrison |
|
Volume 42: Multi-Paradigm Modeling 2010 |
Modelling- and Simulation-Based Design of Multi-tier Systems |
Abstract
PDF
|
Kamal Zellag, Hans Vangheluwe |
|
Volume 53: Automated Verification of Critical Systems 2012 |
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2 |
Abstract
PDF
|
Jeroen J. A. Keiren, Martijn D. Klabbers |
|
Volume 45: Formal Methods for Interactive Systems 2011 |
Modelling Distributed Cognition Systems in PVS |
Abstract
PDF
|
Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss |
|
Volume 40: Petri Nets and Graph Transformations 2010 |
Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns |
Abstract
PDF
|
Frank Trollmann, Maximilian Kern, Sahin Albayrak |
|
Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017) |
Model-to-Model Transformation in Meta-Modeled CINCO Domains |
Abstract
PDF
|
Dennis Kuehn |
|
Volume 54: Graph-Based Tools 2012 |
ModGraph - Generating Executable EMF Models |
Abstract
PDF
|
Sabine Winetzhammer |
|
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 |
ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF |
Abstract
PDF
|
Sabine Winetzhammer, Bernhard Westfechtel |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Modular Platform for Detecting and Classifying Phishing Websites Using Cyber Threat Intelligence |
Abstract
PDF
|
Ahmed M. Elmisery, Mirela Sertovic |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Molecular Communication Channel Modelling in FPGA Technology |
Abstract
PDF
|
Daniil Romanchenko, Matis Tartie, Ba Que Le, Jorge Torres Gómez, Falko Dressler |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
MoleNet: An Underground Sensor Network for Soil Monitoring |
Abstract
PDF
|
Jens Dede, Daniel Helms, Anna Förster |
|
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 |
Monitor-Oriented Compensation Programming Through Compensating Automata |
Abstract
PDF
|
Christian Colombo, Gordon J Pace |
|
Volume 71: Graph Computation Models 2014 |
More on Graph Rewriting With Contextual Refinement |
Abstract
PDF
|
Berthold Hoffmann |
|
Volume 42: Multi-Paradigm Modeling 2010 |
MPM 2010 Preface |
Details
PDF
|
Vasco Amaral, Hans Vangheluwe, Cecile Hardebolle, Lengyel Laszlo |
|
Volume 53: Automated Verification of Critical Systems 2012 |
Multi-core and/or Symbolic Model Checking |
Abstract
PDF
|
Tom van Dijk, Alfons Laarman, Jaco van de Pol |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Navigating Communication Networks with Deep Reinforcement Learning |
Abstract
PDF
|
Patrick Krämer, Andreas Blenk |
|
Volume 34: Software Modeling in Education at MODELS 2010 |
New Media in Teaching UML in the Large — an Experience Report |
Abstract
PDF
|
Marion Brandsteidl, Konrad Wieland, Christian Huemer |
|
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) |
Non-Deterministic Matching Algorithm for Net Transformations |
Abstract
PDF
|
Julia Padberg, Mathias Blumreiter |
|
Volume 49: Bidirectional Transformations 2012 |
Observations relating to the equivalences induced on model sets by bidirectional transformations |
Abstract
PDF
|
Perdita Stevens |
|
Volume 44: OCL and Textual Modelling 2011 |
OCL Tools Report based on the IDE4OCL Feature Model |
Abstract
PDF
|
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann, Edward Willink |
|
Volume 44: OCL and Textual Modelling 2011 |
OCL-based Runtime Monitoring of JVM hosted Applications |
Abstract
PDF
|
Lars Hamann, Martin Gogolla, Mirco Kuhlmann |
|
Volume 45: Formal Methods for Interactive Systems 2011 |
On formalising interactive number entry on infusion pumps |
Abstract
PDF
|
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold Thimbleby |
|
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 |
On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets |
Abstract
PDF
|
Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann |
|
Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017) |
On Privacy and Utility while Improving Software Quality |
Abstract
PDF
|
Fayola Peters |
|
Volume 57: Bidirectional Transformations 2013 |
On Propagation-Based Concurrent Model Synchronization |
Abstract
PDF
|
Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel |
|
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 |
On Single-Pushout Rewriting of Partial Algebras |
Abstract
PDF
|
Michael Löwe, Marius Tempelmeier |
|
Volume 60: Software Quality and Maintainability 2013 |
On Software Quality-motivated Design of a Real-time Framework for Complex Robot Control Systems |
Abstract
PDF
|
Max Reichardt, Tobias Föhst, Karsten Berns |
|
Volume 64: Programming and Computer Languages 2013 |
On the decidability of model checking LTL fragments in monotonic extensions of Petri nets |
Abstract
PDF
|
María Martos-Salgado, Fernando Rosa-Velardo |
|
Volume 66: Automated Verification of Critical Systems 2013 |
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation |
Abstract
PDF
|
Vahid Hashemi, Holger Hermanss, Andrea Turrini |
|
Volume 70: Automated Verification of Critical Systems 2014 |
On the Random Structure of Behavioural Transition Systems |
Abstract
PDF
|
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
On the Resilience of Opportunistic Networks against DoS Attacks |
Abstract
PDF
|
Sanaz Afzali, Asanga Udugama, Anna Förster, Mathias Fischer |
|
Volume 66: Automated Verification of Critical Systems 2013 |
On the Satisfiability of Metric Temporal Logics over the Reals |
Abstract
PDF
|
Marcello Maria Bersani, Matteo G. Rossi, Pierluigi San Pietro |
|
Volume 42: Multi-Paradigm Modeling 2010 |
On the Unification of Megamodels |
Abstract
PDF
|
Regina Hebig, Andreas Seibel, Holger Giese |
|
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner |
On the whereabouts of CSP-CASL – A survey |
Abstract
PDF
|
Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach |
|
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 |
Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques |
Abstract
PDF
|
Szilvia Varró-Gyapay |
|
Volume 53: Automated Verification of Critical Systems 2012 |
Optimized Transformation and Verification of SystemC Methods |
Abstract
PDF
|
Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner |
|
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 |
Optimizing Model-Based Software Product Line Testing with Graph Transformations |
Abstract
PDF
|
Anthony Anjorin, Sebastian Oster, Ivan Zoric, Andy Schürr |
|
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 |
Overview of Hybrid MANET-DTN Networking and its Potential for Emergency Response Operations |
Abstract
PDF
|
Christian Raffelsberger, Hermann Hellwagner |
|
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 |
Parallel Evaluation of Interaction Nets: Case Studies and Experiments |
Abstract
PDF
|
Ian Mackie, Shinya Sato |
|
Volume 61: Graph Computation Models 2012 |
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation |
Abstract
PDF
|
Katarína Smoleňová, Winfried Kurth, Paul-Henry Cournède |
|
Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) |
Parsing BDD Stories for Automated Verification of Software Artefacts |
Abstract
PDF
|
Thiago Rocha Silva, Brian Fitzgerald |
|
Volume 70: Automated Verification of Critical Systems 2014 |
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors |
Abstract
PDF
|
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns |
|
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) |
Permissive strategies in timed automata and games |
Abstract
PDF
|
Patricia Bouyer, Erwin Fang, Nicolas Markey |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Polymorphic Protocols for Fighting Bots |
Abstract
PDF
|
August See |
|
Volume 34: Software Modeling in Education at MODELS 2010 |
Position Paper: m2n—A Tool for Translating Models to Natural Language Descriptions |
Abstract
PDF
|
Petra Brosch, Andrea Randak |
|
Volume 52: Software Modeling in Education 2011 |
Position Paper: Software Modeling Education |
Abstract
Untitled ()
PDF
|
Martina Seidl, Peter J. Clarke |
|
Volume 46: Automated Verification of Critical Systems 2011 |
Positioning Verfification in the Context of Software/System Certification |
Abstract
PDF
|
Marc Bender, Tom Maibaum, Mark Lawford, Alan Wassyng |
|
Volume 46: Automated Verification of Critical Systems 2011 |
Preface |
Details
PDF
|
Alexander Romanovsky, Cliff Jones, Jens Bendiposto, Michael Leuschel |
|
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 |
Preface |
Details
PDF
|
Julia Padberg, Kathrin Hoffmann |
|
Volume 53: Automated Verification of Critical Systems 2012 |
Preface |
Details
PDF
|
Gerald Lüttgen, Stephan Merz |
|
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 |
Preface |
Details
PDF
|
Luis Barbosa, Dimitrios Settas |
|
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 |
Preface |
Abstract
PDF
|
Michael Zapf, Florian Evers |
|
661 - 720 of 888 Items |
<< < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |