| Multi-Class Queuing Networks Models for Energy Optimization. | 5 | 0.45 | 2014 |
| The SIMTHESys multiformalism modeling framework | 6 | 0.49 | 2012 |
| Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability | 8 | 0.60 | 2012 |
| Exploiting multiformalism models for testing and performance evaluation in SIMTHESys. | 11 | 0.65 | 2011 |
| Analysis of Television and Cinema Productions using Mean Field Models | 0 | 0.34 | 2010 |
| Interfaces and binding in component based development of formal models | 11 | 0.58 | 2009 |
| Stationary analysis of fluid level dependent bounded fluid models | 7 | 0.74 | 2008 |
| Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator | 0 | 0.34 | 2007 |
| Fluid models for large-scale wireless sensor networks | 23 | 1.03 | 2007 |
| Modelling a car safety controller in road tunnels using hybrid petri nets | 2 | 0.47 | 2006 |
| Analysis of resource transfers in peer-to-peer file sharing applications using fluid models | 25 | 1.43 | 2006 |
| Efficient steady-state analysis of second-order fluid stochastic Petri nets | 0 | 0.34 | 2006 |
| A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks | 23 | 1.28 | 2005 |
| Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications | 7 | 0.61 | 2005 |
| A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems | 1 | 0.36 | 2004 |
| An efficient algorithm for the transient analysis of a class of deterministic stochastic Petri nets | 1 | 0.36 | 2004 |
| On the use of Petri nets for the computation of completion time distribution for short TCP transfers | 7 | 0.62 | 2003 |
| Stationary Analysis Of Fspns With Mutually Dependent Discrete And Continuous Parts | 7 | 0.63 | 2003 |
| Fluid Petri Nets and hybrid model-checking: a comparative case study | 7 | 0.49 | 2003 |
| On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses | 4 | 0.50 | 2001 |
| Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis | 32 | 1.48 | 2001 |
| Fluid stochastic Petri nets: An extended formalism to include non-Markovian models | 12 | 0.78 | 1999 |
| Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets | 10 | 0.95 | 1999 |
