Volume 18, Number 1, March 2008

• 
  Xi-Ren Cao: Editorial. 1
• 
  Anne Bouillard, Eric Thierry: An Algorithmic Toolbox for Network Calculus. 3-49
• 
  Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Compositionally Progressive Solutions of Synchronous FSM Equations. 51-89
• 
  Olivier Marchetti, Alix Munier Kordon: Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness. 91-109
• 
  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

Volume 18, Number 2, June 2008

• 
  Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon: DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems. 161-162
• 
  Antoine Girard, A. Agung Julius, George J. Pappas: Approximate Simulation Relations for Hybrid Systems. 163-179
• 
  Jan Lunze: Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models. 181-210
• 
  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
• 
  Stephanie Geist, Dmitry Gromov, Jörg Raisch: Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs. 241-262
• 
  Jing Xu, Laura Recalde, Manuel Silva: Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. 263-283

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
• 
  George Jiroveanu, René K. Boel, Behzad Bordbar: On-Line Monitoring of Large Petri Net Models Under Partial Observation. 323-354
• 
  Eckart Mayer, Utz-Uwe Haus, Jörg Raisch, Robert Weismantel: Throughput-Optimal Sequences for Cyclically Operated Plants. 355-383
• 
  Andrea Paoli, Stéphane Lafortune: Diagnosability Analysis of a Class of Hierarchical State Machines. 385-413
• 
  Weilin Wang, Stéphane Lafortune, Feng Lin: On the Minimization of Communication in Networked Systems with a Central Station. 415-443

Volume 18, Number 4, December 2008

• 
  Eitan Altman, Bruno Gaujal, Jean Mairesse: Guest Editorial. 445-446
• 
  Sem C. Borst, Matthieu Jonckheere, Lasse Leskelä: Stability of Parallel Queueing Systems with Coupled Service Rates. 447-472
• 
  Anne Bouillard, Bruno Gaujal: Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions. 473-498
• 
  Thu-Ha Dao-Thi, Jean Mairesse: Zero-Automatic Networks. 499-536
• 
  Ho Woo Lee, Sahng Hoon Cheon, Se Won Lee, Jung Woo Baek: Performance of the MAP/G/1 Queue Under the Dyadic Control of Workload and Server Idleness. 537-562
• 
  Marc Lelarge: Tail Asymptotics for Discrete Event Systems. 563-584

last updated on Sat May 18 06:03:49 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page