E-LIB Suche - Ergebnisse für: Dal Zilio, Silvano

1

Automated Polyhedral Abstraction Proving:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Amat, Nicolas ; Dal Zilio, Silvano ; Le Botlan, Didier - p. 324-345 , 2023

2

A formal toolchain for offline and run-time verification of..:

Dal Zilio, Silvano ; Hladik, Pierre-Emmanuel ; Ingrand, Félix.
Robotics and Autonomous Systems. 159 (2023) - p. 104301 , 2023

Link: https://doi.org/10.1016/..

3

Project and Conquer: Fast Quantifier Elimination for Checki..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Amat, Nicolas ; Dal Zilio, Silvano ; Le Botlan, Didier - p. 101-123 , 2023

Link: https://doi.org/10.1007/..

4

Leveraging polyhedral reductions for solving Petri net reac..:

Amat, Nicolas ; Dal Zilio, Silvano ; Le Botlan, Didier
International Journal on Software Tools for Technology Transfer. 25 (2022) 1 - p. 95-114 , 2022

Link: https://doi.org/10.1007/..

5

Hippo: A formal-model execution engine to control and verif..:

Hladik, Pierre-Emmanuel ; Ingrand, Félix ; Dal Zilio, Silvano.
Journal of Systems and Software. 181 (2021) - p. 111033 , 2021

Link: https://doi.org/10.1016/..

6

RT-MOBS: A compositional observer semantics of time Petri n..:

Ge, Ning ; Dal Zilio, Silvano ; Liu, Hongyu..
Science of Computer Programming. 206 (2021) - p. 102624 , 2021

Link: https://doi.org/10.1016/..

7

Accelerating the Computation of Dead and Concurrent Places ..:

, In: Model Checking Software; Lecture Notes in Computer Science,

Amat, Nicolas ; Dal Zilio, Silvano ; Le Botlan, Didier - p. 45-62 , 2021

Link: https://doi.org/10.1007/..

8

On the Combination of Polyhedral Abstraction and SMT-Based ..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Amat, Nicolas ; Berthomieu, Bernard ; Dal Zilio, Silvano - p. 164-185 , 2021

Link: https://doi.org/10.1007/..

9

MCC: A Tool for Unfolding Colored Petri Nets in PNML Format:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Dal Zilio, Silvano - p. 426-435 , 2020

Link: https://doi.org/10.1007/..

10

A State Class Construction for Computing the Intersection o..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Lubat, Éric ; Dal Zilio, Silvano ; Le Botlan, Didier.. - p. 79-95 , 2019

Link: https://doi.org/10.1007/..

11

Counting Petri net markings from reduction equations:

Berthomieu, Bernard ; Le Botlan, Didier ; Dal Zilio, Silvano
International Journal on Software Tools for Technology Transfer. 22 (2019) 2 - p. 163-181 , 2019

Link: https://doi.org/10.1007/..

12

Presentation of the 9th Edition of the Model Checking Conte..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Amparore, Elvio ; Berthomieu, Bernard ; Ciardo, Gianfranco... - p. 50-68 , 2019

Link: https://doi.org/10.1007/..

13

Formal verification of user-level real-time property patter..:

, In: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE),

Ge, Ning ; Pantel, Marc ; Dal Zilio, Silvano - p. 1-8 , 2017

Link: https://doi.org/10.1109/..

14

Symmetry reduction for time Petri net state classes:

Bourdil, Pierre-Alain ; Berthomieu, Bernard ; Dal Zilio, Silvano.
Science of Computer Programming. 132 (2016) - p. 209-225 , 2016

Link: https://doi.org/10.1016/..

15

Resource control for synchronous cooperative threads:

Amadio, Roberto M. ; Dal Zilio, Silvano
Theoretical Computer Science. 358 (2006) 2-3 - p. 229-254 , 2006

Link: https://doi.org/10.1016/..