by Touili, Tayssir, Ye, Xin
Published in Formal methods in system design (01.04.2022)

by Pommellet, Adrien, Touili, Tayssir
Published in Innovations in systems and software engineering (01.06.2020)

by Song, Fu, Touili, Tayssir
Published in International journal on software tools for technology transfer (01.04.2014)

by Bouajjani, Ahmed, Habermehl, Peter, Holík, Lukáš, Touili, Tayssir, Vojnar, Tomáš
Published in Implementation and Applications of Automata (2008)

by Song, Fu, Touili, Tayssir
Published in Theoretical computer science (11.09.2014)

by Song, Fu, Touili, Tayssir
Published in Software and systems modeling (01.10.2016)

by Diaz, Marcio, Touili, Tayssir
Published in Automated Technology for Verification and Analysis (2017)

by Song, Fu, Touili, Tayssir
Published in Formal aspects of computing (01.03.2015)

by Touili, Tayssir
Published in Formal methods in system design (01.04.2012)

by Touili, Tayssir
Published in Formal methods in system design (2012)

by Touili, Tayssir, Cook, Byron, Jackson, Paul
Year of Publication 2010

by Pommellet, Adrien, Touili, Tayssir
Published in Model Checking Software (2018)

by Bouajjani, Ahmed, Touili, Tayssir
Published in International journal on software tools for technology transfer (01.04.2012)

by Diaz, Marcio, Touili, Tayssir
Published in Networked Systems (2019)

by Touili, Tayssir, Atig, Mohamed Faouzi
Published in Theoretical computer science (28.08.2010)

by Pommellet, Adrien, Touili, Tayssir
Published in Verification and Evaluation of Computer and Communication Systems (2018)

by Song, Fu, Touili, Tayssir
Published in FM 2012: Formal Methods (2012)

by Pommellet, Adrien, Touili, Tayssir
Published in Programming Languages and Systems (2017)

by Diaz, Marcio, Touili, Tayssir
Published in Networked Systems (2017)

by TOUILI, Tayssir, MOHAMED FAOUZI ATIG
Published in Theoretical computer science (2010)