NARCIS provides access to 515,512 scientific publications (205,118 of which are open access publications), 13,905 data sets, and information on researchers (expertise), research projects and research institutes in the Netherlands.
Show page in English/Toon pagina in Nederlands
 
Project: Symbolic Translation of Stochastic Processes
Abstract
bullet Abstract The goal of this project is to integrate model checking techniques for languages with rich data types, and languages with probabilistic, stochastic, and timing information. The aim is to identify, study and implement model transformations at the language level, in order to minimize state spaces even before their generation, while preserving functional and quantitative properties. Topics of interest are linearization, static analysis, abstraction, and confluence reduction for languages with data and quantitative information.
Related organisations
bullet Secretariat Centrum voor Telematica en Informatie Technologie - CTIT (UT)
bullet Collaboration 3TU.Centre for Dependable ICT Systems (3TU)
Related people
bullet Supervisor Prof.dr.ir. J.P. Katoen
bullet Supervisor Prof.dr. J.C. van de Pol
bullet Project leader Dr. M.I.A. Stoelinga
bullet Doctoral/PhD student M. Timmer
Data Supplier: Website CTIT
Update this data in the Dutch Research Database (NOD).