Filter your results
- 10
- 11
- 5
- 4
- 1
- 9
- 1
- 10
- 10
- 10
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Scheduling and power management in energy harvesting computing systems with real-time constraintsJournal 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 automata24th 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 CapabilitiesSustainable Computing : Informatics and Systems, 2019, ⟨10.1016/j.suscom.2019.02.002⟩
Journal articles
hal-02058575v1
|
|||
|
Parametric Timed Broadcast Protocols20th 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 IntroductionLNCS 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 ServicesInternational 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 ConstraintsInternational Journal of Automation and Computing, 2019, ⟨10.1007/s11633-018-1166-3⟩
Journal articles
hal-02016880v1
|
|||
|
Parametric analyses of attack-fault trees19th 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 ContestTools 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.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
|