Journal: Electronic Notes in Theoretical Computer Science

Volume 253, Issue 7

1 -- 2Torbjörn Ekman, Jurgen J. Vinju. Preface
3 -- 18Tristan O. R. Allwood, Susan Eisenbach. Strengthening the Zipper
19 -- 35Jacob Andersen, Claus Brabrand. Syntactic Language Extension via an Algebra of Languages and Transformations
37 -- 50Anya Helene Bagge, Magne Haveraaen. Interfacing Concepts: Why Declaration Style Shouldn t Matter
51 -- 64Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera. Typed Transformations of Typed Grammars: The Left Corner Transform
65 -- 74John Boyland, Daniel Spiewak. TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator
75 -- 88Tony Clark, Laurence Tratt. Formalizing Homogeneous Language Embeddings
89 -- 104John M. Dennis, Elizabeth R. Jessup, William M. Waite. SLAMM - Automating Memory Analysis for Numerical Algorithms
105 -- 120Luc Engelen, Mark van den Brand. Integrating Textual and Graphical Modelling Languages
121 -- 134Markus Herrmannsdörfer, Benjamin Hummel. Library Concepts for Model Reuse
135 -- 148Trevor Jim, Yitzhak Mandelbaum. Efficient Earley Parsing with Regular Right-hand Sides
149 -- 163Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser. Domain-Specific Languages for Composable Editor Plugins
165 -- 175Adrián Riesco, Juan Rodríguez-Hortalá. A Natural Implementation of Plural Semantics in Maude
177 -- 189Elizabeth Scott, Adrian Johnstone. GLL Parsing
191 -- 204Jeremy Singer, Gavin Brown, Mikel Luján, Adam Pocock, Paraskevas Yiapanis. Fundamental Nano-Patterns to Characterize and Classify Java Methods
205 -- 219Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser. A Pure Object-Oriented Embedding of Attribute Grammars

Volume 253, Issue 6

1 -- 2Irek Ulidowski. Preface
3 -- 16Tommaso Toffoli. From Such Simple a Beginning: The Momentous Consequences of Physics Microscopic Reversibility for Communication and Computation - and Almost Anything Else
17 -- 22Alexis De Vos. Reversible Computer Hardware
23 -- 31Kenichi Morita. Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract)
33 -- 56Bill Stoddart, Robert Lynas, Frank Zeyda. A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages
57 -- 70Robert Wille, Rolf Drechsler. Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
71 -- 81Tetsuo Yokoyama. Reversible Computation and Reversible Programming Languages

Volume 253, Issue 5

1 -- 2Elvira Albert, Samir Genaim. Preface
3 -- 14Stefan Brunthaler. Virtual-Machine Abstraction and Optimization Techniques
15 -- 30Laurent Hubert, David Pichardie. Soundly Handling Static Fields: Issues, Semantics and Analysis
31 -- 46Xin Li, Mizuhito Ogawa. An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
47 -- 64Phil McGachey, Antony L. Hosking, J. Eliot B. Moss. Pervasive Load-Time Transformation for Transparently Distributed Java
65 -- 82Jorge Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo. User-Definable Resource Usage Bounds Analysis for Java Bytecode
83 -- 96Étienne Payet, Fausto Spoto. Experiments with Non-Termination Analysis for Java Bytecode
97 -- 111Arno Puder, Jessica Lee. Towards an XML-based Bytecode Level Transformation Framework
113 -- 127Aleksy Schubert, Daria Walukiewicz-Chrzaszcz. The Non-Interference Protection in BML
129 -- 144Fausto Spoto, Lunjin Lu, Fred Mesnard. Using CLP Simplifications to Improve Java Bytecode Termination Analysis
145 -- 151Massimo Bartoletti, Gabriele Costa, Roberto Zunino. Jalapa: Securing Java with Local Policies: Tool Demonstration
153 -- 159Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe. The S3MS.NET Run Time Monitor: Tool Demonstration

Volume 253, Issue 4

1 -- 2Andrea Corradini. Preface
3 -- 15Fabio Gadducci. A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
17 -- 38Oana Andrei, hélène-kirchner. A Port Graph Calculus for Autonomic Computing and Invariant Verification
39 -- 54Bahareh Badban. A Term Rewriting Technique for Decision Graphs
55 -- 71Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker. Recursive Functions with Pattern Matching in Interaction Nets
73 -- 90Abubakar Hassan, Ian Mackie, Shinya Sato. Compilation of Interaction Nets
91 -- 111Frank Raiser, Thom W. Frühwirth. Strong Joinability Analysis for Graph Transformation Systems in CHR
113 -- 128Ruben Duarte Viegas, Francisco Azevedo. Lazy Constraint Imposing for Improving the Path Constraint

Volume 253, Issue 3

1 -- 2Christel Baier, Alessandra Di Pierro. Preface
3 -- 23Marco Bernardo. Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes
25 -- 31Ulrich Fahrenberg, Kim Guldstrand Larsen. Discounting in Time
33 -- 44Amar Aissani. An M:::X:::/G/1 Energetic Retrial Queue with Vacations and it s Control
45 -- 71Sergio Giro, Pedro R. D Argenio. On the Expressive Power of Schedulers in Distributed Probabilistic Systems
73 -- 82Yuxin Deng, Wenjie Du. The Kantorovich Metric in Computer Science: A Brief Survey
83 -- 98I. Mura, Davide Prandi, Corrado Priami, Alessandro Romanel. Exploiting non-Markovian Bio-Processes
99 -- 118Anya Tafliovich, Eric C. R. Hehner. Programming with Quantum Communication
119 -- 141Chunyan Mu, David Clark. An Interval-based Abstraction for Quantifying Information Flow
143 -- 165Bruno Montalto, Carlos Caleiro. Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
167 -- 185Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro. From Biochemistry to Stochastic Processes
187 -- 201Luca Bortolussi, Maria Grazia Vigliotti. CoBiC: Context-dependent Bioambient Calculus

Volume 253, Issue 2

1 -- 0Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko. Preface
3 -- 19Percy Antonio Pari Salas, Padmanabhan Krishnan. Automated Software Testing of Asynchronous Systems
21 -- 36Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim. Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay
37 -- 51Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam. On the Use of Uniform Random Generation of Automata for Testing
53 -- 69Bernhard K. Aichernig, Harald Brandl, Franz Wotawa. Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
71 -- 86Willibald Krenn, Bernhard K. Aichernig. Test Case Generation by Contract Mutation in Spec#
87 -- 99Anika Schumann, Martin Sachenbacher, Jinbo Huang. Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs
101 -- 116Leonidas Tsiopoulos, Manoranjan Satpathy. Model Based Testing of a Network-on-Chip Component
117 -- 132Frédéric Dadeau, Régis Tissot. jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines

Volume 253, Issue 1

1 -- 2Jens Happe, Barbora Zimmerova. Preface
3 -- 21Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. From Architectural to Behavioural Specification of Services
23 -- 38Heiko Koziolek, Franz Brosch. Parameter Dependencies for Component Reliability Specifications
39 -- 55Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider. On the Specification of Full Contracts
57 -- 75Michael Kuperberg, Fouad Omri. Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods
77 -- 93Anne Martens, Heiko Koziolek. Automatic, Model-Based Software Performance Improvement for Component-based Software Designs
95 -- 110Simona Motogna, Ioan Lazar, Bazil Pârv, István Gergely Czibula. An Agile MDA Approach for Service-Oriented Components
111 -- 126Sebti Mouelhi, Samir Chouali, Hassan Mountassir. Refinement of Interface Automata Strengthened by Action Semantics
127 -- 143Olaf Owe, Gerardo Schneider. Wrap Your Objects Safely
145 -- 160Pavel Parizek, Jirí Adámek, Tomás Kalibera. Automated Construction of Reasonable Environment for Java Components
161 -- 178Davor Slutej, John HÃ¥kansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson. Analyzing a Pattern-Based Model of a Real-Time Turntable System
179 -- 193Yuhong Zhao, Franz-Josef Rammig. Model-based Runtime Verification Framework