Federico Mari
Orcid: 0000-0003-4289-9301
According to our database1,
Federico Mari
authored at least 42 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
3
1
2
2
1
1
3
1
2
1
3
4
4
3
3
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Sensors, July, 2024
2022
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries.
IEEE Trans. Ind. Electron., 2022
2021
J. Log. Algebraic Methods Program., 2021
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management.
Appl. Artif. Intell., 2021
Proceedings of the IEEE International Symposium on Medical Measurements and Applications, 2021
2020
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins.
Fundam. Informaticae, 2020
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Electricity Network Constraint Management using Individualised Demand Aware Price Policies.
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
2018
Proceedings of the 2018 IEEE International Conference on Communications, 2018
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, 2018
Proceedings of the Foundations of Intelligent Systems - 24th International Symposium, 2018
2017
2016
Anytime system level verification via parallel random exhaustive hardware in the loop simulation.
Microprocess. Microsystems, 2016
2015
Proceedings of the Proceedings Sixth International Symposium on Games, 2015
Proceedings of the Bioinformatics and Biomedical Engineering, 2015
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
2014
ACM Trans. Softw. Eng. Methodol., 2014
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.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation.
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.
Mob. Inf. Syst., 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
Quantized Feedback Control Software Synthesis from System Level Formal Specifications
CoRR, 2011
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
CoRR, 2011
2010
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Stabilization, 2009
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.
Proceedings of the CRiSIS 2009, 2009
2008
Proceedings of the International Conference on Web Search and Web Data Mining, 2008
Proceedings of the Formal Methods in Computer-Aided Design, 2008
2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007