Volume 18,
Number 1,
March 2008
- Xi-Ren Cao:
Editorial.
1
Electronic Edition (link) BibTeX
- Anne Bouillard, Eric Thierry:
An Algorithmic Toolbox for Network Calculus.
3-49
Electronic Edition (link) BibTeX
- Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Compositionally Progressive Solutions of Synchronous FSM Equations.
51-89
Electronic Edition (link) BibTeX
- Olivier Marchetti, Alix Munier Kordon:
Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness.
91-109
Electronic Edition (link) BibTeX
- Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
Analyzing Security Protocols Using Time-Bounded Task-PIOAs.
111-159
Electronic Edition (link) BibTeX
Volume 18,
Number 2,
June 2008
Special Issue on Discrete Event Methodologies for Hybrid Systems
- Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon:
DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems.
161-162
Electronic Edition (link) BibTeX
- Antoine Girard, A. Agung Julius, George J. Pappas:
Approximate Simulation Relations for Hybrid Systems.
163-179
Electronic Edition (link) BibTeX
- Jan Lunze:
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models.
181-210
Electronic Edition (link) BibTeX
- Bruno Gaujal, Florence Perronnin, Rémi Bertin:
Perfect Simulation of a Class of Stochastic Hybrid Systems with an Application to Peer to Peer Systems.
211-240
Electronic Edition (link) BibTeX
- Stephanie Geist, Dmitry Gromov, Jörg Raisch:
Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs.
241-262
Electronic Edition (link) BibTeX
- Jing Xu, Laura Recalde, Manuel Silva:
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.
263-283
Electronic Edition (link) BibTeX
Volume 18,
Number 3,
September 2008
- Sarah-Jane Whittaker, Karen Rudie:
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems.
285-321
Electronic Edition (link) BibTeX
- George Jiroveanu, René K. Boel, Behzad Bordbar:
On-Line Monitoring of Large Petri Net Models Under Partial Observation.
323-354
Electronic Edition (link) BibTeX
- Eckart Mayer, Utz-Uwe Haus, Jörg Raisch, Robert Weismantel:
Throughput-Optimal Sequences for Cyclically Operated Plants.
355-383
Electronic Edition (link) BibTeX
- Andrea Paoli, Stéphane Lafortune:
Diagnosability Analysis of a Class of Hierarchical State Machines.
385-413
Electronic Edition (link) BibTeX
- Weilin Wang, Stéphane Lafortune, Feng Lin:
On the Minimization of Communication in Networked Systems with a Central Station.
415-443
Electronic Edition (link) BibTeX
Volume 18,
Number 4,
December 2008
First International Conference on Performance Evaluation Methodologies and Tools
Copyright © Sat May 16 23:56:25 2009
by Michael Ley (ley@uni-trier.de)
