Timed-pNets: a communication behavioural semantic model for distributed systems
CHEN, Yanwen, CHEN, Yixiang, MADELAINE, Eric
Published in Frontiers of Computer Science (01.02.2015)
Published in Frontiers of Computer Science (01.02.2015)
Get full text
Journal Article
Monitoring as-a-service to drive more efficient future system design
Lemoine, Frederic, Aubonnet, Tatiana, Henrio, Ludovic, Kessal, Soumia, Madelaine, Eric, Simoni, Noemie
Published in EAI endorsed transactions on cloud systems (28.06.2017)
Published in EAI endorsed transactions on cloud systems (28.06.2017)
Get full text
Journal Article
Scheduling Live Migration of Virtual Machines
Kherbache, Vincent, Madelaine, Eric, Hermenier, Fabien
Published in IEEE transactions on cloud computing (01.01.2020)
Published in IEEE transactions on cloud computing (01.01.2020)
Get full text
Journal Article
Behavioural Models for Group Communications
Ameur-Boulifa, Rabéa, Henrio, Ludovic, Madelaine, Eric
Published in Electronic proceedings in theoretical computer science (12.10.2010)
Published in Electronic proceedings in theoretical computer science (12.10.2010)
Get full text
Journal Article
New Symbolic Model and Equivalences Checking for Open Automata
Wang, BiYang, Madelaine, Eric, Zhang, Min
Published in 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (17.10.2021)
Published in 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC) (17.10.2021)
Get full text
Conference Proceeding
Compositional equivalences based on open pNets
Ameur-Boulifa, Rabéa, Henrio, Ludovic, Madelaine, Eric
Published in Journal of logical and algebraic methods in programming (01.02.2023)
Published in Journal of logical and algebraic methods in programming (01.02.2023)
Get full text
Journal Article
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Year of Publication 2015
Get full text
Conference Proceeding
SMT-based generation of symbolic automata
Qin, Xudong, Bliudze, Simon, Madelaine, Eric, Hou, Zechen, Deng, Yuxin, Zhang, Min
Published in Acta informatica (01.10.2020)
Published in Acta informatica (01.10.2020)
Get full text
Journal Article
Bringing Coq into the World of GCM Distributed Applications
Gaspar, Nuno, Henrio, Ludovic, Madelaine, Eric
Published in International journal of parallel programming (01.08.2014)
Published in International journal of parallel programming (01.08.2014)
Get full text
Journal Article
Management of service compositionbased on self-controlled components
Aubonnet, Tatiana, Henrio, Ludovic, Kessal, Soumia, Kulankhina, Oleksandra, Lemoine, Frédéric, Madelaine, Eric, Ruz, Cristian, Simoni, Noëmie
Published in Journal of internet services and applications (27.12.2015)
Published in Journal of internet services and applications (27.12.2015)
Get full text
Journal Article