Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, 2018

An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks.

[BibT_eX]

[DOI]

Toni Mancini

Proceedings of the Foundations of Intelligent Systems - 24th International Symposium, 2018

2017

Residential Demand Management Using Individualized Demand Aware Price Policies.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2017

Linearizing Discrete-Time Hybrid Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

On minimising the maximum expected verification time.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

2016

Anytime system level verification via parallel random exhaustive hardware in the loop simulation.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2016

SyLVaaS: System Level Formal Verification as a Service.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

2015

Simulator Semantics for System Level Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Computing Biological Model Parameters by Parallel Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics and Biomedical Engineering, 2015

User Flexibility Aware Price Policy Synthesis for Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

A Glimpse of SmartHG Project Test-bed and Communication Infrastructure.

[BibT_eX]

[DOI]

Emad Samuel Malki Ebeid

Søren Aagaard Mikkelsen

Rune Hylsberg Jacobsen

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014

Model-based synthesis of control software from system-level formal specifications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

Demand-aware price policy synthesis and verification services for Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Patient-specific models from inter-patient biological models and clinical records.

[BibT_eX]

[DOI]

Tillmann H. C. Kruger

Marcel Egli

Fabian Ille

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET.

[BibT_eX]

[DOI]

Mob. Inf. Syst., 2013

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2013

On-the-Fly Control Software Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 20th International Symposium, 2013

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 20th International Symposium, 2013

System Level Formal Verification via Model Checking Driven Simulation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

On model based synthesis of embedded control software.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

Automatic control software synthesis for quantized discrete time hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Quantized Feedback Control Software Synthesis from System Level Formal Specifications

[BibT_eX]

[DOI]

CoRR, 2011

From Boolean Functional Equations to Control Software

[BibT_eX]

[DOI]

CoRR, 2011

Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters

[BibT_eX]

[DOI]

CoRR, 2011

2010

Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Parallel and distributed model checking in Eddy.

[BibT_eX]

[DOI]

Ganesh Gopalakrishnan

Int. J. Softw. Tools Technol. Transf., 2009

Model Checking Coalition Nash Equilibria in MAD Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS 2009, 2009

2008

Model Checking Nash Equilibria in MAD Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

Computational models of myocardial endomysial collagen arrangement.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2007

Disk Based Software Verification via Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Finite horizon analysis of Markov Chains with the Murphi verifier.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

Int. J. Softw. Tools Technol. Transf., 2006

Interoperability mapping from XML schemas to ER diagrams.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2006

Automatic generation of optimal controllers through model checking techniques.

[BibT_eX]

Proceedings of the ICINCO 2006, 2006

A Case Study on Automated Generation of Integration Tests.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2006

2005

Explicit Algorithms for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Igor Melatti

PhD thesis, 2005

A Model Checking Technique for the Verification of Fuzzy Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

Exploiting Hub States in Automatic Verification.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Exploiting transition locality in automatic verification of finite-state concurrent systems.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

Int. J. Softw. Tools Technol. Transf., 2004

Bounded Probabilistic Model Checking with the Mur<i>alpha</i> Verifier.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

Proceedings of the Hybrid Systems: Computation and Control, 2003

Xere: Towards a Natural Interoperability between XML and ER Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

Proceedings of the Correct Hardware Design and Verification Methods, 2003

Integrating RAM and Disk Based Verification within the Mur-phi Verifier.

[BibT_eX]

[DOI]

Marisa Venturini Zilli

Proceedings of the Correct Hardware Design and Verification Methods, 2003

Igor Melatti

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...