Ivano Salvo

Algorithmica, 2019

Depletable channels: dynamics, behaviour, and efficiency in network design.

[BibT_eX]

[DOI]

Acta Informatica, 2019

2018

Inefficiencies in network models: A graph-theoretic perspective.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2018

Three Euler's Sieves and a Fast Prime Generator (Functional Pearl).

[BibT_eX]

[DOI]

Agnese Pacifico

CoRR, 2018

Computing Integer Sequences: Filtering vs Generation (Functional Pearl).

[BibT_eX]

[DOI]

Agnese Pacifico

CoRR, 2018

Parallel Statistical Model Checking for Safety Verification in Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Communications, 2018

Computing Personalised Treatments through In Silico Clinical Trials.

[BibT_eX]

[DOI]

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]

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

Graph Theoretic Detection of Inefficiencies in Network Models.

[BibT_eX]

[DOI]

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 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

Graph Theoretic Investigations on Inefficiencies in Network Models.

[BibT_eX]

[DOI]

CoRR, 2016

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

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

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

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

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

Depletable Channels: Dynamics and Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

2008

Model Checking Nash Equilibria in MAD Distributed Systems.

[BibT_eX]

[DOI]

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

2004

Confluence and expressiveness in reduction systems.

[BibT_eX]

[DOI]

PhD thesis, 2004

2003

Intersection Types and lambda-Definability.

[BibT_eX]

[DOI]

Antonio Bucciarelli

Adolfo Piperno

Mariangiola Dezani-Ciancaglini

Math. Struct. Comput. Sci., 2003

Mobility Types for Mobile Processes in Mobile Ambients.

[BibT_eX]

[DOI]

Mario Coppo

Elio Giovannetti

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

2001

A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser.

[BibT_eX]

[DOI]

Benedetto Intrigila

Stefano Sorgi

Inf. Comput., 2001

A CuCh Interpretation of an Object-Oriented Language.

[BibT_eX]

[DOI]

Viviana Bono

Mariangiola Dezani-Ciancaglini

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

A Type Inference Algorithm for Secure Ambients.

[BibT_eX]

[DOI]

Franco Barbanera

Mariangiola Dezani-Ciancaglini

Vladimiro Sassone

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

Security Types for Mobile Safe Ambients.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 2000

1999

Some Computational Properties of Intersection Types.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

Totality, Definability and Boolean Ciruits.

[BibT_eX]

[DOI]

Antonio Bucciarelli