Zobrazeno 1 - 10 of 50 pro vyhledávání: '"Stefan Schwoon"'
1
Akademický článek
Computing the Reveals Relation in Occurrence Nets
Autor: Stefan Haar, Christian Kern, Stefan Schwoon
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 54, Iss Proc. GandALF 2011, Pp 31-44 (2011)
Petri net unfoldings are a useful tool to tackle state-space explosion in verification and related tasks. Moreover, their structure allows to access directly the relations of causal precedence, concurrency, and conflict between events. Here, we explo
Externí odkaz: https://doaj.org/article/52e5f5a36a894050891f8586b1029f16
Zobrazit plný text záznamu
2
Drawing the Line: Basin Boundaries in Safe Petri Nets
Autor: Stefan Haar, Loïc Paulevé, Stefan Schwoon
Publikováno v: CMSB 2020-18th International Conference on Computational Methods in Systems Biology
CMSB 2020-18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany. ⟨10.1007/978-3-030-60327-4_17⟩
Computational Methods in Systems Biology ISBN: 9783030603267
CMSB
International audience; Attractors of network dynamics represent the long-term behaviours of the modelled system. Understanding the basin of an attrac-tor, comprising all those states from which the evolution will eventually lead into that attractor,
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed3d570f18ed31db64464321a5b36433
https://hal.science/hal-02898841
Zobrazit plný text záznamu
3
Distributed computation of vector clocks in Petri net unfoldings for test selection
Autor: Agnes Madalinski, Stefan Schwoon, Loïg Jezequel
Publikováno v: Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, Springer Verlag, 2020, ⟨10.1007/s10626-020-00310-4⟩
It has been shown that annotating Petri nets unfoldings with time stamps allows to build distributed testers for distributed systems. However, the construction of the annotated unfolding of a distributed system currently remains a centralized task. I
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::17e57d291e45d8f2c5af8150f5433070
https://hal.archives-ouvertes.fr/hal-02560296
Zobrazit plný text záznamu
4
Distributed computation of vector clocks in Petri nets unfolding for test selection
Autor: Stefan Schwoon, Agnes Madalinski, Loïg Jezequel
Publikováno v: Workshop on Discrete Event Systems (WODES)
Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy
HAL
International audience; It has been shown that annotating Petri net unfoldings with time stamps allows for building distributed testers for distributed systems. However, the construction of the annotated unfolding of a distributed system currently re
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2875dddb25e6e7cc02bdd3b6fb50e225
https://hal.inria.fr/hal-01735406
Zobrazit plný text záznamu
5
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Autor: Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
Publikováno v: Petri nets 2017-38th International Conference on Applications and Theory of Petri Nets and Concurrency
Petri nets 2017-38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩
Fundamenta Informaticae, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩
Application and Theory of Petri Nets and Concurrency ISBN: 9783319578606
Petri Nets
International audience; Diagnosability and opacity are two well-studied problems in discrete-event systems. We revisit these two problems with respect to expressiveness and complexity issues. We first relate different notions of diagnosability and op
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de289f3c82bfbe80ba598c6d7f06b1c8
https://hal.inria.fr/hal-01484476v2/document
Zobrazit plný text záznamu
6
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
Autor: Stefan Schwoon, César Rodríguez
Publikováno v: Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13), 2013, Vietnam. pp.492-495
Automated Technology for Verification and Analysis ISBN: 9783319024431
ATVA
Cunf is a tool for building and analyzing unfoldings of Petri nets with read arcs. An unfolding represents the behaviour of a net by a partial order, effectively coping with the state-explosion problem stemming from the interleaving of concurrent act
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::822c6ef1e69dd2923fab2a58c7a6b78c
https://doi.org/10.1007/978-3-319-02444-8_42
Zobrazit plný text záznamu
8
Active diagnosis with observable quiescence
Autor: Piotr Hofman, Stanislav Böhm, Stefan Schwoon, Serge Haddad, Stefan Haar
Publikováno v: CDC
54th IEEE Conference on Decision and Control (CDC'15)
54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan
Active diagnosis of a discrete-event system consists in controlling the system such that faults can be detected. Here we extend the framework of active diagnosis by introducing modalities for actions and states and a new capability for the controller
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::281bb88795d7fa0bfd0eea1ad0abdea1
https://doi.org/10.1109/cdc.2015.7402449
Zobrazit plný text záznamu
9
Diagnosability Under Weak Fairness
Autor: Stefan Schwoon, Stefan Haar, Victor Khomenko, Vasileios Germanos
Publikováno v: ACM Transactions on Embedded Computing Systems (TECS)
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, 14 (4)
14th International Conference on Application of Concurrency to System Design (ACSD'14)
14th International Conference on Application of Concurrency to System Design (ACSD'14), 2014, Tunis, Tunisia
ACSD
ACM Transactions on Embedded Computing Systems (TECS), 2015, 14 (4), ⟨10.1145/2832910⟩
In partially observed Petri nets, diagnosis is the task of detecting whether the given sequence of observed labels indicates that some unobservable fault has occurred. Diagnosability is an associated property of the Petri net, stating that in any pos
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe97f63d58557a97858ec144d526d5f4
http://hdl.handle.net/2086/17389
Zobrazit plný text záznamu
10
Test Case Generation for Concurrent Systems Using Event Structures
Autor: Hernán Ponce-de-León, Stefan Schwoon, Konstantinos Athanasiou
Publikováno v: Lecture Notes in Computer Science
9th International Conference on Tests and Proofs (TAP'15)
9th International Conference on Tests and Proofs (TAP'15), 2015, L'Aquila, Italy
Tests and Proofs ISBN: 9783319212142
TAP@STAF
This paper deals with the test-case generation problem for concurrent systems that are specified by true-concurrency models such as Petri nets. We show that using true-concurrency models reduces both the size and the number of test cases needed for a
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cec5b4946e8ced72c1087e9b11e9140
https://hal.archives-ouvertes.fr/hal-01242923
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje