E-LIB Suche - Ergebnisse für: Jard, Claude

1

Integrated Model-Checking for the Design of Safe and Effici..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Coullon, Helene ; Jard, Claude ; Lime, Didier - p. 120-137 , 2019

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

2

Causal consistency : beyond memory:

, In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,

Perrin, Matthieu ; Mostefaoui, Achour ; Jard, Claude - p. 1-12 , 2016

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

3

Atomic Read/Write Memory in Signature-Free Byzantine Asynch..:

Mostéfaoui, Achour ; Petrolia, Matoula ; Raynal, Michel.
Theory of Computing Systems. 60 (2016) 4 - p. 677-694 , 2016

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

4

Towards energy-proportional clouds partially powered by ren..:

Beldiceanu, Nicolas ; Feris, Bárbara Dumas ; Gravey, Philippe...
Computing. 99 (2016) 1 - p. 3-22 , 2016

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

5

Causal consistency: beyond memory:

Perrin, Matthieu ; Mostefaoui, Achour ; Jard, Claude
ACM SIGPLAN Notices. 51 (2016) 8 - p. 1-12 , 2016

Link: https://doi.org/10.1145/..

6

Foreword in honor of Glynn Winskel:

Benveniste, Albert ; Jard, Claude ; Abbes, Samy
Theoretical Computer Science. 546 (2014) - p. 30-31 , 2014

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

7

Application of branching cells to QoS aware service orchest..:

Benveniste, Albert ; Jard, Claude ; Abbes, Samy
Theoretical Computer Science. 546 (2014) - p. 52-62 , 2014

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

8

Symbolic unfolding of parametric stopwatch Petri nets:

Jard, Claude ; Lime, Didier ; Roux, Olivier H..
Formal Methods in System Design. 43 (2013) 3 - p. 493-519 , 2013

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

9

Distributed implementation of message sequence charts:

Abdallah, Rouwaida ; Hélouët, Loïc ; Jard, Claude
Software & Systems Modeling. 14 (2013) 2 - p. 1029-1048 , 2013

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

10

QoS-aware management of monotonic service orchestrations:

Benveniste, Albert ; Jard, Claude ; Kattepur, Ajay..
Formal Methods in System Design. 44 (2013) 1 - p. 1-43 , 2013

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

11

Pairwise testing of dynamic composite services:

, In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Kattepur, Ajay ; Sen, Sagar ; Baudry, Benoit.. - p. 138-147 , 2011

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

12

Communicating embedded systems: software and design : forma..

ISTE

Jard, Claude ; Roux, Olivier H , 2010

Link: https://onlinelibrary.wi..

13

Communicating embedded systems: software and design : forma..:

Jard, Claude ; Roux, Olivier H , 2010

Link: https://learning.oreilly..

14

Formal Modeling and Analysis of Timed Systems

6th International Conference, FORMATS 2008, Saint Malo, Fra... Lecture Notes in Computer Science ; 5215;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Terzopoulos, Demetri ; Tygar, Doug ; Vardi, Moshe Y.... , 2008

Link: http://dx.doi.org/10.100..

15

Probabilistic QoS and Soft Contracts for Transaction-Based ..:

Rosario, Sidney ; Benveniste, Albert ; Haar, Stefan.
IEEE Transactions on Services Computing. 1 (2008) 4 - p. 187-200 , 2008

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