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, Tomás 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 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
Copyright © Mon Mar 15 04:01:00 2010
by Michael Ley (ley@uni-trier.de)
