( en | de | ru )

 

Disambiguation of "Madelaine, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
Using SMT Engine to Generate Symbolic Automata.

, , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Madelaine Hildebrand

Madelaine Miethke

Madelaine Böhme

Madelaine Matjak

Madelaine Löfqvist

 

Other publications of authors with the same name

Symbolic bisimulation for open and parameterized systems., and . PEPM@POPL, page 14-26. ACM, (2020)Verification of Distributed Hierarchical Components., , and . FACS, volume 160 of Electronic Notes in Theoretical Computer Science, page 41-55. Elsevier, (2005)Refinements for Open Automata., , , and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 11-29. Springer, (2023)Verification of Concurrent Design Patterns with Data., , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 161-181. Springer, (2019)A Denotational Semantics for Parameterised Networks of Synchronised Automata., and . UTP, volume 10134 of Lecture Notes in Computer Science, page 93-113. Springer, (2016)Finiteness Conditions and Structural Construction of Automata for All Process Algebras., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 275-292. DIMACS/AMS, (1990)Tool Demonstration: Tools for Process Algebras., and . FORTE, volume C-2 of IFIP Transactions, page 463-466. North-Holland, (1991)Specification and Verification of a Sliding Window Protocol in LOTOS., and . FORTE, volume C-2 of IFIP Transactions, page 495-510. North-Holland, (1991)Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software., and . Sci. Comput. Program., (2016)Scheduling Live Migration of Virtual Machines., , and . IEEE Trans. Cloud Computing, 8 (1): 282-296 (2020)