- Formal methods
- Verification and synthesis
- Hybrid systems
- Modelling of heart and pacemaker devices
- Computational biology
Precise Parameter Synthesis for Stochastic Biochemical Systems
M. Kwiatkowska M. Ceska F. Dannenberg N. Paoletti and L. Brim
In Acta Informatica‚ to appear. 2016.
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti
In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear. 2016.
PRISM−PSY: Precise GPU−Accelerated Parameter Synthesis for Stochastic Systems
L. Brim M. Ceska P. Pilar N. Paoletti and M. Kwiatkowska
In 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)‚ to appear. Springer. 2016.