Filtrer vos résultats
- 31
- 27
- 1
- 26
- 24
- 3
- 2
- 2
- 1
- 1
- 1
- 54
- 6
- 4
- 4
- 4
- 5
- 8
- 6
- 2
- 3
- 3
- 2
- 1
- 1
- 4
- 1
- 2
- 4
- 2
- 1
- 1
- 2
- 1
- 2
- 55
- 3
- 1
- 29
- 18
- 13
- 12
- 11
- 9
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 59
- 14
- 11
- 8
- 8
- 6
- 6
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 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
59 résultats
|
|
|
triés par
|
FAST: Fast Acceleration of Symbolic Transition Systems15th international conference on Computer Aided Verification, 2003, United States. pp.118-121
Communication dans un congrès
hal-00084185v1
|
|||
Recent and simple algorithms for Petri netsSoftware and Systems Modeling, 2015, 14 (2), pp.719-725. ⟨10.1007/s10270-014-0426-0⟩
Article dans une revue
hal-02391830v1
|
|||
|
|
Forward Analysis for WSTS, Part II: Complete WSTSLogical Methods in Computer Science, 2012, 8 (3), ⟨10.2168/LMCS-8(3:28)2012⟩
Article dans une revue
hal-03189994v1
|
||
|
|
Towards a model-checker for counter systemsATVA 2006 - 4th International Symposium on Automated Technology for Verification and Analysis, Susanne Graf; Wenhui Zhang, Oct 2006, Beijing, China. pp.493-507, ⟨10.1007/11901914_36⟩
Communication dans un congrès
hal-03203578v1
|
||
|
|
Commodification of accelerations for the Karp and Miller Construction.Discrete Event Dynamic Systems, 2021, 31 (2), pp.251-270
Article dans une revue
hal-03137054v1
|
||
|
|
Flat Acceleration in Symbolic Model CheckingThird International Symposium, ATVA 2005, 2005, Taipei, Taiwan. pp.474-488, ⟨10.1007/11562948_35⟩
Communication dans un congrès
hal-00346302v1
|
||
|
|
The Theory of WSTS: The Case of Complete WSTSProceedings of the 33rd International Conference on Applications and Theory of Petri Nets (PETRI NETS'12), volume 7347 of Lecture Notes in Computer Science, Hamburg, Germany. Springer, pp.3-31, 2012, ⟨10.1007/978-3-642-31131-4_2⟩
Chapitre d'ouvrage
hal-03189998v1
|
||
|
|
Bounded Reachability Problems are Decidable in FIFO Machines31st International Conference on Concurrency Theory (CONCUR 2020), Sep 2020, Vienna, Austria
Communication dans un congrès
hal-02900813v1
|
||
The Well Structured Problem for Presburger Counter MachinesIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2019, Bombay, India. ⟨10.4230/LIPIcs.FSTTCS.2019.41⟩
Communication dans un congrès
hal-04285406v1
|
|||
|
|
Consciousness, Free Energy and Cognitive AlgorithmsFrontiers in Psychology, 2020, 11, pp.1675. ⟨10.3389/fpsyg.2020.01675⟩
Article dans une revue
hal-03066506v1
|
||
|
|
Model-Checking CTL* over Flat Presburger Counter SystemsJournal of Applied Non-Classical Logics, 2010, 20 (4), pp.313-344. ⟨10.3166/jancl.20.313-344⟩
Article dans une revue
hal-03191246v1
|
||
|
|
Ordinal Theory for Expressiveness of Well-Structured Transition SystemsInformation and Computation, 2013, 224, pp.1-22. ⟨10.1016/j.ic.2012.11.003⟩
Article dans une revue
hal-00925762v1
|
||
|
|
The convex hull of a regular set of integer vectors is polyhedral and effectively computableInformation Processing Letters, 2005, 96 (1), pp.30 - 35. ⟨10.1016/j.ipl.2005.04.004⟩
Article dans une revue
hal-00345982v1
|
||
|
|
Réification des accélérations pour la construction de Karp et MillerModélisation des Systèmes Réactifs (MSR 19), Nov 2019, Angers, France, Nov 2019, Angers, France
Communication dans un congrès
hal-02431913v1
|
||
|
|
Réification des accélérations pour la construction de Karp et MillerMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France
Communication dans un congrès
hal-02319755v1
|
||
|
|
FAST: acceleration from theory to practiceInternational Journal on Software Tools for Technology Transfer, 2008, 10 (5), pp.401-424. ⟨10.1007/s10009-008-0064-3⟩
Article dans une revue
hal-00345968v1
|
||
|
|
Natural Language Processing for Cognitive Analysis of EmotionsEMPG - Meeting of the EUROPEAN MATHEMATICAL PSYCHOLOGY GROUP 2022, Sep 2022, Rovereto, Italy
Poster de conférence
hal-03805768v1
|
||
|
|
Reachability Problems - 6th International Workshop, RP 2012Spinger, pp.150, 2012, 978-3-642-33511-2. ⟨10.1007/978-3-642-33512-9⟩
Ouvrages
hal-00760303v1
|
||
|
|
Coverability, Termination, and Finiteness in Recursive Petri NetsFundamenta Informaticae, 2022, 183, pp.33 - 66. ⟨10.3233/fi-2021-2081⟩
Article dans une revue
hal-04270919v1
|
||
|
|
Automatic Verification of Counter Systems With Ranking FunctionElectronic Notes in Theoretical Computer Science, 2009, 239, pp.85-103. ⟨10.1016/j.entcs.2009.05.032⟩
Article dans une revue
hal-01195921v1
|
||
|
|
Forward Analysis and Model Checking for Trace Bounded WSTS32nd International Conference on Application and Theory of Petri Nets, Jun 2011, Newcastle, United Kingdom. p. 49--68, ⟨10.1007/978-3-642-21834-7_4⟩
Communication dans un congrès
hal-00610011v1
|
||
Forward Analysis for WSTS, Part III: Karp-Miller TreesLogical Methods in Computer Science, 2020, 16 (2)
Article dans une revue
hal-03216116v1
|
|||
|
|
Emotion Recognition based on Psychological Components in Guided Narratives for Emotion RegulationLaTeCH-CLfL2023, 7th Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, Association for Computational Linguistics, May 2023, Dubrovnik, Croatia. pp.72-81, ⟨10.18653/v1/2023.latechclfl-1.8⟩
Communication dans un congrès
hal-04094814v1
|
||
Well Behaved Transition SystemsLogical Methods in Computer Science, 2017, ⟨10.23638/LMCS-13(3:24)2017⟩
Article dans une revue
hal-04285502v1
|
|||
|
|
Property-Directed Verification of Recurrent Neural Networks2020
Pré-publication, Document de travail
hal-03134999v1
|
||
|
|
Decomposition of Decidable First-Order Logics over Integers and RealsTemporal Representation and Reasoning, 2008. TIME '08. 15th International Symposium on, 2008, Montreal, QC, Canada. pp.147-155, ⟨10.1109/TIME.2008.22⟩
Communication dans un congrès
hal-00345998v1
|
||
|
|
The Logical View on Continuous Petri NetsACM Transactions on Computational Logic, 2017, 18 (3)
Article dans une revue
hal-01652793v1
|
||
|
|
Approaching the Coverability Problem Continuously22nd International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2016), Apr 2016, Eindhoven, Netherlands. pp.480-496, ⟨10.1007/978-3-662-49674-9_28⟩
Communication dans un congrès
hal-01408044v1
|
||
|
|
Forward analysis for WSTS, part I: completionsMathematical Structures in Computer Science, 2020, 30 (7), pp.752-832. ⟨10.1017/S0960129520000195⟩
Article dans une revue
hal-03186488v1
|
||
Verification of Flat FIFO SystemsLogical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(4:4)2020⟩
Article dans une revue
hal-04285325v1
|
- 1
- 2