Volume 253,
Number 1,
October 2009
- Jens Happe, Barbora Zimmerova:
Preface.
1-2
- Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
From Architectural to Behavioural Specification of Services.
3-21
- Heiko Koziolek, Franz Brosch:
Parameter Dependencies for Component Reliability Specifications.
23-38
- Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider:
On the Specification of Full Contracts.
39-55
- Michael Kuperberg, Fouad Omri:
Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods.
57-75
- Anne Martens, Heiko Koziolek:
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs.
77-93
- Simona Motogna, Ioan Lazar, Bazil Pârv, István Gergely Czibula:
An Agile MDA Approach for Service-Oriented Components.
95-110
- Sebti Mouelhi, Samir Chouali, Hassan Mountassir:
Refinement of Interface Automata Strengthened by Action Semantics.
111-126
- Olaf Owe, Gerardo Schneider:
Wrap Your Objects Safely.
127-143
- Pavel Parizek, Jirí Adámek, Tomas Kalibera:
Automated Construction of Reasonable Environment for Java Components.
145-160
- Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
Analyzing a Pattern-Based Model of a Real-Time Turntable System.
161-178
- Yuhong Zhao, Franz-Josef Rammig:
Model-based Runtime Verification Framework.
179-193
Volume 253,
Number 2,
October 2009
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface.
1
- Percy Antonio Pari Salas, Padmanabhan Krishnan:
Automated Software Testing of Asynchronous Systems.
3-19
- Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim:
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay.
21-36
- Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam:
On the Use of Uniform Random Generation of Automata for Testing.
37-51
- Bernhard K. Aichernig, Harald Brandl, Franz Wotawa:
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models.
53-69
- Willibald Krenn, Bernhard K. Aichernig:
Test Case Generation by Contract Mutation in Spec#.
71-86
- Anika Schumann, Martin Sachenbacher, Jinbo Huang:
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs.
87-99
- Leonidas Tsiopoulos, Manoranjan Satpathy:
Model Based Testing of a Network-on-Chip Component.
101-116
- Frédéric Dadeau, Régis Tissot:
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines.
117-132
Volume 253,
Number 3,
November 2009
- Christel Baier, Alessandra Di Pierro:
Preface.
1-2
- Marco Bernardo:
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes.
3-23
- Ulrich Fahrenberg, Kim Guldstrand Larsen:
Discounting in Time.
25-31
- Amar Aissani:
An MX/G/1 Energetic Retrial Queue with Vacations and it's Control.
33-44
- Sergio Giro, Pedro R. D'Argenio:
On the Expressive Power of Schedulers in Distributed Probabilistic Systems.
45-71
- Yuxin Deng, Wenjie Du:
The Kantorovich Metric in Computer Science: A Brief Survey.
73-82
- I. Mura, Davide Prandi, Corrado Priami, Alessandro Romanel:
Exploiting non-Markovian Bio-Processes.
83-98
- Anya Tafliovich, Eric C. R. Hehner:
Programming with Quantum Communication.
99-118
- Chunyan Mu, David Clark:
An Interval-based Abstraction for Quantifying Information Flow.
119-141
- Bruno Montalto, Carlos Caleiro:
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities.
143-165
- Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro:
From Biochemistry to Stochastic Processes.
167-185
- Luca Bortolussi, Maria Grazia Vigliotti:
CoBiC: Context-dependent Bioambient Calculus.
187-201
Volume 253,
Number 4,
November 2009
Volume 253,
Number 5,
December 2009
- Elvira Albert, Samir Genaim:
Preface.
1-2
- Stefan Brunthaler:
Virtual-Machine Abstraction and Optimization Techniques.
3-14
- Laurent Hubert, David Pichardie:
Soundly Handling Static Fields: Issues, Semantics and Analysis.
15-30
- Xin Li, Mizuhito Ogawa:
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java.
31-46
- Phil McGachey, Antony L. Hosking, J. Eliot B. Moss:
Pervasive Load-Time Transformation for Transparently Distributed Java.
47-64
- Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo:
User-Definable Resource Usage Bounds Analysis for Java Bytecode.
65-82
- Étienne Payet, Fausto Spoto:
Experiments with Non-Termination Analysis for Java Bytecode.
83-96
- Arno Puder, Jessica Lee:
Towards an XML-based Bytecode Level Transformation Framework.
97-111
- Aleksy Schubert, Daria Walukiewicz-Chrzaszcz:
The Non-Interference Protection in BML.
113-127
- Fausto Spoto, Lunjin Lu, Fred Mesnard:
Using CLP Simplifications to Improve Java Bytecode Termination Analysis.
129-144
- Massimo Bartoletti, Gabriele Costa, Roberto Zunino:
Jalapa: Securing Java with Local Policies: Tool Demonstration.
145-151
- Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe:
The S3MS.NET Run Time Monitor: Tool Demonstration.
153-159
Volume 253,
Number 6,
March 2010
- Irek Ulidowski:
Preface.
1-2
- Tommaso Toffoli:
From Such Simple a Beginning: The Momentous Consequences of Physics' Microscopic Reversibility for Communication and Computation - and Almost Anything Else.
3-16
- Alexis De Vos:
Reversible Computer Hardware.
17-22
- Kenichi Morita:
Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract).
23-31
- Bill Stoddart, Robert Lynas, Frank Zeyda:
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages.
33-56
- Robert Wille, Rolf Drechsler:
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic.
57-70
- Tetsuo Yokoyama:
Reversible Computation and Reversible Programming Languages.
71-81
Volume 253,
Number 7,
September 2010
Language Descriptions, Tools and Applications, LDTA 2009, York, England, March 28-29, 2009. Proceedings
- Torbjörn Ekman, Jurgen J. Vinju:
Preface.
1-2
- Tristan O. R. Allwood, Susan Eisenbach:
Strengthening the Zipper.
3-18
- Jacob Andersen, Claus Brabrand:
Syntactic Language Extension via an Algebra of Languages and Transformations.
19-35
- Anya Helene Bagge, Magne Haveraaen:
Interfacing Concepts: Why Declaration Style Shouldn't Matter.
37-50
- Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera:
Typed Transformations of Typed Grammars: The Left Corner Transform.
51-64
- John Boyland, Daniel Spiewak:
TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator.
65-74
- Tony Clark, Laurence Tratt:
Formalizing Homogeneous Language Embeddings.
75-88
- John M. Dennis, Elizabeth R. Jessup, William M. Waite:
SLAMM - Automating Memory Analysis for Numerical Algorithms.
89-104
- Luc Engelen, Mark van den Brand:
Integrating Textual and Graphical Modelling Languages.
105-120
- Markus Herrmannsdörfer, Benjamin Hummel:
Library Concepts for Model Reuse.
121-134
- Trevor Jim, Yitzhak Mandelbaum:
Efficient Earley Parsing with Regular Right-hand Sides.
135-148
- Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser:
Domain-Specific Languages for Composable Editor Plugins.
149-163
- Adrián Riesco, Juan Rodríguez-Hortalá:
A Natural Implementation of Plural Semantics in Maude.
165-175
- Elizabeth Scott, Adrian Johnstone:
GLL Parsing.
177-189
- Jeremy Singer, Gavin Brown, Mikel Luján, Adam Pocock, Paraskevas Yiapanis:
Fundamental Nano-Patterns to Characterize and Classify Java Methods.
191-204
- Anthony M. Sloane, Lennart C. L. Kats, Eelco Visser:
A Pure Object-Oriented Embedding of Attribute Grammars.
205-219
Last update Sat May 26 06:15:27 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
