Thomas Hujsa

ORCID

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 17

Top Venues

CoRR

Petri Nets

Fundam. Informaticae

Trans. Petri Nets Other Model. Concurr.

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa
Property Directed Reachability for Generalized Petri Nets. CoRR (2022)
Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa
Property Directed Reachability for Generalized Petri Nets. TACAS (1) (2022)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
On the Petri Nets with a Single Shared Place and Beyond. CoRR (2020)
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
Checking marking reachability with the state equation in Petri net subclasses. CoRR (2020)
Raymond R. Devillers, Thomas Hujsa
Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods. Fundam. Informaticae 169 (1-2) (2019)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. CoRR (2019)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. CoRR (2019)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems. ATAED@Petri Nets/ACSD (2019)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Thomas Hujsa, Raymond R. Devillers
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets. Fundam. Informaticae 161 (4) (2018)
Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
Proposition of an Action Layer for Electrum. ABZ (2018)
Eike Best, Thomas Hujsa, Harro Wimmel
Sufficient conditions for the marked graph realisability of labelled transition systems. Theor. Comput. Sci. 750 (2018)
Raymond R. Devillers, Thomas Hujsa
Analysis and Synthesis of Weighted Marked Graph Petri Nets. Petri Nets (2018)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems. ATAED@Petri Nets/ACSD (2018)
Thomas Hujsa, Raymond R. Devillers
On Liveness and Deadlockability in Subclasses of Weighted Petri Nets. Petri Nets (2017)
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
On Liveness and Reversibility of Equal-Conflict Petri Nets. Fundam. Informaticae 146 (1) (2016)
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
On the Reversibility of Live Equal-Conflict Petri Nets. Petri Nets (2015)
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
On the Reversibility of Well-Behaved Weighted Choice-Free Systems. Petri Nets (2014)
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon
Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Mohamed Benazouz, Alix Munier Kordon, Thomas Hujsa, Bruno Bodin
Liveness evaluation of a cyclo-static DataFlow graph. DAC (2013)
Jean-Marc Delosme, Thomas Hujsa, Alix Munier Kordon
Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems. ACSD (2013)

Thomas Hujsa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Hujsa