 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00772676v1
Communication dans un congrès
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains FOSSACS, Mar 2009, York, United Kingdom. pp.440-455, 2009 |
||
|
hal-00772670v1
Article dans une revue
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR, Arxive, 2009, abs/0901.0501 |
||
|
hal-00772632v1
Communication dans un congrès
Andreas Gaiser, Stefan Schwoon. Comparison of Algorithms for Checking Emptiness on Büchi Automata MEMICS, Nov 2009, Znojmo, Czech Republic. 2009 |
||
|
hal-00776598v1
Communication dans un congrès
César Rodríguez, Stefan Schwoon. Verification of Petri Nets with Read Arcs Koutny, Maciej and Ulidowski, Irek. Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, United Kingdom. Springer, 7454, pp.471-485, 2012, <10.1007/978-3-642-32940-1_33> |
||
|
inria-00638262v1
Communication dans un congrès
Stefan Haar, Christian Kern, Stefan Schwoon. Computing the Reveals Relation in Occurrence Nets D'Agostino, Giovanna and La Torre, Salvatore. Gandalf, Jun 2011, Minori, Italy. 54, pp.31-44, 2011, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.54.3> |
||
|
hal-00779945v1
Communication dans un congrès
Stefan Schwoon, César Rodríguez. Construction and SAT-based verification of Contextual Unfoldings Holzer, Markus and Kutrib, Martin and Pighizzini, Giovanni. Proceedings of the 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS'11), 2011, Limburg, Germany, Germany. Springer, 6808, pp.34-42, 2011, <10.1007/978-3-642-22600-7_3> |
||
|
|
||
|
hal-00779950v1
Communication dans un congrès
César Rodríguez, Stefan Schwoon, Paolo Baldan. Efficient contextual unfolding Katoen, Joost-Pieter and König, Barbara. Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11), 2011, Aachen, Germany, Germany. Springer, 6901, pp.342-357, 2011, <10.1007/978-3-642-23217-6_23> |
||
|
hal-00779899v1
Communication dans un congrès
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars Ehrig, Hartmut and Rensink, Arend and Rozenberg, Grzegorz and Schürr, Andy. Proceedings of the 5th International Conference on Graph Transformations (ICGT'10), 2010, Enschede, Netherlands. Springer, 6372, pp.91-106, 2010, <10.1007/978-3-642-15928-2_7> |
||
|
hal-00776752v1
Article dans une revue
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez et al. Efficient unfolding of contextual Petri nets Theoretical Computer Science, Elsevier, 2012, 449 (1), pp.2-22. <10.1016/j.tcs.2012.04.046> |
||
|
|
||