( en | de | ru )

 

Disambiguation of "Androutsopoulos, Kelly"

Author of the publication

copydeleteadd this publication to your clipboard
Amorphous Slicing of Extended Finite State Machines.

, , , , , and . IEEE Trans. Software Eng., 39 (7): 892-909 (2013)

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.

Jannis Androutsopoulos

Ion Androutsopoulos

Thomas Kelly

Lutz-Ulrich Kelly

Sven Kelly

 

Other publications of authors with the same name

UML to B: Formal Verification of Object-Oriented Models., , and . IFM, volume 2999 of Lecture Notes in Computer Science, page 187-206. Springer, (2004)Safety and Security Analysis of Object-Oriented Models., , and . SAFECOMP, volume 2434 of Lecture Notes in Computer Science, page 82-93. Springer, (2002)A Racket-Based Robot to Teach First-Year Computer Science., , , , , , , , and . ELS, page 54-62. ELSAA, (2014)Refinement Patterns for UML., , and . REFINE, volume 137 of Electronic Notes in Theoretical Computer Science, page 131-149. Elsevier, (2005)Reactive System Refinement of Distributed Systems in B., and . IFM, page 415-434. Springer, (1999)Correctly Slicing Extended Finite State Machines., , and . From Lambda Calculus to Cybersecurity Through Program Analysis, volume 12065 of Lecture Notes in Computer Science, page 149-197. Springer, (2020)Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology - Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5.. Genet. Program. Evolvable Mach., 20 (1): 147-149 (2019)MIRTO: an Open-Source Robotic Platform for Education., , , , , , , , , and 8 other author(s). ECSEE, page 55-62. ACM, (2018)Structuring and Design of Reactive Systems Using RSDS and B., , and . FASE, volume 1783 of Lecture Notes in Computer Science, page 97-111. Springer, (2000)From Implicit Specifications to Explicit Designs in Reactive System Development., , and . IFM, volume 2335 of Lecture Notes in Computer Science, page 49-68. Springer, (2002)