Computer networks and systems: queueing theory and performance evaluation

A performance model for real-time systems

ACM SIGAda Ada Letters

Discrete-Event Simulation of Fluid Stochastic Petri Nets

IEEE Transactions on Software Engineering

Accurate computation of the smallest eigenvalue of a diagonally dominant M-matrix

Mathematics of Computation

Discrete-event simulation of fluid stochastic Petri nets

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models

Networks, computer

Encyclopedia of Computer Science

Scheduling and memory requirements analysis with AADL

Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies

Investigating the usability of real-time scheduling theory with the Cheddar project

Real-Time Systems

Performance characterization of signaling traffic in UMTS virtualized network

GIIS'09 Proceedings of the Second international conference on Global Information Infrastructure Symposium

Modeling opportunistic application spreading

MobiOpp '10 Proceedings of the Second International Workshop on Mobile Opportunistic Networking

Laws of conservation in the queueing theory

MACOM'10 Proceedings of the Third international conference on Multiple access communications