Jean-Michel Ilié

Karim Lahiani

François Pêcheux

Proceedings of the 11th International Conference on Ambient Systems, 2020

E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles.

[BibT_eX]

[DOI]

François Pêcheux

Proceedings of the 11th International Conference on Ambient Systems, 2020

2018

Hierarchical System Design Using Refinable Recursive Petri Net.

[BibT_eX]

[DOI]

Messaouda Bouneb

Comput. Informatics, 2018

2017

Time and Space Reasoning for Ambient Systems.

[BibT_eX]

[DOI]

Int. J. Ambient Comput. Intell., 2017

Toward an Efficient Ambient Guidance for Transport Applications.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017) / 12th International Conference on Future Networks and Communications (FNC 2017) / Affiliated Workshops, 2017

2016

Learning from situated experiences for a contextual planning guidance.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2016

Contextual time reasoning for mobile ambient agents.

[BibT_eX]

[DOI]

Int. J. Wirel. Mob. Comput., 2016

Solving preemptive job-shop scheduling problems using a true concurrency model.

[BibT_eX]

[DOI]

Farid Arfi

Int. J. Simul. Process. Model., 2016

A Guidance of Ambient Agents Adapted to Opportunistic Situations.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing, 2016

2015

Dealing with temporal failure in ambient systems: a dynamic revision of plans.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2015

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems.

[BibT_eX]

[DOI]

Mokdad Arous

Int. J. Syst. Serv. Oriented Eng., 2015

A reduced maximality labeled transition system generation for recursive Petri nets.

[BibT_eX]

[DOI]

Messaouda Bouneb

Formal Aspects Comput., 2015

Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2015

Spatio-Temporal Planning for Mobile Ambient Agents.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates.

[BibT_eX]

[DOI]

Said Layadi

Proceedings of the 29th European Conference on Modelling and Simulation, 2015

Spatio-Temporal Guidance for Ambient Agents.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Control Systems and Computer Science, 2015

Relative Timed Model for Coordinated Multi Agent Systems.

[BibT_eX]

[DOI]

Said Layadi

Ilham Kitouni

Proceedings of the Computer Science and Its Applications, 2015

2014

A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2014

From Intentions to Plans: A Contextual Planning Guidance.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VIII, 2014

Contextual-Timed Planning Management for Ambient Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2014, 2014

A Dynamical Plan Revising for Ambient Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Ambient Systems, 2014

2013

Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems.

[BibT_eX]

[DOI]

Sofia Kouah

J. Softw., 2013

Pruning Search Spaces of RATA Model for the Job-Shop Scheduling.

[BibT_eX]

[DOI]

Farid Arfi

Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Networks, 2013

A Higher-order Agent Model for Ambient Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013

Maximality Semantic For Recursive Petri Nets.

[BibT_eX]

[DOI]

Messaouda Bouneb

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

2011

Feasibility analysis for robustness quantification by symbolic model checking.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

2009

Complementary Formal Approaches for Dependability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009

2008

Time Recursive Petri Nets.

[BibT_eX]

[DOI]

Djaouida Dahmani

Malika Boukala

Trans. Petri Nets Other Model. Concurr., 2008

2006

Efficient lumpability check in partially symmetric systems.

[BibT_eX]

[DOI]

Marco Beccuti

Souheib Baarir

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

On the use of exact lumpability in partially symmetricalWell-formed Nets.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Modular Verification of Petri Nets Properties: A Structure-Based Approach.

[BibT_eX]

[DOI]

Kais Klai

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Extended SWN Solvers in GreatSPN.

[BibT_eX]

[DOI]

Rossano Gaeta

Patrice Moreaux

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

A Symbolic Symbolic State Space Representation.

[BibT_eX]

[DOI]

Yann Thierry-Mieg

Denis Poitrenaud

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.

[BibT_eX]

[DOI]

Kais Klai

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2001

On the use of partial symmetries for lumping Markov chains.

[BibT_eX]

[DOI]

Lorenzo Capra

Claude Dutheillet

SIGMETRICS Perform. Evaluation Rev., 2001

2000

Exploiting Partial Symmetries for Markov Chain Aggregation.

[BibT_eX]

[DOI]

Lorenzo Capra

Claude Dutheillet

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

A Model Checking Method for Partially Symmetric Systems.

[BibT_eX]

Khalil Ajami

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

Towards Performance Analysis with Partially Symmetrical SWN.

[BibT_eX]

[DOI]

Lorenzo Capra

Claude Dutheillet

Proceedings of the MASCOTS 1999, 1999

1998

Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.

[BibT_eX]

[DOI]

Khalil Ajami

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

Model Checking Through Symbolic Reachability Graph.

[BibT_eX]

[DOI]

Khalil Ajami

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1995

Symbolic Reachability Graph and Partial Symmetries.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993

On Well-Formed Nets and Optimizations in Enabling Tests.

[BibT_eX]

[DOI]

Omar Rojas

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1985

Satellite Protocol Modeling by Synchronous Predicate Transition Nets.

[BibT_eX]

Pascal Estraillier

Claude Girault