Electronic Communications of the EASST
| 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 > >> | |