Filter your results
- 47
- 18
- 41
- 20
- 2
- 1
- 1
- 59
- 4
- 2
- 1
- 1
- 8
- 10
- 4
- 15
- 5
- 1
- 8
- 4
- 1
- 3
- 2
- 1
- 1
- 1
- 65
- 46
- 22
- 22
- 22
- 19
- 14
- 9
- 5
- 5
- 4
- 3
- 3
- 2
- 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
- 65
- 16
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
65 Results
|
Integer-Complete Synthesis for Bounded Parametric Timed Automata9th International Conference on Reachability Problems (RP 2015), Sep 2015, Warsaw, Poland. pp.7-19, ⟨10.1007/978-3-319-24537-9_2⟩
Conference papers
hal-02939637v1
|
||
|
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
|
||
|
Verification of Two Real-Time Systems Using Parametric Timed AutomataWATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden
Conference papers
hal-01240583v1
|
||
The Inverse MethodISTE Ltd and John Wiley & Sons Inc, pp.176, 2013, Focus, 9781848214477
Books
hal-00785289v1
|
|||
|
Parametric Verification: An IntroductionLNCS Transactions on Petri Nets and Other Models of Concurrency, In press
Journal articles
hal-02170526v1
|
||
|
Parametric Timed Model Checking for Guaranteeing Timed Opacity17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), Ming-Hsien Tsai, Oct 2019, Taipei, Taiwan
Conference papers
hal-02170527v1
|
||
|
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Mohammad Mousavi and Anna Philippou, Jun 2022, Lucca, Italy. pp.67-87, ⟨10.1007/978-3-031-08679-3_5⟩
Conference papers
hal-03801020v1
|
||
|
An Approximation of Minimax Control using Random Sampling and Symbolic ComputationIFAC-PapersOnLine, 2021, Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), 54 (5), pp.265-270. ⟨10.1016/j.ifacol.2021.08.509⟩
Journal articles
hal-03343147v1
|
||
|
Timed Automata with Parametric Updates18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia. pp.21-29, ⟨10.1109/acsd.2018.000-2⟩
Conference papers
hal-01957157v1
|
||
|
Time4sys2imi: A tool to formalize real-time system models under uncertainty16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia
Conference papers
hal-02234990v1
|
||
|
Repairing Timed Automata Clock Guards through Abstraction and Testing13th International Conference on Tests and Proofs (TAP 2019), Dirk Beyer; Chantal Keller, Oct 2019, Porto, Portugal
Conference papers
hal-02235206v1
|
||
|
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩
Conference papers
hal-01215588v1
|
||
|
Contributions to parametric timed model checking: Theory and algorithmsLogic in Computer Science [cs.LO]. Université Paris 13, 2018
Habilitation à diriger des recherches
tel-01857440v1
|
||
|
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Conference papers
hal-02538041v1
|
||
|
Online Parametric Timed Pattern Matching with Automata-Based Skipping11th Annual NASA Formal Methods Symposium (NFM 2019), Moshe Vardi, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9_26⟩
Conference papers
hal-02072161v1
|
||
Parametric updates in parametric timed automataLogical Methods in Computer Science, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩
Journal articles
hal-03340905v1
|
|||
|
Model-bounded monitoring of hybrid systemsICCPS 2021 - 12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States
Conference papers
hal-03142412v1
|
||
|
A Benchmarks Library for Extended Parametric Timed AutomataTAP 2021 - 15th International Conference on Tests and Proofs, Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
Conference papers
hal-03265573v1
|
||
|
Automated synthesis of local time requirement for service compositionSoftware and Systems Modeling, 2020, 19, pp.983-1013. ⟨10.1007/s10270-020-00787-5⟩
Journal articles
hal-02512449v1
|
||
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩
Conference papers
istex
hal-00926126v1
|
|||
|
Decision Problems for Parametric Timed Automata18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩
Conference papers
hal-02538055v1
|
||
|
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking20th 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-01966300v1
|
||
|
What’s decidable about parametric timed automata?International Journal on Software Tools for Technology Transfer, 2019, 21 (2), pp.203-219. ⟨10.1007/s10009-017-0467-0⟩
Journal articles
hal-02172670v1
|
||
|
CosyVerif: An Open Source Extensible Verification Environment18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩
Conference papers
hal-00926165v1
|
||
|
Fluoxetine, desipramine, and the dual antidepressant milnacipran reduce alcohol self-administration and/or relapse in dependent rats.Neuropsychopharmacology, 2011, 36 (7), pp.1518-30. ⟨10.1038/npp.2011.37⟩
Journal articles
inserm-00746162v1
|
||
Quantitative Microroughness Analysis Down To The Nanometer-ScaleEPL - Europhysics Letters, 1993, 22, pp.717-722
Journal articles
hal-01324254v1
|
|||
L-arginine supplementation alleviates post-prandial endothelial dysfunction when baseline fasting plasma arginine concentration is low: a randomized controlled trial in healthy subjects with risk factors for metabolic syndrome25. Federation European Physiological Societies (FEPS), Federation of European Physiological Societies.; French Physiological Society., Jun 2016, Paris, France. pp.2
Conference papers
hal-02741066v1
|
|||
|
Guaranteeing Timed Opacity using Parametric Timed Model CheckingACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩
Journal articles
hal-03798157v1
|
||
|
Robust optimal periodic control using guaranteed Euler's methodACC 2021 - American Control Conference, May 2021, New Orleans/Virtual, United States. pp.986-991, ⟨10.23919/ACC50511.2021.9482621⟩
Conference papers
hal-03174207v1
|
||
|
IMITATOR 3: Synthesis of Timing Parameters Beyond DecidabilityCAV 2021 - 33rd International Conference on Computer-Aided Verification, Rustan Leino and Alexandra Silva, Jul 2021, Los Angeles/Online, United States. pp.552-565, ⟨10.1007/978-3-030-81685-8_26⟩
Conference papers
hal-03320626v1
|