Discover open access scientific publications

Search, annotate, share and cite publications

Publications by P. di Prodi

Model Checking for Improved Adaptive Behaviour

2013English

Related publications

An Improved Distance Heuristic Function for Directed Software Model Checking

2006English

Model Checking a Self-Adaptive Camera Network With Physical Disturbances

2019English

An Improved POCTL Model Checking Algorithm Based on Preprocess Mechanism

DEStech Transactions on Computer Science and Engineering
2017English

An Improved Scale-Adaptive Simulation Model for Massively Separated Flows

International Journal of Aerospace Engineering
Aerospace Engineering
2018English

Model Checking

1997English

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Regression Model Checking

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy