Skip to Main content Skip to Navigation


...
hal-02355602v2  Conference papers
Benedikt BeckerNicolas JeannerodClaude MarchéYann Régis-GianasMihaela Sighireanu et al.  Analysing installation scenarios of Debian packages
TACAS 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
hal-02094030v1  Conference papers
Ezio BartocciDirk BeyerPaul BlackGrigory FedyukovichHubert Garavel et al.  TOOLympics 2019: An Overview of Competitions in Formal Methods
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩
hal-00109620v1  Journal articles
Radu MateescuMihaela Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus
Science of Computer Programming, Elsevier, 2003, 46(3), pp.255-281
hal-00109622v1  Journal articles
Mihaela SighireanuRadu Mateescu. Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS
International Journal on Software Tools for Technology Transfer, Springer Verlag, 1998, 2(1), pp.68-88