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

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

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

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

On placing skips optimally in expectation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Web Search and Web Data Mining, 2008

Model Checking Nash Equilibria in MAD Distributed Systems.

[BibT_eX]

[DOI]

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

2007

CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.

[BibT_eX]

[DOI]

Federico Mari

Enrico Tronci

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Federico Mari

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...