Altisen,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Introduction to Distributed Self-Stabilizing Algorithms

Altisen, Karine, Devismes, Stéphane, Dubois, Swan, Petit, Franck

Journal:

Synthesis Lectures on Distributed Computing Theory

Year:

2019

File:

PDF, 1.63 MB

2019

2

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

K. Altisen, F. Maraninchi, D. Stauch

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 1.20 MB

english, 2006

3

Scheduler Modeling Based on the Controller Synthesis Paradigm

K. Altisen, G. Gössler, J. Sifakis

Journal:

Real-Time Systems

Year:

2002

Language:

english

File:

PDF, 491 KB

english, 2002

4

Comparison of mean hitting times for a degree-biased random walk

Gerbaud, Antoine, Altisen, Karine, Devismes, Stéphane, Lafourcade, Pascal

Journal:

Discrete Applied Mathematics

Year:

2014

Language:

english

File:

PDF, 453 KB

english, 2014

5

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Cassez, Franck, Cassez, Franck, Cassez, Franck, Cassez, Franck, Tripakis, Stavros, Tripakis, Stavros, Tripakis, Stavros, Tripakis, Stavros, Altisen, Karine, Altisen, Karine, Altisen, Karine, Altisen,

Year:

2007

Language:

english

File:

PDF, 240 KB

english, 2007

6

[IEEE Comput. Soc 20th IEEE Real-Time Systems. Symposium - Phoenix, AZ, USA (1-3 Dec. 1999)] Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054) - A framework for scheduler synthesis

Altisen, K., Gossler, G., Pnueli, A., Sifakis, J., Tripakis, S., Yovine, S.

Year:

1999

Language:

english

File:

PDF, 302 KB

english, 1999

7

[IEEE 2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS) - Cambridge, MA, USA (2013.05.20-2013.05.23)] 2013 IEEE International Conference on Distributed Computing in Sensor Systems - SR3: Secure Resilient Reputation-based Routing

Altisen, Karine, Devismes, Stephane, Jamet, Raphael, Lafourcade, Pascal

Year:

2013

Language:

english

File:

PDF, 546 KB

english, 2013

8

[IEEE 2010 22nd Euromicro Conference on Real-Time Systems (ECRTS) - Brussels, Belgium (2010.07.6-2010.07.9)] 2010 22nd Euromicro Conference on Real-Time Systems - ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

Altisen, Karine, Moy, Matthieu

Year:

2010

Language:

english

File:

PDF, 635 KB

english, 2010

9

[IEEE Sixth International Conference on Application of Concurrency to System Design (ACSD'06) - Turku, Finland (28-30 June 2006)] Sixth International Conference on Application of Concurrency to System Design (ACSD'06) - In this work, we propose two translations: one from extended

Altisen, K., Cassez, F., Tripakis, S.

Year:

2006

Language:

english

File:

PDF, 325 KB

english, 2006

10

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems

Cassez, Franck, Tripakis, Stavros, Altisen, Karine

Year:

2007

Language:

english

File:

PDF, 239 KB

english, 2007

11

On probabilistic snap-stabilization

Altisen, Karine, Devismes, Stéphane

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.46 MB

english, 2015

12

Causality problem in real-time calculus

Altisen, Karine, Moy, Matthieu

Journal:

Formal Methods in System Design

Year:

2016

Language:

english

File:

PDF, 1.44 MB

english, 2016

13

SR3: secure resilient reputation-based routing

Altisen, Karine, Devismes, Stéphane, Jamet, Raphaël, Lafourcade, Pascal

Journal:

Wireless Networks

Year:

2016

Language:

english

File:

PDF, 1.68 MB

english, 2016

14

Self-stabilizing leader election in polynomial steps

Altisen, Karine, Cournier, Alain, Devismes, Stéphane, Durand, Anaïs, Petit, Franck

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 2.19 MB

english, 2016

15

[ACM Press the 1st International Workshop - Viena, Austria (2011.11.29-2011.11.29)] Proceedings of the 1st International Workshop on Worst-Case Traversal Time - WCTT '11 - Causality closure for a new class of curves in real-time calculus

Altisen, Karine, Moy, Matthieu

Year:

2011

Language:

english

File:

PDF, 962 KB

english, 2011

16

Concurrency in snap-stabilizing local resource allocation

Altisen, Karine, Devismes, Stéphane, Durand, Anaïs

Journal:

Journal of Parallel and Distributed Computing

Year:

2017

Language:

english

File:

PDF, 900 KB

english, 2017

17

[IEEE 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Orlando, FL, USA (2017.5.29-2017.6.2)] 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Leader Election in Asymmetric Labeled Unidirectional Rings

Altisen, Karine, Datta, Ajoy K., Devismes, Stephane, Durand, Anais, Larmore, Lawrence L.

Year:

2017

Language:

english

File:

PDF, 262 KB

english, 2017

18

Sugar Paste for Treatment of Decubital Ulcers

Valls, Laura Tuneu, Altisen, Magdalena Trullás, Poblador, Ramón Plá, Alvarez, Angels Ciurán, Biosca, Rosa Garriga

Journal:

Journal of Pharmacy Technology

Year:

1996

Language:

english

File:

PDF, 376 KB

english, 1996

19

[IEEE 2017 IEEE 13th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Rome (2017.10.9-2017.10.11)] 2017 IEEE 13th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Collision prevention in distributed 6TiSCH networks

Fahs, Ali J., Bertolini, Rodolphe, Alphand, Olivier, Rousseau, Franck, Altisen, Karine, Devismes, Stephane

Year:

2017

Language:

english

File:

PDF, 842 KB

english, 2017

20

Gradual stabilization

Altisen, Karine, Devismes, Stéphane, Durand, Anaïs, Petit, Franck

Journal:

Journal of Parallel and Distributed Computing

Year:

2019

Language:

english

File:

PDF, 1.09 MB

english, 2019

21

Introduction to Distributed Self-Stabilizing Algorithms

Altisen, Karine, Devismes, Stéphane, Dubois, Swan, Petit, Franck

Journal:

Synthesis Lectures on Distributed Computing Theory

Year:

2019

Language:

english

File:

PDF, 1.63 MB

english, 2019

22

Election in unidirectional rings with homonyms

Altisen, Karine, Datta, Ajoy K., Devismes, StÃ©phane, Durand, AnaÃ¯s, Larmore, Lawrence L.

Journal:

Journal of Parallel and Distributed Computing

Year:

2020

File:

PDF, 1.03 MB

2020