- Online First™
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley and Terence Kelly, et al.
Online First™, 13 May 2012
- Online First™
Methods for the estimation of the size of lookahead tree state-space
Creag Winacott, Behnam Behinaein and Karen Rudie
Online First™, 3 May 2012
- Online First™Open Access
A functional approximation for the M/G/1/N queue
Karim Abbas, Bernd Heidergott and Djamil Aïssani
Online First™, 14 April 2012
- Online First™
Networked conflicting timed event graphs representation in (Max,+) algebra
Boussad Addad, Saïd Amari and Jean-Jacques Lesage
Online First™, 5 April 2012
- Online First™
Conflict-preserving abstraction of discrete event systems using annotated automata
Simon Ware and Robi Malik
Online First™, 24 March 2012
- Online First™
Graph process specifications for hybrid networked systems
Philip Y. Twu, Patrick Martin and Magnus B. Egerstedt
Online First™, 20 March 2012
- Online First™
An algorithm to compute the minimal siphons in S4PR nets
Elia Esther Cano, Carlos A. Rovetto and José-Manuel Colom
Online First™, 25 February 2012
- Online First™Open Access
Application of supervisory control theory to theme park vehicles
Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su and Jacobus E. Rooda
Online First™, 21 February 2012
- Online First™
A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
Wen-Chiao Lin, Humberto E. Garcia and Tae-Sic Yoo
Online First™, 11 February 2012
- Online First™
Computation of minimal event bases that ensure diagnosability
João Carlos Basilio, Saulo Telles Souza Lima, Stéphane Lafortune and Marcos Vicente Moreira
Online First™, 28 January 2012