PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Inverso, Omar"

Author of the publication

copydeleteadd this publication to your clipboard
Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).

, , , , and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 398-401. Springer, (2014)

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.

Omar Nimer University of Stuttgart

Omar Elawadi University of Stuttgart

 

Other publications of authors with the same name

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution)., , , , and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 402-404. Springer, (2014)Toward Formal Models and Languages for Verifiable Multi-Robot Systems., , and . Front. Robotics and AI, (2018)CSeq: A concurrency pre-processor for sequential C verification tools., , and . ASE, page 710-713. IEEE, (2013)Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 585-602. Springer, (2014)CSeq: A Sequentialization Tool for C - (Competition Contribution)., , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 616-618. Springer, (2013)AErlang: Empowering Erlang with Attribute-Based Communication., , , and . COORDINATION, volume 10319 of Lecture Notes in Computer Science, page 21-39. Springer, (2017)Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs., , , , and . ASE, page 807-812. IEEE Computer Society, (2015)Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution)., , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 375-379. (2017)Verifying Concurrent Programs by Memory Unwinding., , , , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 551-565. Springer, (2015)Identification of credulous users on Twitter., , , and . SAC, page 2096-2103. ACM, (2019)