PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Iosif, Radu"

Author of the publication

copydeleteadd this publication to your clipboard
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures.

, , and . CoRR, (2019)

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.

Georgios Iosifidis University of Stuttgart

 

Other publications of authors with the same name

Programs with lists are counter automata., , , , , and . Formal Methods in System Design, 38 (2): 158-192 (2011)Symmetry reductions for model checking of concurrent dynamic software.. STTT, 6 (4): 302-319 (2004)Tool Demonstration of the FLATA Counter Automata Toolset., , , and . WING@ETAPS/IJCAR, volume 1 of EPiC Series in Computing, page 75. EasyChair, (2010)How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?, and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 89-105. (2016)Program Verification with Separation Logic.. SPIN, volume 10869 of Lecture Notes in Computer Science, page 48-62. Springer, (2018)dSPIN: A Dynamic Extension of SPIN., , and . SPIN, volume 1680 of Lecture Notes in Computer Science, page 261-276. Springer, (1999)Underapproximation of Procedure Summaries for Integer Programs, , and . CoRR, (2012)Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures., , and . CoRR, (2019)Automata-Based Termination Proofs., and . CIAA, volume 5642 of Lecture Notes in Computer Science, page 165-177. Springer, (2009)Underapproximation of Procedure Summaries for Integer Programs., , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 245-259. Springer, (2013)