dblp.uni-trier.de

Soheib Baarir

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EEM. Beccuti, Giuliana Franceschinis, Soheib Baarir, J-M. Ilie: Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220
2005
3EESoheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié: On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST 2005: 23-32
2EEJérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Soheib Baarir, Fabrice Kordon: On the Formal Verification of Middleware Behavioral Properties. Electr. Notes Theor. Comput. Sci. 133: 139-157 (2005)
2004
1EEJean-Michel Ilié, Soheib Baarir, M. Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux: Extended SWN Solvers in GreatSPN. QEST 2004: 324-325

Coauthor Index

1M. Beccuti [1] [4]
2C. Delamare [1]
3Susanna Donatelli [1]
4Claude Dutheillet [1] [3]
5Giuliana Franceschinis [1] [4]
6Rossano Gaeta [1]
7Serge Haddad [3]
8Jérôme Hugues [2]
9J-M. Ilie [4]
10Jean-Michel Ilié (Jean Michel Ilié) [1] [3]
11Fabrice Kordon [2]
12Patrice Moreaux [1]
13Laurent Pautet [2]
14Yann Thierry-Mieg [2]
15Thomas Vergnaud [2]


DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Fri Mar 30 21:28:02 2007