Publications
* Marco Beccuti, Giuliana Franceschinis, Serge Haddad. Markov Decision Petri Net and Markov Decision Well-formed Net formalisms, In Proceedings Petri Nets 2007, 28th International Conference on Application and Theory of Petri Nets and Other Models Of Councurrency, june 2007. (pdf)
* Susanna Donatelli, Serge Haddad, Jeremy Sproston. CSLTA: an Expressive Logic for Continuous-Time Markov Chains, In Proceedings 4th International Conference on the Quantitative Evaluation of SysTems (QEST) 2007, september 2007. (pdf)
* Marco Beccuti, Daniele Codetta-Raiteri, Giuliana Franceschinis, Serge Haddad. A Framework to Design and Solve Markov Decision Well-formed Net Models, In Proceedings 4th International Conference on the Quantitative Evaluation of SysTems (QEST) 2007, september 2007.
* Hind Castel, Lynda Mokdad, Nihal Pekergin. Aggregated Bounding Markov Processes Applied to the Analysis of Tandem Queues, In Proceedings 2nd ACM International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07), Nantes, France, october 2007. (pdf)
* Hind Castel, Lynda Mokdad, Nihal Pekergin. Stochastic Bounds Applied to the End to End QoS in Communication Systems, In Proceedings 15th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication (MASCOTS'07), Istanbul, Turquie, pp. 374-380, october 2007. (pdf)
* Jean-Michel Fourneau, Imane Kadi, Nihal Pekergin, Jérôme Vienne, Jean-Marc Vincent. Perfect Simulation and Monotone Stochastic Bounds, In Proceedings 2nd ACM International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07), Nantes, France, octobre 2007. (pdf)
* Jean-Michel Fourneau, Nihal Pekergin, Sana Younès. CUT Combining Stochastic Ordering and Censoring to Bound Steady-State Rewards and First Passage Time, In Proceedings 4th International Conference on the Quantitative Evaluation of SysTems (QEST) 2007, september 2007. (pdf )
* Jean-Michel Fourneau, Nihal Pekergin.Stochastic Bounds and Stochastic Monotonicity: Methods, Algorithms and Applications, Tutorial 4th International Conference on the Quantitative Evaluation of SysTems (QEST) 2007 (pdf)
* Jean-Michel Fourneau, Nihal Pekergin, Sana Younès. Censoring Markov Chains and Stochastic Bounds, In Proceedings EPEW 2007, Berlin, Springer Verlag, LNCS 4748 (pdf)
* Ana Busic Nihal Pekergin. Closed Form Absorption Time Bounds. In Proceedings EPEW 2007, Berlin, Springer Verlag, LNCS 4748. (pdf)
* Jean-Marc Vincent, Jérôme Vienne. PSI2 a Software Tool for the Perfect Simulation of Finite Queueing Networks, In Proceedings 4th International Conference on the Quantitative Evaluation of SysTems QEST 2007 (pdf)
* Ana Busic and Jean-Michel Fourneau. Stochastic Bounds for Partially Generated Markov Chains: An Algebraic Approach, In Proceedings EPEW 2008, Springer Verlag, LNCS 5261. (pdf)
* Ana Busic, Bruno Gaujal, Jean-Marc Vincent. Perfect Simulation and Non-Monotone (Markovian) Systems. In Proceedings 3nd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'08), Athens, Greece, octobre 2008. (pdf)
* Nazha Abed, Stavros Tripakis, Jean-Marc Vincent. Resource-Aware Verification using Randomized Exploration of Large State Spaces, In Proceedings 5th SPIN. Los Angeles, USA. October 2008. (pdf)
* Jean-Marc Vincent . Perfect Sampling of Stationary Rewards of Markov Chains?, In Proceedings IWAP Compiègne, France, July 2008. (pdf)
* Paulo Fernandes, Jean-Marc Vincent, Thais Webber. Perfect Simulation of Stochastic Automata Networks, In Proceedings 5th Analytical and Stochastic Modeling Techniques and Applications (ASMTA) LNCS volume 5055, Nicosia (Cyprus), June 2008. (pdf)
* Vandy Berten, Ana Busic, Bruno Gaujal, and Jean-Marc Vincent. Can We Use Perfect Simulation for Non-Monotonic Markovian Systems ? In Proceedings Roadef'08, 9ème congrès de la société Française de Recherche Opérationnelle et d'Aide à la décision, pages 65-66, Clermont-Ferrand (France), February 2008. (pdf)
* Mouad Ben Mamoun, Nihal Pekergin. Model Checking of Infinite State Space Markov Chains by Stochastic Bounds, In Proceedings 5th Analytical and Stochastic Modeling Techniques and Applications (ASMTA) LNCS volume 5055, Nicosia (Cyprus), June 2008. (pdf)
* Nihal Pekergin, Sana Younès. CSRL Model Checking with Closed Form Bounding Distributions,
In Proceedings Workshop of tools for solving Structured Markov chains SMCTools08,
(pdf) (http://www.smctools.org/)
* Nihal Pekergin. Model Checking by Stochastic Comparison, MODEL 35 «Symposium sur les perspectives en modélisation et évaluation des systèmes et réseaux informatiques », 2-3 april 2008, INRIA Rocquencourt, France. (pdf)
* Serge Haddad, Lynda Mokdad and Samir Youcef. Response Time Analysis of Composite Web Services, In Proceedings CSNDSP 2008, Communication Systems, Networks and Digital Signal Processing, IEEE Computer Society, 23-25 july 2008, Graz University of Technology, Austria. (pdf)
* Hind Castel, Lynda Mokdad, Nihal Pekergin. Model Checking of Performance Measures Using Bounding Aggregations, In Proceedings IEEE International Symposium on Performance Evaluation of Computer and Telecommunication Systems, (SPECTS'08), pp. 1-7, Edinburgh, UK, juin 2008. (pdf)
* Hind Castel-Taleb. « Bornes de Formules d'Etats Non Croissantes »
In Proceedings Roadef'08, 9ème congrès de la société Française de Recherche Opérationnelle et
d'Aide à la décision, 25-27 feb. 2008, Clermont Ferrand.
* Marco Becucuti, Daniele Codetta-Raiteri, Giuliana Franceschinis,
Serge Haddad.
Non Deterministic Repairable Fault Trees for Computing Optimal Repair Strategy,
In Proceedings 3rd International Conference on Performance
Evaluation Methodologies and Tools (VALUETOOLS'08), Athens Greece,
2008.
(pdf)
* Diana El Rabih, Nihal Pekergin.
Statistical Model Checking for Steady State Dependability Verification,
In Proceedings 2nd International Conf. on Dependability DEPEND09 IEEE,
Athènes, juin 2009.
* Imène Kadi, Jean-Michel Fourneau, Nihal Pekergin.
Improving Time Parallel Simulation for Monotone Systems,
In Proceedings 13th IEEE/ACM International Symposium on
Distributed Simulation and Real Time Applications, Singapore, oct.
2009.
* Imane Kadi, Nihal Pekergin, Jean-Marc Vincent.
Different monotonicity defnitions in stochastic modelling,
In Proceedings 6th Inter. Conf. on Analytical and Stochastic Modelling Techniques and Applications, ASMTA09, LNCS 5513, Madrid, june
2009.
(pdf)
* Hind Castel-Taleb, Nihal Pekergin.
Weak stochastic comparisons for performability verification,
In Proceedings 6th Inter. Conf. on Analytical and Stochastic Modelling Techniques and Applications, ASMTA09, LNCS 5513, Madrid, june
2009.
(pdf)
* Marco Becucuti, Daniele Codetta-Raiteri, Giuliana Franceschinis,
Serge Haddad.
Parametric NdRFT for the Derivation of Optimal Repair Strategies,
In Proceedings IEEE IFIP International Conference on Dependable
Systems and Networks (DSN'09), july 2009, Estoril Portugal.
(pdf)
* Susanna Donatelli, Serge Haddad, Jeremy Sproston.
Model Checking Timed and Stochastic Properties with CSLTA,
IEEE Transactions on Software Engineering, vol.35, 2009.
(pdf)
* Serge Haddad, Nihal Pekergin.
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains,
In Proceedings 6th International Conference on Quantitative Evaluation of Systems (QEST'09), Budapest Hungary.
(pdf)
* Serge Haddad, Lynda Mokdad, Samir Youcef.
Bornes du Temps de Réponse des Services Web Composites,
Actes du 7ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'09), Nantes France,
Journal Européen des Systèmes Automatisés, vol. 43.
(pdf)
* Diana El Rabih, Nihal Pekergin.
Statistical Model Checking Using Perfect Simulation,
In Proceedings 7th Inter. Symposium Automated Technology for Verification and Analysis (ATVA), Macao LNCS 5799 sept. 2009.
(pdf)
*Jean-Marc Vincent.
Perfect Sampling of Queuing Networks with Complex Routing complexity
and computational aspects (tutorial),
In RESCOM, La Palmyre, june 2009.
(pdf)
* Serge Haddad, Lynda Mokdad, Samir Youcef.
Response Time of BPEL4WS Constructors,
In Proceedings IEEE Symposium on Computers and Communications (ISCC'10), Riccione Italy.
(pdf)
* Serge Haddad, Lynda Mokdad, Samir Youcef.
Selection of the Best Composite Web Service Based on Quality of Service,
In Proceedings 2nd International Symposium on Services Science and 3rd International
Conference on Business Process and Services Computing (BPSC'10), Lecture Notes in Informatics 177, Leipzig Germany 2010.
(pdf)
*
Hind Castel-Taleb, Nihal Pekergin.
Accuracy of Strong and Weak Comparisons for Network of Queues,
In Proceedings 5th International Conference on
Measurement, Modelling and Evaluation of Computing Systems and
Dependability and Fault Tolerance MMB-DFT2010, LNCS 5987,
Essen Allemagne, march 2010.
(pdf)
* Hind Castel-Taleb, Idriss Ismael-Aouled, Nihal Pekergin.
Stochastic Comparisons for Performability of Telecommunication
Systems,
In Proceedings
Analytical and Stochastic Modeling Techniques and Application,
ASMTA10, LNCS 6148, Cardiff, UK, june 2010.
(pdf)
* Gaël Gorgo, Jean-Marc Vincent.
Perfect Sampling of Load Sharing Policies in Large Scale Distributed
Systems,
In Proceedings
Analytical and Stochastic Modeling Techniques and Application,
ASMTA10, LNCS 6148, Cardiff, UK, june 2010.
* Diana El Rabih, Gaël Gorgo, Nihal Pekergin, Jean-Marc Vincent.
Steady-state Property Verification: a Comparison Study,
In Proceedings Verification and Evaluation
of Computer and Communication Systems VeCoS10, Paris, june 2010.
(pdf)
* Ana Busic, Bruno Gaujal, Gaël Gorgo, Jean-Marc Vincent.
PSI2 : Envelope Perfect Sampling of Non Monotone Systems,
(Tool presentation paper)
In Proceedings International Conference on Quantitative Evaluation of Systems (QEST10), Williamsburg, USA, sept. 2010.
* Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin.
Stochastic Comparisons Applied to G-Networks with Catastrophes,
In Proceedings
25th International Symposium on Computer and Information Sciences, ISCIS10, London sept. 2010.
* Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, et Nihal Pekergin. HASL: an Expressive Language for Statistical Verification of Stochastic Models,
Rapport technique TR-LACL-2010-8, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est, 2010.
(pdf)
* Jean-Marc Vincent.
Scheduling Strategies in Large Scale Heterogeneous Grids: Monotonicity and
Perfect Sampling,
In NETCOOP, Ghent, Dec. 2010.
(pdf)
* Jonatha Anselmi, Bruno Gaujal.
Optimal Routing in Parallel, non-Observable Queues and the Price of Anarchy Revisited,
In Proceedings
22nd International Teletraffic Congress (ITC), Amsterdam, 2010.
* Jean-Michel Fourneau, Lynda Mokdad, Nihal Pekergin.
Stochastic bounds for performance evaluation of Web, Concurrency and Computation: Practice and Experience,
vol. 22 no. 10, 2010.
* Jean-Michel Fourneau.
Collaboration of discrete-time Markov chains: Tensor and product form,
Performance Eval., vol. 67 no 9, 2010.
* Thu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran.
Networks of Symmetric Multi-class Queues with Signals Changing Classes,
In Proceedings Analytical and Stochastic Modeling Techniques and Application, ASMTA10, LNCS 6148, Cardiff, UK, june 2010.
* Thu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran.
G-networks with synchronised arrivals, accepted in Performance Evaluation.
* Ana Busic, JM Fourneau.
Iterative component-wise bounds for the steady-state distribution of a Markov
chain, Numerical Solution of Markov Chain 2010, Williamburg, USA.
* Ana Busic, Hilal Djafri, Jean-Michel Fourneau.
Stochastic Bounds for Censored Markov Chains,
Numerical Solution of Markov Chain 2010, Williamburg, USA.
* Ana Busic, Jean-Michel Fourneau.
A toolbox for component-wise bounds for steady-state distribution of a DTMC,
(tool paper)
IEEE QEST10 2010, Williamburg, USA.
* Jean-Michel Fourneau et Imane Kadi,
Time Parallel Simulation of Monotone Systems,
Performance 2010, Poster Session, Namur, Belgique.