Electronic Communications of the EASST
| Issue | Title | |
| Volume 21: Multi-Paradigm Modeling 2009 | Code Generation with the Model Transformation of Visual Behavior Models | Abstract PDF |
| Tamás Mészáros, Tihamér Levendovszky, Gergely Mezei | ||
| Volume 21: Multi-Paradigm Modeling 2009 | A Pattern-Based Approach to Manage Model References | Abstract PDF |
| Tarja Systa, Juanjuan Jiang | ||
| Volume 21: Multi-Paradigm Modeling 2009 | DSL Composition for model-based test generation | Abstract PDF |
| Bruno Fontes Barroca, Levi Silva Lucio, Vasco Moreira Amaral, Luis Miguel Pedro, Didier Buchs | ||
| Volume 21: Multi-Paradigm Modeling 2009 | Modeling and Formal Verification of a Passive Optical Network on Chip Behavior | Abstract PDF |
| Luiza Gheorghe Iugan, Gabriela Nicolescu, Ian O'Connor | ||
| Volume 21: Multi-Paradigm Modeling 2009 | Model-Based Engineering of Supervisory Controllers using CIF | Abstract PDF |
| Ramon R.H. Schiffelers, Rolf J.M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda | ||
| Volume 20: Foundations and Techniques for Open Source Certification 2009 | Open Source Certification and Educational Process | Abstract PDF |
| Alexey Khoroshilov | ||
| Volume 20: Foundations and Techniques for Open Source Certification 2009 | Automatically Finding Bugs in Open Source Programs | Abstract PDF |
| Vladimir Nesov | ||
| Volume 20: Foundations and Techniques for Open Source Certification 2009 | Understanding how OSS Development Models can influence assessment methods | Abstract PDF |
| Richard Taylor | ||
| Volume 20: Foundations and Techniques for Open Source Certification 2009 | Open-DO: Open Framework for Critical Systems | Abstract PDF |
| Jose F Ruiz, Cyrille Comar | ||
| Volume 20: Foundations and Techniques for Open Source Certification 2009 | Automatic Analysis of Applications for Portability Across Linux Distributions | Abstract PDF |
| Vladimir Rubanov | ||
| Volume 20: Foundations and Techniques for Open Source Certification 2009 | Towards a metric for Open Source Software Quality | Abstract PDF |
| Siraj Ahmed Shaikh, Antonio Cerone | ||
| Volume 20: Foundations and Techniques for Open Source Certification 2009 | Model-based Testing and Analysis of Coordinated Components | Abstract PDF |
| Gabriel Ciobanu, Dorel Lucanu | ||
| Volume 20: Foundations and Techniques for Open Source Certification 2009 | Preface | Details PDF |
| Luis Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Preface | Details PDF |
| Markus Roggenbach | ||
| Volume 23: Automated Verification of Critical Systems 2009 | An Extension of the Inverse Method to Probabilistic Timed Automata | Abstract PDF |
| Étienne André, Jeremy Sproston, Laurent Fribourg | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Faster FDR Counterexample Generation Using SAT-Solving | Abstract PDF |
| Hristina Palikareva, Joel Ouaknine, Bill Roscoe | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Towards SMV Model Checking of Signal (multi-clocked) Specifications | Abstract PDF |
| Julio C. Peralta, Thierry Gautier | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Verification of safety requirements for program code using data abstraction | Abstract PDF |
| Frank Stappers, Michel Reniers | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form | Abstract PDF |
| Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS | Abstract PDF |
| Reynald Affeldt, David Nowak, Kiyoshi Yamada | ||
| Volume 23: Automated Verification of Critical Systems 2009 | A decidable class of verification conditions for programs with higher order store | Abstract PDF |
| Nathaniel Charlton, Bernhard Reus | ||
| Volume 23: Automated Verification of Critical Systems 2009 | High-level Proofs about Low-level Programs | Abstract PDF |
| Holger Gast, Julia Trieflinger | ||
| Volume 23: Automated Verification of Critical Systems 2009 | User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? | Abstract PDF |
| Christoph Lüth | ||
| Volume 23: Automated Verification of Critical Systems 2009 | A workbench for preprocessor design and evaluation: toward benchmarks for parity games | Abstract PDF |
| Michael Huth, Nir Piterman, Huaxin Wang | ||
| Volume 23: Automated Verification of Critical Systems 2009 | A coinductive approach to verified exact real number computation | Abstract PDF |
| Ulrich Berger, Sion Lloyd | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Proofs-as-Programs in Computable Analysis | Abstract PDF |
| Ulrich Berger | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Mobile CSP||B | Abstract PDF |
| Beeta Vajar, Steve Schneider, Helen Treharne | ||
| Volume 23: Automated Verification of Critical Systems 2009 | Automatically Generating CSP Models for Communicating Haskell Processes | Abstract PDF |
| Neil Christopher Charles Brown | ||
| Volume 22: Formal Methods for Interactive Systems 2009 | UI-Design Driven Model-Based Testing | Abstract PDF |
| Judy Bowen, Steve Reeves | ||
| Volume 22: Formal Methods for Interactive Systems 2009 | Towards the Verification of Pervasive Systems | Abstract PDF |
| Myrto Arapinis, Muffy Calder, Louise Dennis, Michael Fisher, Philip Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin | ||
| Volume 22: Formal Methods for Interactive Systems 2009 | Tightly coupled verification of pervasive systems | Abstract PDF |
| Muffy Calder, Phil Gray, Chris Unsworth | ||
| Volume 22: Formal Methods for Interactive Systems 2009 | Markov Abstractions for Probabilistic Pi-Calculus | Abstract PDF |
| Hugh Anderson, Gabriel Ciobanu | ||
| Volume 22: Formal Methods for Interactive Systems 2009 | A Logical Framework for Trust-Related Emotions | Abstract PDF |
| Jean-François Bonnefon, Dominique Longin, Manh Hung Nguyen | ||
| Volume 22: Formal Methods for Interactive Systems 2009 | Preface | Details PDF |
| Michael Harrison, Mieke Massink | ||
| Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 | Requirements Analysis for an Integrated OCL Development Environment | Abstract PDF |
| Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette | ||
| Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 | A MOP Based DSL for Testing Java Programs using OCL | Abstract PDF |
| Tony Clark | ||
| Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 | Checking Unsatisfiability for OCL Constraints | Abstract PDF |
| Manuel Clavel, Marina Egea, Miguel Angel García de Dios | ||
| Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 | Declarative Models for Business Processes and UI Generation using OCL | Abstract PDF |
| Jens Brüning, Andreas Wolff | ||
| Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 | Specifying OCL Constraints on Process Instantiations | Abstract PDF |
| Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl | ||
| Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 | OCL contracts for the verification of model transformations | Abstract PDF |
| Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam | ||
| Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 | Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009 | Details PDF |
| Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault, Alexander Knapp | ||
| Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 | Generation of Formal Model Metrics for MOF based Domain Specific Languages | Abstract PDF |
| Christian Hein, Marcus Engelhardt, Tom Ritter, Michael Wagner | ||
| Volume 25: Visual Formalisms for Patterns 2009 | Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09 | Details PDF |
| Paolo Bottoni, Esther Guerra, Juan de Lara | ||
| Volume 25: Visual Formalisms for Patterns 2009 | Visualization of Business Process Modeling Anti Patterns | Abstract PDF |
| Ralf Laue, Ahmed Awad | ||
| Volume 25: Visual Formalisms for Patterns 2009 | Towards Generalizing Visual Process Patterns | Abstract PDF |
| Christian Soltenborn, Gregor Engels | ||
| Volume 25: Visual Formalisms for Patterns 2009 | Design Pattern Modeling with Constraint Relaxation | Abstract PDF |
| Tamas Vajk, Tamas Meszaros, Tihamer Levendovszky | ||
| Volume 25: Visual Formalisms for Patterns 2009 | Pattern-Based Layout Specifications for Visual Language Editors | Abstract PDF |
| Sonja Maier, Mark Minas | ||
| Volume 25: Visual Formalisms for Patterns 2009 | Patterns as Abstractions of Spatial Axes | Abstract PDF |
| Jens Gulden | ||
| Volume 25: Visual Formalisms for Patterns 2009 | An Active Pattern Infrastructure for Domain-Specific Languages | Abstract PDF |
| Tihamer Levendovszky, Gabor Karsai | ||
| Volume 25: Visual Formalisms for Patterns 2009 | Pattern Catalogs using the Pattern Language Meta Language | Abstract PDF |
| Andreas Wolff, Peter Forbrig | ||
| Volume 25: Visual Formalisms for Patterns 2009 | The Pattern Instance Notation: A Simple Hierarchical Visual Notation for the Dynamic Visualization and Comprehension of Software Patterns | Abstract PDF |
| Jason McColm Smith | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | Parallelism and Concurrency Theorems for Rules with Nested Application Conditions | Abstract PDF |
| Hartmut Ehrig, Annegret Habel, Leen Lambers | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | On Judgements and Propositions | Abstract PDF |
| Bernd Mahr | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | Conditional Adaptive Star Grammars | Abstract PDF |
| Berthold Hoffmann | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework | Abstract PDF |
| Enrico Biermann, Claudia Ermel, Gabriele Taentzer | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization | Abstract PDF |
| Sabine Kuske, Melanie Luderer | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | Generation of Celtic Key Patterns with Tree-based Collage Grammars | Abstract PDF |
| Renate Klempien-Hinrichs, Caroline von Totth | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | Assemblies as Graph Processes | Abstract PDF |
| Dirk Janssens | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | Algebraic Model Checking | Abstract PDF |
| Peter Padawitz | ||
| Volume 26: Manipulation of Graphs, Algebras and Pictures | Towards the Tree Automata Workbench Marbles | Abstract PDF |
| Frank Drewes | ||
| 1 - 60 of 888 Items | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |