Kevin Corre

Learn More
We present PLASMA-lab, a statistical model checking (SMC) library that provides the functionality to create custom statistical model checkers based on arbitrary modelling languages. PLASMA-lab is written in Java for maximum cross-platform compatibility and has already been incorporated in various performance-critical software and embedded hardware(More)
—Advancements in web real time technologies are revolutionizing the way communication is taking place, where new emerging web services are confronting the traditional Telco operated communication services. This has led to the development of new web-centric service architecture that will allow service providers to provide their communication services(More)
We propose a new similarity measure between texts which, contrary to the current state-of-the-art approaches, takes a global view of the texts to be compared. We have implemented a tool to compute our textual distance and conducted experiments on several corpuses of texts. The experiments show that our methods can reliably identify different global types of(More)
  • 1