Electronic Communications of the EASST| Issue | Title | |
| Volume 45: Formal Methods for Interactive Systems 2011 | Abstract Models and Cognitive Mismatch in Formal Verification | Abstract PDF |
| Rimvydas Rukšėnas, Paul Curzon | ||
| Volume 31: Visual Formalisms for Patterns 2010 | A Generic Technique for Domain-Specific Visual Language Model Refactoring to Patterns | Abstract PDF |
| Karen Li, John Hosking, John Grundy | ||
| Volume 44: OCL and Textual Modelling 2011 | Aligning OCL with UML | Abstract PDF |
| Edward Daniel Willink | ||
| Volume 44: OCL and Textual Modelling 2011 | An Architecture Description Language for Embedded Hardware Platforms | Abstract PDF |
| Guillaume Savaton, Jean-Luc Béchennec, Mikaël Briday, Rola Kassem | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Application Conditions for Reactive Systems with Applications to Bisimulation Theory | Abstract PDF |
| Mathias Hülsbusch | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | A Process Algebraic Description of a Temporal Wireless Network Protocol | Abstract PDF |
| Colm Bhandal, Melanie Bouroche, Arthur Hughes | ||
| Volume 31: Visual Formalisms for Patterns 2010 | Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse | Abstract PDF |
| Karen Li, John Hosking, John Grundy, Tony Ly, Brian Webb | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Automated Model Synchronization: A Case Study on UML with Maude | Abstract PDF |
| Artur Boronat, José Meseguer | ||
| Volume 39: Graph Computation Models 2010 | A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation | Abstract PDF |
| Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | A visual language for temporal specifications based on Spider diagrams | Abstract PDF |
| Paolo Bottoni, Andrew Fish | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Avocs2010 Preface | Details PDF |
| Jens Bendisposto, Michael Leuschel, Markus Roggenbach | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Capturing the distinction between task and device errors in a formal model of user behaviour | Abstract PDF |
| Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Cox, Ann Blandford, Duncan Brumby | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation | Abstract PDF |
| Dominique Duval, Rachid Echahed, Frederic Prost | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems | Abstract PDF |
| Antonio Cerone | ||
| Volume 39: Graph Computation Models 2010 | Coinductive Graph Representation: the Problem of Embedded Lists | Abstract PDF |
| Celia Picard, Ralph Matthes | ||
| Volume 39: Graph Computation Models 2010 | Construction of Pushout Complements in the Category of Hypergraphs | Abstract PDF |
| Marvin Heumüller, Salil Joshi, Barbara König, Jan Stückrath | ||
| Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 | Context awareness: Challenges and opportunities in modern smartphone use | Abstract PDF |
| Nearchos Paspallis, Gabriel Panis | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages | Abstract PDF |
| H. J. Sander Bruggink, Mathias Hülsbusch | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Dependable keyed data entry for interactive systems | Abstract PDF |
| Harold Thimbleby, Andy Gimblett | ||
| Volume 44: OCL and Textual Modelling 2011 | Dynamic Validation of OCL Constraints with mOdCL | Abstract PDF |
| Manuel Roldan, Francisco Durán | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems | Abstract PDF |
| Christoph Blume | ||
| Volume 31: Visual Formalisms for Patterns 2010 | Enforcement of Patterns by Constraint-Aware Model Transformations | Abstract PDF |
| Yngve Lamo, Adrian Rutle, Florian Mantz | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques | Abstract PDF |
| Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang | ||
| Volume 44: OCL and Textual Modelling 2011 | Extending ASSL: Making UML Metamodel-based Workflows executable | Abstract PDF |
| Jens Brüning, Lars Hamann, Andreas Wolff | ||
| Volume 44: OCL and Textual Modelling 2011 | Extending OCL Operation Contracts with Objective Functions | Abstract PDF |
| Matthias P. Krieger, Achim D. Brucker | ||
| Volume 40: Petri Nets and Graph Transformations 2010 | Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations | Abstract PDF |
| Tony Modica, Karsten Gabriel, Kathrin Hoffmann | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Formal Modeling and Analysis for Interactive Hybrid Systems | Abstract PDF |
| Ellen J Bass, Karen M Feigh, Elsa Gunter, John M Rushby | ||
| Volume 40: Petri Nets and Graph Transformations 2010 | Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories | Abstract PDF |
| Maria Maximova, Hartmut Ehrig, Claudia Ermel | ||
| Volume 39: Graph Computation Models 2010 | Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions | Abstract PDF |
| Ulrike Golas, Hartmut Ehrig, Frank Herrmann | ||
| Volume 40: Petri Nets and Graph Transformations 2010 | Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks | Abstract PDF |
| Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg | ||
| Volume 39: Graph Computation Models 2010 | Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars | Abstract PDF |
| Berthold Hoffmann, Mark Minas | ||
| Volume 39: Graph Computation Models 2010 | Graph Computation Models | Details PDF |
| Rachid Echahed, Annegret Habel, Mohamed Mosbah | ||
| Volume 39: Graph Computation Models 2010 | Incremental update of constraint-compliant policy rules | Abstract PDF |
| Paolo Bottoni, Andrew Fish, Francesco Parisi Presicce | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Local Confluence Analysis of Consistent EMF Transformations | Abstract PDF |
| Enrico Biermann | ||
| Volume 39: Graph Computation Models 2010 | Minimizing Finite Automata with Graph Programs | Abstract PDF |
| Detlef Plump, Robin Suri, Ambuj Singh | ||
| Volume 44: OCL and Textual Modelling 2011 | Modeling the OCL Standard Library | Abstract PDF |
| Edward Daniel Willink | ||
| 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 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 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 44: OCL and Textual Modelling 2011 | OCL-based Runtime Monitoring of JVM hosted Applications | Abstract PDF |
| Lars Hamann, Martin Gogolla, Mirco Kuhlmann | ||
| 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 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 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 41: Graph Transformation and Visual Modeling Techniques 2011 | Preface | Details PDF |
| Fabio Gadducci, Leonardo Mariani | ||
| Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 | Preface | Details PDF |
| Gabriel Hermosillo, Russel Nzekwa, Michael Wagner | ||
| Volume 40: Petri Nets and Graph Transformations 2010 | Preface | Abstract PDF |
| Claudia Ermel, Kathrin Hoffmann | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Preface | Abstract PDF |
| Martina Seidl, Peter J. Clarke | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Preface | Details PDF |
| Andrea Corradini | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Preface for FMIS 2011 | Details PDF |
| Judy Bowen, Steve Reeves | ||
| Volume 44: OCL and Textual Modelling 2011 | Preface (OCL 2011 Proceedings) | Abstract PDF |
| Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Propagation of Constraints along Model Transformations Based on Triple Graph Grammars | Abstract PDF |
| Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Realizing Impure Functions in Interaction Nets | Abstract PDF |
| Eugen Jiresch | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Role Allocation and Scheme in Software Engineering Course Projects | Abstract PDF |
| Ghafour Alipour | ||
| Volume 40: Petri Nets and Graph Transformations 2010 | RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets | Abstract PDF |
| Claudia Ermel, Sarkaft Shareef, Winzent Fischer | ||
| Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium | Search-Based Refactoring using Unfolding of Graph Transformation Systems | Abstract PDF |
| Fawad Qayum, Reiko Heckel | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Supporting Mobile Application Development with Model-Driven Emulation | Abstract PDF |
| Judy Bowen, Annika Hinze | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Teaching Model Driven Language Handling | Abstract PDF |
| Terje Gjøsæter, Andreas Prinz | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Teaching Object-Oriented Modelling using Concept Maps | Abstract PDF |
| Ven Yu Sien | ||
| Volume 34: Software Modeling in Education at MODELS 2010 | Teaching OCL Standard Library: First Part of an OCL 2.x Course | Abstract PDF |
| Joanna Chimiak-Opoka, Birgit Demuth | ||
| 1 - 60 of 530 Items | 1 2 3 4 5 6 7 8 9 > >> | |
ISSN: 1863-2122