E-LIB Suche - Ergebnisse für: Duret-Lutz, A.

1

Variations on parallel explicit emptiness checks for genera..:

Renault, E. ; Duret-Lutz, A. ; Kordon, F..
International Journal on Software Tools for Technology Transfer. 19 (2016) 6 - p. 653-673 , 2016

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

2

The Mealy-machine reduction functions of Spot:

Renkin, Florian ; Schlehuber-Caissier, Philipp ; Duret-Lutz, Alexandre.
Science of Computer Programming. 230 (2023) - p. 102995 , 2023

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

3

Effective Reductions of Mealy Machines:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Renkin, Florian ; Schlehuber-Caissier, Philipp ; Duret-Lutz, Alexandre. - p. 114-130 , 2022

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

4

Dissecting ltlsynt:

Renkin, Florian ; Schlehuber-Caissier, Philipp ; Duret-Lutz, Alexandre.
Formal Methods in System Design. 61 (2022) 2-3 - p. 248-289 , 2022

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

5

From Spot 2.0 to Spot 2.10: What's New?:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Duret-Lutz, Alexandre ; Renault, Etienne ; Colange, Maximilien... - p. 174-187 , 2022

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

6

Practical Applications of the Alternating Cycle Decompositi..:

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

Casares, Antonio ; Duret-Lutz, Alexandre ; Meyer, Klara J... - p. 99-117 , 2022

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

7

Seminator 2 Can Complement Generalized Büchi Automata via I..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Blahoudek, František ; Duret-Lutz, Alexandre ; Strejček, Jan - p. 15-27 , 2020

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

8

Practical "Paritizing" of Emerson-Lei Automata:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Renkin, Florian ; Duret-Lutz, Alexandre ; Pommellet, Adrien - p. 127-143 , 2020

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

9

Generic Emptiness Check for Fun and Profit:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Baier, Christel ; Blahoudek, František ; Duret-Lutz, Alexandre... - p. 445-461 , 2019

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

10

Model checking with generalized Rabin and Fin-less automata:

Bloemen, Vincent ; Duret-Lutz, Alexandre ; van de Pol, Jaco
International Journal on Software Tools for Technology Transfer. 21 (2019) 3 - p. 307-324 , 2019

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

11

Explicit state model checking with generalized Büchi and Ra..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Bloemen, Vincent ; Duret-Lutz, Alexandre ; Pol, Jaco van de - p. 50-59 , 2017

Link: https://dl.acm.org/doi/1..

12

Is there a best büchi automaton for explicit model checking:

, In: Proceedings of the 2014 International SPIN Symposium on Model Checking of Software,

Blahoudek, František ; Duret-Lutz, Alexandre ; Křetínský, Mojmír. - p. 68-76 , 2014

Link: https://dl.acm.org/doi/1..

13

Effective Reductions of Mealy Machines:

Renkin, Florian ; Schlehuber-Caissier, Philipp ; Duret-Lutz, Alexandre.
info:eu-repo/semantics/altIdentifier/arxiv/2206.10228. , 2022

Link: https://hal.archives-ouv..

14

Improvements to ltlsynt:

Renkin, Florian ; Schlehuber, Philipp ; Duret-Lutz, Alexandre.
http://arxiv.org/abs/2201.05376. , 2022

Link: http://arxiv.org/abs/220..

15

From Spot 2.0 to Spot 2.10: What's New?:

Duret-Lutz, Alexandre ; Renault, Etienne ; Colange, Maximilien...
http://arxiv.org/abs/2206.11366. , 2022

Link: http://arxiv.org/abs/220..