Volume 128,
Number 1,
May 2005
Proceedings of the Workshop on Structural Operational Semantics (SOS 2004)
Volume 128,
Number 2,
April 2005
Proceedings of the 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004)
- Jos C. M. Baeten, Flavio Corradini:
Preface.
1-3
Electronic Edition (link) BibTeX
- Rob J. van Glabbeek:
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract).
5-34
Electronic Edition (link) BibTeX
- Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of Components in System Computations.
35-52
Electronic Edition (link) BibTeX
- Suzana Andova, Tim A. C. Willemse:
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).
53-66
Electronic Edition (link) BibTeX
- Emmanuel Beffara, François Maurel:
Concurrent Nets: A Study of Prefixing in Process Calculi.
67-86
Electronic Edition (link) BibTeX
- Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
On the omega-language Expressive Power of Extended Petri Nets.
87-101
Electronic Edition (link) BibTeX
- Harald Fecher, Martin Steffen:
Characteristic mu-Calculus Formulas for Underspecified Transition Systems.
103-116
Electronic Edition (link) BibTeX
- Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
On the Expressive Power of Klaim-based Calculi.
117-130
Electronic Edition (link) BibTeX
- Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen:
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources.
131-150
Electronic Edition (link) BibTeX
- Reynald Affeldt, Naoki Kobayashi:
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes.
151-168
Electronic Edition (link) BibTeX
- Xudong Guan:
Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic.
169-183
Electronic Edition (link) BibTeX
- Iain Phillips, Maria Grazia Vigliotti:
Leader Election in Rings of Ambient Processes.
185-199
Electronic Edition (link) BibTeX
Volume 128,
Number 3,
April 2005
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC 2004)
- Lubos Brim, Martin Leucker:
Preface.
1-2
Electronic Edition (link) BibTeX
- Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.
3-18
Electronic Edition (link) BibTeX
- Rahul Kumar, Eric G. Mercer:
Load Balancing Parallel Explicit State Model Checking.
19-34
Electronic Edition (link) BibTeX
- Simona Orzan, Jaco van de Pol, Miguel Valero Espada:
A State Space Distribution Policy Based on Abstract Interpretation.
35-45
Electronic Edition (link) BibTeX
- Christophe Joubert, Radu Mateescu:
Distributed On-the-Fly Equivalence Checking.
47-62
Electronic Edition (link) BibTeX
- Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa:
Distributed Partial Order Reduction of State Spaces.
63-74
Electronic Edition (link) BibTeX
- Yulik Feldman, Nachum Dershowitz, Ziyad Hanna:
Parallel Multithreaded Satisfiability Solver: Design and Implementation.
75-90
Electronic Edition (link) BibTeX
- Fredrik Holmén, Martin Leucker, Marcus Lindström:
UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.
91-105
Electronic Edition (link) BibTeX
- Cornelia P. Inggs, Howard Barringer:
CTL ast Model Checking on a Shared-Memory Architecture.
107-123
Electronic Edition (link) BibTeX
- Martin Lange, Hans-Wolfgang Loidl:
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop.
125-138
Electronic Edition (link) BibTeX
Volume 128,
Number 4,
April 2005
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004)
- Jeremy T. Bradley, William J. Knottenbelt:
Preface.
1-2
Electronic Edition (link) BibTeX
- Nil Geisweiller, Jeremie Bonte:
Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking.
3-24
Electronic Edition (link) BibTeX
- Gábor Horváth, Miklós Telek:
Analysis of a BMAP/D/1-Timer Multiplexer.
25-44
Electronic Edition (link) BibTeX
- Nigel Thomas:
Performability of a Secure Electronic Voting Algorithm.
45-58
Electronic Edition (link) BibTeX
- Carlo Bellettini, Lorenzo Capra, Mattia Monga:
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets.
59-77
Electronic Edition (link) BibTeX
- Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno:
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications.
79-99
Electronic Edition (link) BibTeX
- Lucas Baldo, Leonardo Brenner, Luiz Gustavo Fernandes, Paulo Fernandes, Afonso Sales:
Performance Models For Master/Slave Parallel Programs.
101-121
Electronic Edition (link) BibTeX
- Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson:
Securing Statically-verified Communications Protocols Against Timing Attacks.
123-143
Electronic Edition (link) BibTeX
- Peter G. Harrison, Soraya Zertal:
Calibration of a Queueing Model of RAID Systems.
145-164
Electronic Edition (link) BibTeX
Volume 128,
Number 5,
May 2005
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models,
Languages,
and Systems (SecCo 2004)
- Riccardo Focardi, Gianluigi Zavattaro:
Preface.
1-2
Electronic Edition (link) BibTeX
- Lorenzo Bettini:
Data Privacy in Tuple Space Based Mobile Agent Systems.
3-16
Electronic Edition (link) BibTeX
- Chiara Braghin, Agostino Cortesi:
Flow-sensitive Leakage Analysis in Mobile Ambients.
17-25
Electronic Edition (link) BibTeX
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Continuous-Time Probabilistic KLAIM.
27-38
Electronic Edition (link) BibTeX
- Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.
39-53
Electronic Edition (link) BibTeX
- Matteo Maffei:
Tags for Multi-Protocol Authentication.
55-63
Electronic Edition (link) BibTeX
- Andrea Omicini, Alessandro Ricci, Mirko Viroli:
RBAC for Organisation and Security in an Agent Coordination Infrastructure.
65-85
Electronic Edition (link) BibTeX
- Steve Kremer, Mark Ryan:
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks.
87-104
Electronic Edition (link) BibTeX
- Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi:
Team Automata for Security: - A Survey -.
105-119
Electronic Edition (link) BibTeX
Volume 128,
Number 6,
May 2005
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)
- Michael Huth:
Preface.
1-2
Electronic Edition (link) BibTeX
- Armelle Merlin, Gaétan Hains:
A Generic Cost Model for Concurrent and Data-parallel Meta-computing.
3-19
Electronic Edition (link) BibTeX
- Nils Klarlund, Richard J. Trefler:
Regularity Results for FIFO Channels.
21-36
Electronic Edition (link) BibTeX
- Lee Momtahan:
Towards a Small Model Theorem for Data Independent Systems in Alloy.
37-52
Electronic Edition (link) BibTeX
- Wan Fokkink, Jun Pang:
Simplifying Itai-Rodeh Leader Election for Anonymous Rings.
53-68
Electronic Edition (link) BibTeX
- Jean-François Raskin, Mathias Samuelides, Laurent Van Begin:
Games for Counting Abstractions.
69-85
Electronic Edition (link) BibTeX
- Christophe Darlot, Alain Finkel, Laurent Van Begin:
About Fast and TReX Accelerations.
87-103
Electronic Edition (link) BibTeX
- Aleksandar Dimovski, Ranko Lazic:
Software Model Checking Based on Game Semantics and CSP.
105-125
Electronic Edition (link) BibTeX
- Philippa J. Hopcroft, Guy H. Broadfoot:
Combining the Box Structure Development Method and CSP for Software Development.
127-144
Electronic Edition (link) BibTeX
- Franck Cassez, Olivier H. Roux:
Structural Translation from Time Petri Nets to Timed Automata.
145-160
Electronic Edition (link) BibTeX
- Alastair F. Donaldson, Alice Miller, Muffy Calder:
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis.
161-177
Electronic Edition (link) BibTeX
- Radu Siminiceanu, Gianfranco Ciardo:
Formal Verification of the NASA Runway Safety Monitor.
179-194
Electronic Edition (link) BibTeX
- Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny:
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
195-214
Electronic Edition (link) BibTeX
- Harald Fecher:
Truly Concurrent Logic via In-Between Specification.
215-230
Electronic Edition (link) BibTeX
- Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang:
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware.
231-246
Electronic Edition (link) BibTeX
- Paritosh K. Pandya:
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search.
247-262
Electronic Edition (link) BibTeX
- Cécile Braunstein, Emmanuelle Encrenaz:
CTL-Property Transformations Along an Incremental Design Process.
263-278
Electronic Edition (link) BibTeX
- Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham:
Efficient Model Checking of Hardware Using Conditioned Slicing.
279-294
Electronic Edition (link) BibTeX
- Marco Gribaudo, András Horváth:
Model Checking Functional and Performability Properties of Stochastic Fluid Models.
295-310
Electronic Edition (link) BibTeX
- Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Model-checking the Preservation of Temporal Properties upon Feature Integration.
311-324
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:20 2009
by Michael Ley (ley@uni-trier.de)
