Infinite state model checking by abstract interpretation and program specialisation M Leuschel, T Massart International Workshop on Logic Programming Synthesis and Transformation, 62-81, 1999 | 134 | 1999 |

How to make FDR spin LTL model checking of CSP by refinement M Leuschel, A Currie, T Massart International Symposium of Formal Methods Europe, 99-118, 2001 | 71 | 2001 |

On the complexity of partial order trace model checking T Massart, C Meuter, L Van Begin Information processing letters 106 (3), 120-126, 2008 | 51 | 2008 |

Efficient verification of counting abstractions for parametric systems L Van Begin Université libre de Bruxelles, 2004 | 32 | 2004 |

Efficient approximate verification of B and Z models via symmetry markers M Leuschel, T Massart Annals of mathematics and artificial intelligence 59 (1), 81-106, 2010 | 29 | 2010 |

Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model-check traces A Genon, T Massart, C Meuter International Symposium on Formal Methods, 557-572, 2006 | 26 | 2006 |

dsl: An environment with automatic code distribution for industrial control systems B De Wachter, T Massart, C Meuter International Conference On Principles Of Distributed Systems, 132-145, 2003 | 20 | 2003 |

Synthesis of communicating controllers for distributed systems G Kalyon, T Le Gall, H Marchand, T Massart 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 19 | 2011 |

Infinite synchronizing words for probabilistic automata L Doyen, T Massart, M Shirmohammadi International Symposium on Mathematical Foundations of Computer Science, 278-289, 2011 | 17 | 2011 |

The formal design of distributed controllers with d SL and Spin B De Wachter, A Genon, T Massart, C Meuter Formal Aspects of Computing 17 (2), 177-200, 2005 | 17 | 2005 |

Specification, Validation and Verification of Real-Time Systems in ET-LOTOS C Hernalsteen Université libre de Bruxelles, 1998 | 14 | 1998 |

A calculus to define correct transformations of LOTOS specifications T Massart Formal Description Techniques, IV, 281-296, 1992 | 14 | 1992 |

Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation G Kalyon, T Le Gall, H Marchand, T Massart Discrete event dynamic systems 22 (2), 121-161, 2012 | 10 | 2012 |

Efficient online monitoring of LTL properties for asynchronous distributed systems T Massart, C Meuter Université Libre de Bruxelles, Tech. Rep 3, 2006 | 10 | 2006 |

Synchronizing objectives for Markov decision processes L Doyen, T Massart, M Shirmohammadi arXiv preprint arXiv:1102.4121, 2011 | 9 | 2011 |

Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation M Leuschel, T Massart University of Birmingham, 2002 | 9 | 2002 |

Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation M Leuschel, T Massart University of Birmingham, 2002 | 9 | 2002 |

Symbolic supervisory control of distributed systems with communications G Kalyon, T Le Gall, H Marchand, T Massart IEEE Transactions on Automatic Control 59 (2), 396-408, 2013 | 8 | 2013 |

Control of infinite symbolic transition systems under partial observation G Kalyon, T Le Gall, H Marchand, T Massart 2009 European Control Conference (ECC), 1456-1462, 2009 | 7 | 2009 |

Testing distributed systems through symbolic model checking G Kalyon, T Massart, C Meuter, L Van Begin International Conference on Formal Techniques for Networked and Distributed …, 2007 | 6 | 2007 |