A Dynamical Plan Revising for Ambient Systems
Chaouche, A-C., Seghrouchni, A. El Fallah, Ilié, J-M., Saïdouni, D-E.
Published in Procedia computer science (01.01.2014)
Published in Procedia computer science (01.01.2014)
Get full text
Journal Article
A Higher-order Agent Model for Ambient Systems
Chaouche, A.-C., Seghrouchni, A. El Fallah, Ilié, J.-M., Saïdouni, D.-E.
Published in Procedia computer science (2013)
Published in Procedia computer science (2013)
Get full text
Journal Article
Exploiting Partial Symmetries for Markov Chain Aggregation
Capra, L., Dutheillet, C., Franceschinis, G., Ilié, J-M.
Published in Electronic notes in theoretical computer science (2000)
Published in Electronic notes in theoretical computer science (2000)
Get full text
Journal Article
Extended SWN solvers in GreatSPN
Donatelli, S., Ilie, J.M., Baarir, S., Beccuti, M., Delamare, C., Dutheillet, C., Franceschinis, G., Gaeta, R., Moreaux, P.
Published in First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings (2004)
Published in First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings (2004)
Get full text
Conference Proceeding
Complementary Formal Approaches for Dependability Analysis
Baarir, S., Braunstein, C., Clavel, R., Encrenaz, E., Ilie, J.-M., Leveugle, R., Mounier, I., Pierre, L., Poitrenaud, D.
Published in 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (01.10.2009)
Published in 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (01.10.2009)
Get full text
Conference Proceeding
An incremental verification technique using decomposition of Petri nets
Haddad, S., Ilie, J.-M., Klai, K.
Published in IEEE International Conference on Systems, Man and Cybernetics (2002)
Published in IEEE International Conference on Systems, Man and Cybernetics (2002)
Get full text
Conference Proceeding
Modular Verification of Petri Nets Properties: A Structure-Based Approach
Klai, Kais, Haddad, Serge, Ilié, Jean-Michel
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005)
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005)
Get full text
Book Chapter
Conference Proceeding
A modular verification methodology for D-NRI Petri nets
Ilie, J.-M., Klai, K., Zouari, B.
Published in ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts (2003)
Published in ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts (2003)
Get full text
Conference Proceeding