Search - LS2N - équipe STR Access content directly

Filter your results

10 Results
Deposit type : Notice

Scheduling and power management in energy harvesting computing systems with real-time constraints

Maryline Chetto , Hussein El Ghor
Journal of Systems Architecture, 2019, 98, pp.243-248. ⟨10.1016/j.sysarc.2019.06.002⟩
Journal articles hal-02613084v1

On the expressive power of invariants in parametric timed automata

Étienne André , Didier Lime , Mathias Ramparison
24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Jing Sun; Jun Pang, Nov 2019, Hong Kong, China
Conference papers hal-02267883v1

Feasibility Analysis of Periodic Real-Time Systems with Energy Harvesting Capabilities

Maryline Chetto , Audrey Queudet
Sustainable Computing : Informatics and Systems, 2019, ⟨10.1016/j.suscom.2019.02.002⟩
Journal articles hal-02058575v1

Parametric Timed Broadcast Protocols

Étienne André , Benoît Delahaye , Paulin Fournier , Didier Lime
20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Constantin Enea and Ruzica Piskac, Jan 2019, Lisboa, Portugal. ⟨10.1007/978-3-030-11245-5_23⟩
Conference papers hal-01961497v1

Parametric Verification: An Introduction

Étienne André , Michał Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, In press
Journal articles hal-02170526v1

Image-based Ciphering of Video Streams and Object Recognition for Urban and Vehicular Surveillance Services

Karim Hammoudi , Mohammed Abu Taha , Halim Benhabiles , Mahmoud Melkemi , Feryal Windal , et al.
International Conference on Information and Computer Technology, Mar 2019, London, United Kingdom. 8 p
Conference papers hal-02184667v1

Energy Guarantee Scheme for Real-time Systems with Energy Harvesting Constraints

Hussein El Ghor , Maryline Chetto
International Journal of Automation and Computing, 2019, ⟨10.1007/s11633-018-1166-3⟩
Journal articles hal-02016880v1

Parametric analyses of attack-fault trees

Étienne André , Didier Lime , Mathias Ramparison , Mariëlle Stoelinga
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany
Conference papers hal-02153316v1

Presentation of the 9th Edition of the Model Checking Contest

Elvio Amparore , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal Zilio , Francesco Gallà , et al.
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Conference papers hal-02094047v1

Application and Theory of Petri Nets and Concurrency: Special Issue of Selected Papers from Petri Nets 2018.

Victor Khomenko , Olivier H. Roux
Lecture Notes in Computer Science, 169, Springer International Publishing, 2019, Lecture Notes in Computer Science, 978-3-319-91267-7. ⟨10.1007/978-3-319-91268-4⟩
Proceedings hal-02611701v1