Partners

Sections

• Verimag
• Topics
  • Shared Resources
  • ETiCS
  • Formal Proofs
  • PACS
  • MOHYTOS
    • Members
    • Partners
    • Projects
    • Tools
    • Publications
    • Jobs and Internships
  • FETLAS
• Contact
• Site Map

---

• Building Access

New publications

• Some Recent Publications (Mohytos)
  • Mnacho Echenim, Radu Iosif, Nicolas Peltier: Prenex Separation Logic with One Selector Field
  • Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
  • Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
  • Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
  • Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu: SL-COMP: Competition of Solvers for Separation Logic
  • Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel: Structural Invariants for the Verification of Systems with Parameterized Architectures
  • Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar: Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
  • Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems

Jobs and internships

• Jobs and internships (Mohytos)
  • PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
  • Local Reasoning about Reconfigurable Component-based Systems
  • Verifying Concurrent Systems with Automata over Infinite Alphabets
  • Decision Procedures for Separation Logic Modulo Theories of Data
  • Postdoctoral position at VERIMAG