E-LIB Suche - Ergebnisse für: Madelaine, Eric

1

Refinements for Open Automata:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Ameur-Boulifa, Rabéa ; Corradi, Quentin ; Henrio, Ludovic. - p. 11-29 , 2023

2

Compositional equivalences based on open pNets:

Ameur-Boulifa, Rabéa ; Henrio, Ludovic ; Madelaine, Eric
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100842 , 2023

Link: https://doi.org/10.1016/..

3

Symbolic bisimulation for open and parameterized systems:

, In: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Hou, Zechen ; Madelaine, Eric - p. 14-26 , 2020

Link: https://dl.acm.org/doi/1..

4

Scheduling Live Migration of Virtual Machines:

Kherbache, Vincent ; Madelaine, Eric ; Hermenier, Fabien
IEEE Transactions on Cloud Computing. 8 (2020) 1 - p. 282-296 , 2020

Link: https://doi.org/10.1109/..

5

SMT-based generation of symbolic automata:

Qin, Xudong ; Bliudze, Simon ; Madelaine, Eric...
Acta Informatica. 57 (2020) 3-5 - p. 627-656 , 2020

Link: https://doi.org/10.1007/..

6

Verification of Concurrent Design Patterns with Data:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bliudze, Simon ; Henrio, Ludovic ; Madelaine, Eric - p. 161-181 , 2019

Link: https://doi.org/10.1007/..

7

Selected and extended papers from FACS 2016:

Kouchnarenko, Olga ; Madelaine, Eric
Science of Computer Programming. 178 (2019) - p. 43-44 , 2019

Link: https://doi.org/10.1016/..

8

Towards a bisimulation theory for open synchronized network..:

Madelaine, Eric ; Zhang, Min
Science China Information Sciences. 59 (2016) 5 - p. , 2016

Link: https://doi.org/10.1007/..

9

Preface for the special issue of the 11th International Sym..:

Lanese, Ivan ; Madelaine, Eric
Science of Computer Programming. 127 (2016) - p. 1 , 2016

Link: https://doi.org/10.1016/..

10

Formal Aspects of Component Software

11th International Symposium, FACS 2014, Bertinoro, Italy, ... Lecture Notes in Computer Science ; 8997;SpringerLink, Bücher

Lanese, Ivan ; Madelaine, Eric , 2015

Link: https://doi.org/10.1007/..

11

Scheduling live-migrations for fast, adaptable and energy-e..:

, In: Proceedings of the 8th International Conference on Utility and Cloud Computing,

Kherbache, Vincent ; Madelaine, Éric ; Hermenier, Fabien - p. 205-216 , 2015

Link: https://dl.acm.org/doi/1..

12

pNets: An Expressive Model for Parameterised Networks of Pr..:

, In: 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing,

Henrio, Ludovic ; Madelaine, Eric ; Zhang, Min - p. 492-496 , 2015

Link: https://doi.org/10.1109/..

13

Management of service compositionbased on self-controlled c..:

Aubonnet, Tatiana ; Henrio, Ludovic ; Kessal, Soumia...
Journal of Internet Services and Applications. 6 (2015) 1 - p. , 2015

Link: https://doi.org/10.1186/..

14

Timed-pNets: a communication behavioural semantic model for..:

Chen, Yanwen ; Chen, Yixiang ; Madelaine, Eric
Frontiers of Computer Science. 9 (2014) 1 - p. 87-110 , 2014

Link: https://doi.org/10.1007/..

15

Bringing Coq into the World of GCM Distributed Applications:

Gaspar, Nuno ; Henrio, Ludovic ; Madelaine, Eric
International Journal of Parallel Programming. 42 (2013) 4 - p. 643-662 , 2013

Link: https://doi.org/10.1007/..