Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Enrico Tronci
@article{DBLP:journals/jib/MarinoSTC24,
author = {Andrea Marino and
Blerina Sinaimeri and
Enrico Tronci and
Tiziana Calamoneri},
title = {{STARGATE-X:} a Python package for statistical analysis on the {REACTOME}
network},
journal = {J. Integr. Bioinform.},
volume = {20},
number = {3},
year = {2024},
url = {https://doi.org/10.1515/jib-2022-0029},
doi = {10.1515/JIB-2022-0029},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/MarinoSTC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/EspositoMT24,
author = {Marco Esposito and
Toni Mancini and
Enrico Tronci},
title = {Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for
{UAV} Localization in Critical Areas via Computational Geometry},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {54},
number = {3},
pages = {1515--1526},
year = {2024},
url = {https://doi.org/10.1109/TSMC.2023.3327432},
doi = {10.1109/TSMC.2023.3327432},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/EspositoMT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ManciniMT23,
author = {Toni Mancini and
Igor Melatti and
Enrico Tronci},
title = {Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {9},
pages = {4443--4455},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3298432},
doi = {10.1109/TSE.2023.3298432},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ManciniMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-15383,
author = {Toni Mancini and
Igor Melatti and
Enrico Tronci},
title = {Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/2307.15383},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.15383},
doi = {10.48550/ARXIV.2307.15383},
eprinttype = {arXiv},
eprint = {2307.15383},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-15383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06667,
author = {Marco Esposito and
Toni Mancini and
Enrico Tronci},
title = {Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for
{UAV} Localization in Critical Areas via Computational Geometry},
journal = {CoRR},
volume = {abs/2312.06667},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.06667},
doi = {10.48550/ARXIV.2312.06667},
eprinttype = {arXiv},
eprint = {2312.06667},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-06667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/MelattiMMPT22,
author = {Igor Melatti and
Federico Mari and
Toni Mancini and
Milan Prodanovic and
Enrico Tronci},
title = {A Two-Layer Near-Optimal Strategy for Substation Constraint Management
via Home Batteries},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {69},
number = {8},
pages = {8566--8578},
year = {2022},
url = {https://doi.org/10.1109/TIE.2021.3102431},
doi = {10.1109/TIE.2021.3102431},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/MelattiMMPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ManciniMT22,
author = {Toni Mancini and
Igor Melatti and
Enrico Tronci},
title = {Any-Horizon Uniform Random Sampling and Enumeration of Constrained
Scenarios for Simulation-Based Formal Verification},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {10},
pages = {4002--4013},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3109842},
doi = {10.1109/TSE.2021.3109842},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ManciniMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsschool/TrombettaCTL22,
author = {Valeria Trombetta and
Maxime Cordy and
Enrico Tronci and
Axel Legay},
editor = {Raquel Lazcano L{\'{o}}pez and
Daniel Madro{\~{n}}al Quint{\'{\i}}n and
Francesca Palumbo and
Christian Pilato and
Armando Tacchella},
title = {{CHAOS} - Configurations Analysis of Swarms of Cyber-Physical Systems},
booktitle = {Proceedings of the {CPS} Summer School PhD Workshop 2022 co-located
with 4th Edition of the {CPS} Summer School {(CPS} 2022), Pula, Sardinia
(Italy), September 19-23, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3252},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3252/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/cpsschool/TrombettaCTL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/MariMMT21,
author = {Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
title = {A Constraint Optimization-Based Sense and Response System for Interactive
Business Performance Management},
journal = {Appl. Artif. Intell.},
volume = {35},
number = {5},
pages = {353--372},
year = {2021},
url = {https://doi.org/10.1080/08839514.2020.1843833},
doi = {10.1080/08839514.2020.1843833},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/MariMMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SinisiAMTL21,
author = {Stefano Sinisi and
Vadim Alimguzhin and
Toni Mancini and
Enrico Tronci and
Brigitte Leeners},
title = {Complete populations of virtual patients for in silico clinical trials},
journal = {Bioinform.},
volume = {36},
number = {22-23},
pages = {5465--5472},
year = {2021},
url = {https://doi.org/10.1093/bioinformatics/btaa1026},
doi = {10.1093/BIOINFORMATICS/BTAA1026},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/SinisiAMTL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/MelattiMST21,
author = {Igor Melatti and
Federico Mari and
Ivano Salvo and
Enrico Tronci},
title = {Visualisation of Control Software for Cyber-Physical Systems},
journal = {Inf.},
volume = {12},
number = {5},
pages = {178},
year = {2021},
url = {https://doi.org/10.3390/info12050178},
doi = {10.3390/INFO12050178},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/information/MelattiMST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/ManciniMMMT21,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
title = {On checking equivalence of simulation scripts},
journal = {J. Log. Algebraic Methods Program.},
volume = {120},
pages = {100640},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100640},
doi = {10.1016/J.JLAMP.2021.100640},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/ManciniMMMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/SinisiAMT21,
author = {Stefano Sinisi and
Vadim Alimguzhin and
Toni Mancini and
Enrico Tronci},
title = {Reconciling interoperability with efficient Verification and Validation
within open source simulation environments},
journal = {Simul. Model. Pract. Theory},
volume = {109},
pages = {102277},
year = {2021},
url = {https://doi.org/10.1016/j.simpat.2021.102277},
doi = {10.1016/J.SIMPAT.2021.102277},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/SinisiAMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01343,
author = {Stefano Sinisi and
Vadim Alimguzhin and
Toni Mancini and
Enrico Tronci},
title = {Reconciling interoperability with efficient Verification and Validation
within open source simulation environments},
journal = {CoRR},
volume = {abs/2106.01343},
year = {2021},
url = {https://arxiv.org/abs/2106.01343},
eprinttype = {arXiv},
eprint = {2106.01343},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01343.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02609,
author = {Filippo Maggioli and
Toni Mancini and
Enrico Tronci},
title = {SBML2Modelica: integrating biochemical models within open-standard
simulation ecosystems},
journal = {CoRR},
volume = {abs/2106.02609},
year = {2021},
url = {https://arxiv.org/abs/2106.02609},
eprinttype = {arXiv},
eprint = {2106.02609},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02609.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-10684,
author = {Stefano Sinisi and
Vadim Alimguzhin and
Toni Mancini and
Enrico Tronci and
Federico Mari and
Brigitte Leeners},
title = {Optimal personalised treatment computation through in silico clinical
trials on patient digital twins},
journal = {CoRR},
volume = {abs/2106.10684},
year = {2021},
url = {https://arxiv.org/abs/2106.10684},
eprinttype = {arXiv},
eprint = {2106.10684},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-10684.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-10685,
author = {Qian Matteo Chen and
Alberto Finzi and
Toni Mancini and
Igor Melatti and
Enrico Tronci},
title = {MILP, pseudo-boolean, and {OMT} solvers for optimal fault-tolerant
placements of relay nodes in mission critical wireless networks},
journal = {CoRR},
volume = {abs/2106.10685},
year = {2021},
url = {https://arxiv.org/abs/2106.10685},
eprinttype = {arXiv},
eprint = {2106.10685},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-10685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-10692,
author = {Toni Mancini and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci and
Jorn Klaas Gruber and
Barry P. Hayes and
Milan Prodanovic and
Lars Elmegaard},
title = {Parallel Statistical Model Checking for Safety Verification in Smart
Grids},
journal = {CoRR},
volume = {abs/2106.10692},
year = {2021},
url = {https://arxiv.org/abs/2106.10692},
eprinttype = {arXiv},
eprint = {2106.10692},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-10692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06735,
author = {Igor Melatti and
Federico Mari and
Toni Mancini and
Milan Prodanovic and
Enrico Tronci},
title = {A Two-Layer Near-Optimal Strategy for Substation Constraint Management
via Home Batteries},
journal = {CoRR},
volume = {abs/2108.06735},
year = {2021},
url = {https://arxiv.org/abs/2108.06735},
eprinttype = {arXiv},
eprint = {2108.06735},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-03330,
author = {Toni Mancini and
Igor Melatti and
Enrico Tronci},
title = {Any-horizon uniform random sampling and enumeration of constrained
scenarios for simulation-based formal verification},
journal = {CoRR},
volume = {abs/2109.03330},
year = {2021},
url = {https://arxiv.org/abs/2109.03330},
eprinttype = {arXiv},
eprint = {2109.03330},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MaggioliMT20,
author = {Filippo Maggioli and
Toni Mancini and
Enrico Tronci},
title = {SBML2Modelica: integrating biochemical models within open-standard
simulation ecosystems},
journal = {Bioinform.},
volume = {36},
number = {7},
pages = {2165--2172},
year = {2020},
url = {https://doi.org/10.1093/bioinformatics/btz860},
doi = {10.1093/BIOINFORMATICS/BTZ860},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/MaggioliMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChenFMMT20,
author = {Qian Matteo Chen and
Alberto Finzi and
Toni Mancini and
Igor Melatti and
Enrico Tronci},
title = {MILP, Pseudo-Boolean, and {OMT} Solvers for Optimal Fault-Tolerant
Placements of Relay Nodes in Mission Critical Wireless Networks},
journal = {Fundam. Informaticae},
volume = {174},
number = {3-4},
pages = {229--258},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1941},
doi = {10.3233/FI-2020-1941},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ChenFMMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SinisiAMTML20,
author = {Stefano Sinisi and
Vadim Alimguzhin and
Toni Mancini and
Enrico Tronci and
Federico Mari and
Brigitte Leeners},
title = {Optimal Personalised Treatment Computation through In Silico Clinical
Trials on Patient Digital Twins},
journal = {Fundam. Informaticae},
volume = {174},
number = {3-4},
pages = {283--310},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1943},
doi = {10.3233/FI-2020-1943},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SinisiAMTML20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/PappagalloMT20,
author = {Angela Pappagallo and
Annalisa Massini and
Enrico Tronci},
title = {Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems:
{A} Review},
journal = {Inf.},
volume = {11},
number = {12},
pages = {588},
year = {2020},
url = {https://doi.org/10.3390/info11120588},
doi = {10.3390/INFO11120588},
timestamp = {Sat, 09 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/information/PappagalloMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/ChenMMTF20,
author = {Qian Matteo Chen and
Toni Mancini and
Igor Melatti and
Enrico Tronci and
Alberto Finzi},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless
Networks via Artificial Intelligence},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {41--46},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/overlay/ChenMMTF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/SinisiAMTML20,
author = {Stefano Sinisi and
Vadim Alimguzhin and
Toni Mancini and
Enrico Tronci and
Federico Mari and
Brigitte Leeners},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {AI-Guided Synthesis of Personalised Pharmacological Treatments via
In Silico Clinical Trials},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {59--64},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/SinisiAMTML20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlimguzhinMMST19,
author = {Vadim Alimguzhin and
Toni Mancini and
Annalisa Massini and
Stefano Sinisi and
Enrico Tronci},
editor = {Nicola Gigante and
Federico Mari and
Andrea Orlandini},
title = {In Silico Clinical Trials through {AI} and Statistical Model Checking},
booktitle = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis, co-located with the
18th International Conference of the Italian Association for Artificial
Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2509},
pages = {17--22},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2509/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AlimguzhinMMST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CalabreseMMST19,
author = {Agostina Calabrese and
Toni Mancini and
Annalisa Massini and
Stefano Sinisi and
Enrico Tronci},
editor = {Marco Maratea and
Mauro Vallati},
title = {Generating {T1DM} Virtual Patients for In Silico Clinical Trials via
AI-Guided Statistical Model Checking},
booktitle = {Joint Proceedings of the {RCRA} International Workshop and of the
{RCRA} Incontri e Confronti Workshop co-located with the 18th International
Conference of the Italian Association for Artificial Intelligence
{(AIIA} 2019), Rende, Italy, November 19-20, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2538},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2538/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CalabreseMMST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EsparzaT18,
author = {Javier Esparza and
Enrico Tronci},
title = {Preface for the special issue GandALF 2015},
journal = {Acta Informatica},
volume = {55},
number = {2},
pages = {89--90},
year = {2018},
url = {https://doi.org/10.1007/s00236-018-0315-z},
doi = {10.1007/S00236-018-0315-Z},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EsparzaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ManciniMMST18,
author = {Toni Mancini and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
editor = {Michelangelo Ceci and
Nathalie Japkowicz and
Jiming Liu and
George A. Papadopoulos and
Zbigniew W. Ras},
title = {An Efficient Algorithm for Network Vulnerability Analysis Under Malicious
Attacks},
booktitle = {Foundations of Intelligent Systems - 24th International Symposium,
{ISMIS} 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11177},
pages = {302--312},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01851-1\_29},
doi = {10.1007/978-3-030-01851-1\_29},
timestamp = {Mon, 05 Feb 2024 20:34:39 +0100},
biburl = {https://dblp.org/rec/conf/ismis/ManciniMMST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/ManciniMMMSSTER18,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Ivano Salvo and
Stefano Sinisi and
Enrico Tronci and
Rainald Ehrig and
Susanna R{\"{o}}blitz and
Brigitte Leeners},
editor = {Marco Maratea and
Mauro Vallati},
title = {Computing Personalised Treatments through In Silico Clinical Trials},
booktitle = {Proceedings of the Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion co-located with
the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom,
July 13, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2271},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2271/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/ManciniMMMSSTER18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/ManciniTSLFGP18,
author = {Toni Mancini and
Enrico Tronci and
Agostino Scialanca and
Filiberto Lanciotti and
Alberto Finzi and
Riccardo Guarneri and
Silvia Di Pompeo},
editor = {Marco Maratea and
Mauro Vallati},
title = {Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical
Wireless Network},
booktitle = {Proceedings of the Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion co-located with
the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom,
July 13, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2271},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2271/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rcra/ManciniTSLFGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridcomm/ManciniMMSTGHPE18,
author = {Toni Mancini and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci and
Jorn Klaas Gruber and
Barry P. Hayes and
Milan Prodanovic and
Lars Elmegaard},
title = {Parallel Statistical Model Checking for Safety Verification in Smart
Grids},
booktitle = {2018 {IEEE} International Conference on Communications, Control, and
Computing Technologies for Smart Grids, SmartGridComm 2018, Aalborg,
Denmark, October 29-31, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SmartGridComm.2018.8587416},
doi = {10.1109/SMARTGRIDCOMM.2018.8587416},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/smartgridcomm/ManciniMMSTGHPE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ManciniMMMST17,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {On minimising the maximum expected verification time},
journal = {Inf. Process. Lett.},
volume = {122},
pages = {8--16},
year = {2017},
url = {https://doi.org/10.1016/j.ipl.2017.02.001},
doi = {10.1016/J.IPL.2017.02.001},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ManciniMMMST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/ManciniMT17,
author = {Toni Mancini and
Annalisa Massini and
Enrico Tronci},
title = {Parallelization of Cycle-Based Logic Simulation},
journal = {Parallel Process. Lett.},
volume = {27},
number = {2},
pages = {1750003:1--1750003:16},
year = {2017},
url = {https://doi.org/10.1142/S0129626417500037},
doi = {10.1142/S0129626417500037},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/ManciniMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/AlimguzhinMMST17,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {Linearizing Discrete-Time Hybrid Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {10},
pages = {5357--5364},
year = {2017},
url = {https://doi.org/10.1109/TAC.2017.2694559},
doi = {10.1109/TAC.2017.2694559},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/AlimguzhinMMST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsg/HayesMMPT17,
author = {Barry Patrick Hayes and
Igor Melatti and
Toni Mancini and
Milan Prodanovic and
Enrico Tronci},
title = {Residential Demand Management Using Individualized Demand Aware Price
Policies},
journal = {{IEEE} Trans. Smart Grid},
volume = {8},
number = {3},
pages = {1284--1294},
year = {2017},
url = {https://doi.org/10.1109/TSG.2016.2596790},
doi = {10.1109/TSG.2016.2596790},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsg/HayesMMPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smacd/DriouichPT17,
author = {Youssef Driouich and
Mimmo Parente and
Enrico Tronci},
title = {Modeling cyber-physical systems for automatic verification},
booktitle = {14th International Conference on Synthesis, Modeling, Analysis and
Simulation Methods and Applications to Circuit Design, {SMACD} 2017,
Giardini Naxos, Italy, June 12-15, 2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SMACD.2017.7981621},
doi = {10.1109/SMACD.2017.7981621},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/smacd/DriouichPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ManciniMMMT16,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
title = {SyLVaaS: System Level Formal Verification as a Service},
journal = {Fundam. Informaticae},
volume = {149},
number = {1-2},
pages = {101--132},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1444},
doi = {10.3233/FI-2016-1444},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ManciniMMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/ManciniMMMT16,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
title = {Anytime system level verification via parallel random exhaustive hardware
in the loop simulation},
journal = {Microprocess. Microsystems},
volume = {41},
pages = {12--28},
year = {2016},
url = {https://doi.org/10.1016/j.micpro.2015.10.010},
doi = {10.1016/J.MICPRO.2015.10.010},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/ManciniMMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/AlimguzhinMMTEM15,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Enrico Tronci and
Emad Samuel Malki Ebeid and
S{\o}ren Aagaard Mikkelsen and
Rune Hylsberg Jacobsen and
Jorn Klaas Gruber and
Barry P. Hayes and
Francisco Huerta and
Milan Prodanovic},
title = {A Glimpse of SmartHG Project Test-bed and Communication Infrastructure},
booktitle = {2015 Euromicro Conference on Digital System Design, {DSD} 2015, Madeira,
Portugal, August 26-28, 2015},
pages = {225--232},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DSD.2015.106},
doi = {10.1109/DSD.2015.106},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/AlimguzhinMMTEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/ManciniMMSTGHPE15,
author = {Toni Mancini and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci and
Jorn Klaas Gruber and
Barry Patrick Hayes and
Milan Prodanovic and
Lars Elmegaard},
title = {User Flexibility Aware Price Policy Synthesis for Smart Grids},
booktitle = {2015 Euromicro Conference on Digital System Design, {DSD} 2015, Madeira,
Portugal, August 26-28, 2015},
pages = {478--485},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DSD.2015.35},
doi = {10.1109/DSD.2015.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/ManciniMMSTGHPE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbbio/ManciniTSMMM15,
author = {Toni Mancini and
Enrico Tronci and
Ivano Salvo and
Federico Mari and
Annalisa Massini and
Igor Melatti},
editor = {Francisco M. Ortu{\~{n}}o Guzman and
Ignacio Rojas},
title = {Computing Biological Model Parameters by Parallel Statistical Model
Checking},
booktitle = {Bioinformatics and Biomedical Engineering - Third International Conference,
{IWBBIO} 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9044},
pages = {542--554},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16480-9\_52},
doi = {10.1007/978-3-319-16480-9\_52},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iwbbio/ManciniTSMMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/ManciniMMMT15,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
editor = {Masoud Daneshtalab and
Marco Aldinucci and
Ville Lepp{\"{a}}nen and
Johan Lilius and
Mats Brorsson},
title = {SyLVaaS: System Level Formal Verification as a Service},
booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
2015},
pages = {476--483},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PDP.2015.119},
doi = {10.1109/PDP.2015.119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/ManciniMMMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ManciniMMMT15,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
editor = {Javier Esparza and
Enrico Tronci},
title = {Simulator Semantics for System Level Formal Verification},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {86--99},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.7},
doi = {10.4204/EPTCS.193.7},
timestamp = {Fri, 09 Apr 2021 18:27:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/ManciniMMMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/EsparzaT15,
editor = {Javier Esparza and
Enrico Tronci},
title = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193},
doi = {10.4204/EPTCS.193},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/MariMST14,
author = {Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {Model-based synthesis of control software from system-level formal
specifications},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {23},
number = {1},
pages = {6:1--6:42},
year = {2014},
url = {https://doi.org/10.1145/2559934},
doi = {10.1145/2559934},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/MariMST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/ManciniMMMT14,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
title = {Anytime System Level Verification via Random Exhaustive Hardware in
the Loop Simulation},
booktitle = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
Italy, August 27-29, 2014},
pages = {236--245},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DSD.2014.91},
doi = {10.1109/DSD.2014.91},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/ManciniMMMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/TronciMSSMMMDDERLKEI14,
author = {Enrico Tronci and
Toni Mancini and
Ivano Salvo and
Stefano Sinisi and
Federico Mari and
Igor Melatti and
Annalisa Massini and
Francesco Dav{\`{\i}} and
Thomas Dierkes and
Rainald Ehrig and
Susanna R{\"{o}}blitz and
Brigitte Leeners and
Tillmann H. C. Kruger and
Marcel Egli and
Fabian Ille},
title = {Patient-specific models from inter-patient biological models and clinical
records},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {207--214},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987615},
doi = {10.1109/FMCAD.2014.6987615},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/TronciMSSMMMDDERLKEI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/ManciniMMMT14,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
title = {System Level Formal Verification via Distributed Multi-core Hardware
in the Loop Simulation},
booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2014, Torino, Italy, February
12-14, 2014},
pages = {734--742},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PDP.2014.32},
doi = {10.1109/PDP.2014.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/ManciniMMMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridcomm/ManciniMMSTGHPE14,
author = {Toni Mancini and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci and
Jorn Klaas Gruber and
Barry P. Hayes and
Milan Prodanovic and
Lars Elmegaard},
title = {Demand-aware price policy synthesis and verification services for
Smart Grids},
booktitle = {2014 {IEEE} International Conference on Smart Grid Communications,
SmartGridComm 2014, Venice, Italy, November 3-6, 2014},
pages = {794--799},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SmartGridComm.2014.7007745},
doi = {10.1109/SMARTGRIDCOMM.2014.7007745},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/smartgridcomm/ManciniMMSTGHPE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/PennaIMMT13,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Daniele Magazzeni and
Igor Melatti and
Enrico Tronci},
title = {CGMurphi: Automatic synthesis of numerical controllers for nonlinear
hybrid systems},
journal = {Eur. J. Control},
volume = {19},
number = {1},
pages = {14--36},
year = {2013},
url = {https://doi.org/10.1016/j.ejcon.2013.02.001},
doi = {10.1016/J.EJCON.2013.02.001},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/PennaIMMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mis/MariMTF13,
author = {Federico Mari and
Igor Melatti and
Enrico Tronci and
Alberto Finzi},
title = {A multi-hop advertising discovery and delivering protocol for multi
administrative domain {MANET}},
journal = {Mob. Inf. Syst.},
volume = {9},
number = {3},
pages = {261--280},
year = {2013},
url = {https://doi.org/10.3233/MIS-130162},
doi = {10.3233/MIS-130162},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mis/MariMTF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ManciniMMMMT13,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Fabio Merli and
Enrico Tronci},
editor = {Natasha Sharygina and
Helmut Veith},
title = {System Level Formal Verification via Model Checking Driven Simulation},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {296--312},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_21},
doi = {10.1007/978-3-642-39799-8\_21},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ManciniMMMMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/AlimguzhinMMST13,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {43--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_4},
doi = {10.1007/978-3-642-39176-7\_4},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/AlimguzhinMMST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/AlimguzhinMMST13a,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {On-the-Fly Control Software Synthesis},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {61--80},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_5},
doi = {10.1007/978-3-642-39176-7\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/AlimguzhinMMST13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/AlimguzhinMMST12,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {Automatic control software synthesis for quantized discrete time hybrid
systems},
booktitle = {Proceedings of the 51th {IEEE} Conference on Decision and Control,
{CDC} 2012, December 10-13, 2012, Maui, HI, {USA}},
pages = {6120--6125},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CDC.2012.6426260},
doi = {10.1109/CDC.2012.6426260},
timestamp = {Fri, 04 Mar 2022 13:28:47 +0100},
biburl = {https://dblp.org/rec/conf/cdc/AlimguzhinMMST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlimguzhinMMST12,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {On model based synthesis of embedded control software},
booktitle = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
pages = {227--236},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380356.2380398},
doi = {10.1145/2380356.2380398},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AlimguzhinMMST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MariMST12,
author = {Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
editor = {Abhik Roychoudhury and
Meenakshi D'Souza},
title = {Undecidability of Quantized State Feedback Control for Discrete Time
Linear Hybrid Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International
Colloquium, Bangalore, India, September 24-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7521},
pages = {243--258},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32943-2\_19},
doi = {10.1007/978-3-642-32943-2\_19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/MariMST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-4098,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {Automatic Control Software Synthesis for Quantized Discrete Time Hybrid
Systems},
journal = {CoRR},
volume = {abs/1207.4098},
year = {2012},
url = {http://arxiv.org/abs/1207.4098},
eprinttype = {arXiv},
eprint = {1207.4098},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-4098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-4474,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {On Model Based Synthesis of Embedded Control Software},
journal = {CoRR},
volume = {abs/1207.4474},
year = {2012},
url = {http://arxiv.org/abs/1207.4474},
eprinttype = {arXiv},
eprint = {1207.4474},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-4474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2276,
author = {Vadim Alimguzhin and
Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software},
journal = {CoRR},
volume = {abs/1210.2276},
year = {2012},
url = {http://arxiv.org/abs/1210.2276},
eprinttype = {arXiv},
eprint = {1210.2276},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CestaFOFT11,
author = {Amedeo Cesta and
Simone Fratini and
Andrea Orlandini and
Alberto Finzi and
Enrico Tronci},
title = {Flexible Plan Verification: Feasibility Results},
journal = {Fundam. Informaticae},
volume = {107},
number = {2-3},
pages = {111--137},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-397},
doi = {10.3233/FI-2011-397},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CestaFOFT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/PennaMIMT11,
author = {Giuseppe Della Penna and
Fabio Mercorio and
Benedetto Intrigila and
Daniele Magazzeni and
Enrico Tronci},
editor = {Jean{-}Louis Ferrier and
Alain Bernard and
Oleg Yu. Gusikhin and
Kurosh Madani},
title = {Cost-optimal Strong Planning in Non-deterministic Domains},
booktitle = {{ICINCO} 2011 - Proceedings of the 8th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout,
The Netherlands, 28 - 31 July, 2011},
pages = {56--66},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 02 May 2012 08:24:18 +0200},
biburl = {https://dblp.org/rec/conf/icinco/PennaMIMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-5640,
author = {Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {Quantized Feedback Control Software Synthesis from System Level Formal
Specifications for Buck {DC/DC} Converters},
journal = {CoRR},
volume = {abs/1105.5640},
year = {2011},
url = {http://arxiv.org/abs/1105.5640},
eprinttype = {arXiv},
eprint = {1105.5640},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-5640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0468,
author = {Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {From Boolean Functional Equations to Control Software},
journal = {CoRR},
volume = {abs/1106.0468},
year = {2011},
url = {http://arxiv.org/abs/1106.0468},
eprinttype = {arXiv},
eprint = {1106.0468},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5638,
author = {Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
title = {Quantized Feedback Control Software Synthesis from System Level Formal
Specifications},
journal = {CoRR},
volume = {abs/1107.5638},
year = {2011},
url = {http://arxiv.org/abs/1107.5638},
eprinttype = {arXiv},
eprint = {1107.5638},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/CestaFFOT10,
author = {Amedeo Cesta and
Alberto Finzi and
Simone Fratini and
Andrea Orlandini and
Enrico Tronci},
title = {Validation and verification issues in a timeline-based planning system},
journal = {Knowl. Eng. Rev.},
volume = {25},
number = {3},
pages = {299--318},
year = {2010},
url = {https://doi.org/10.1017/S0269888910000160},
doi = {10.1017/S0269888910000160},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/CestaFFOT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MariMST10,
author = {Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Synthesis of Quantized Feedback Control Software for Discrete Time
Linear Hybrid Systems},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {180--195},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_20},
doi = {10.1007/978-3-642-14295-6\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MariMST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CestaFFOT10,
author = {Amedeo Cesta and
Alberto Finzi and
Simone Fratini and
Andrea Orlandini and
Enrico Tronci},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Analyzing Flexible Timeline-based Plans},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {471--476},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-471},
doi = {10.3233/978-1-60750-606-5-471},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/CestaFFOT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CestaFFOT09,
author = {Amedeo Cesta and
Alberto Finzi and
Simone Fratini and
Andrea Orlandini and
Enrico Tronci},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Flexible Plan Verification: Feasibility Results},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper03.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CestaFFOT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/BobbioCBIMMMSTTZ09,
author = {Andrea Bobbio and
Ester Ciancamerla and
Saverio Di Blasi and
Alessandro Iacomini and
Federico Mari and
Igor Melatti and
Michele Minichino and
Alessandro Scarlatti and
Enrico Tronci and
Roberta Terruggia and
Emilio Zendri},
editor = {Anas Abou El Kalam and
Yves Deswarte and
Mahmoud Mostafa},
title = {Risk analysis via heterogeneous models of {SCADA} interconnecting
Power Grids and Telco networks},
booktitle = {CRiSIS 2009, Post-Proceedings of the Fourth International Conference
on Risks and Security of Internet and Systems, Toulouse, France, October
19-22, 2009},
pages = {90--97},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CRISIS.2009.5411974},
doi = {10.1109/CRISIS.2009.5411974},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crisis/BobbioCBIMMMSTTZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/CestaFFOT09,
author = {Amedeo Cesta and
Alberto Finzi and
Simone Fratini and
Andrea Orlandini and
Enrico Tronci},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {Flexible Timeline-Based Plan Verification},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {49--56},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_7},
doi = {10.1007/978-3-642-04617-9\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/CestaFFOT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/MariMSTACL09,
author = {Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci and
Lorenzo Alvisi and
Allen Clement and
Harry C. Li},
editor = {Rachid Guerraoui and
Franck Petit},
title = {Model Checking Coalition Nash Equilibria in {MAD} Distributed Systems},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5873},
pages = {531--546},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05118-0\_37},
doi = {10.1007/978-3-642-05118-0\_37},
timestamp = {Wed, 07 Dec 2022 23:13:25 +0100},
biburl = {https://dblp.org/rec/conf/sss/MariMSTACL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MariMSTACL08,
author = {Federico Mari and
Igor Melatti and
Ivano Salvo and
Enrico Tronci and
Lorenzo Alvisi and
Allen Clement and
Harry C. Li},
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {Model Checking Nash Equilibria in {MAD} Distributed Systems},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.16},
doi = {10.1109/FMCAD.2008.ECP.16},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MariMSTACL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BrizzolariMTP07,
author = {Fernando Brizzolari and
Igor Melatti and
Enrico Tronci and
Giuseppe Della Penna},
title = {Disk Based Software Verification via Bounded Model Checking},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {358--365},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.43},
doi = {10.1109/APSEC.2007.43},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/BrizzolariMTP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MariT07,
author = {Federico Mari and
Enrico Tronci},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {{CEGAR} Based Bounded Model Checking of Discrete Time Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {399--412},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_32},
doi = {10.1007/978-3-540-71493-4\_32},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MariT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Tronci06,
author = {Enrico Tronci},
title = {Introductory Paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {4-5},
pages = {355--358},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0212-y},
doi = {10.1007/S10009-005-0212-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Tronci06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PennaIMTZ06,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
title = {Finite horizon analysis of Markov Chains with the Murphi verifier},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {4-5},
pages = {397--409},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0216-7},
doi = {10.1007/S10009-005-0216-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PennaIMTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PennaTPRIMT06,
author = {Giuseppe Della Penna and
Alberto Tofani and
Marcello Pecorari and
Orazio Raparelli and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci},
title = {A Case Study on Automated Generation of Integration Tests},
booktitle = {Forum on specification and Design Languages, {FDL} 2006, September
19-22, 2006, Darmstadt, Germany, Proceedings},
pages = {278--284},
publisher = {{ECSI}},
year = {2006},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=372},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/PennaTPRIMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/PennaMTIMT06,
author = {Giuseppe Della Penna and
Daniele Magazzeni and
Alberto Tofani and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci},
editor = {Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier and
Jos{\'{e}} Miguel Dias Pereira and
Joaquim Filipe},
title = {Automatic generation of optimal controllers through model checking
techniques},
booktitle = {{ICINCO} 2006, Proceedings of the Third International Conference on
Informatics in Control, Automation and Robotics, Intelligent Control
Systems and Optimization, Set{\'{u}}bal, Portugal, August 1-5,
2006},
pages = {26--33},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Sat, 17 Feb 2024 13:14:27 +0100},
biburl = {https://dblp.org/rec/conf/icinco/PennaMTIMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PennaMIT05,
author = {Giuseppe Della Penna and
Igor Melatti and
Benedetto Intrigila and
Enrico Tronci},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Exploiting Hub States in Automatic Verification},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {54--68},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_7},
doi = {10.1007/11562948\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/PennaMIT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/IntrigilaMMT05,
author = {Benedetto Intrigila and
Daniele Magazzeni and
Igor Melatti and
Enrico Tronci},
title = {A Model Checking Technique for the Verification of Fuzzy Control Systems},
booktitle = {2005 International Conference on Computational Intelligence for Modelling
Control and Automation {(CIMCA} 2005), International Conference on
Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
2005), 28-30 November 2005, Vienna, Austria},
pages = {536--542},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CIMCA.2005.1631319},
doi = {10.1109/CIMCA.2005.1631319},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/IntrigilaMMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CampagnanoCMT05,
author = {Edoardo Campagnano and
Ester Ciancamerla and
Michele Minichino and
Enrico Tronci},
editor = {Rune Winther and
Bj{\o}rn Axel Gran and
Gustav Dahll},
title = {Automatic Analysis of a Safety Critical Tele Control System},
booktitle = {Computer Safety, Reliability, and Security, 24th International Conference,
{SAFECOMP} 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3688},
pages = {94--107},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11563228\_8},
doi = {10.1007/11563228\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CampagnanoCMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/GorrieriLMMTT04,
author = {Roberto Gorrieri and
Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Fabio Martinelli and
Simone Tini and
Enrico Tronci},
title = {Automated analysis of timed security: a case study on web privacy},
journal = {Int. J. Inf. Sec.},
volume = {2},
number = {3-4},
pages = {168--186},
year = {2004},
url = {https://doi.org/10.1007/s10207-004-0037-9},
doi = {10.1007/S10207-004-0037-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/GorrieriLMMTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PennaIMTZ04,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
title = {Exploiting transition locality in automatic verification of finite-state
concurrent systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {320--341},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0149-6},
doi = {10.1007/S10009-004-0149-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PennaIMTZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PennaIMTZ04,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Bounded Probabilistic Model Checking with the Mur\emph{alpha} Verifier},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {214--229},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_16},
doi = {10.1007/978-3-540-30494-4\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/PennaIMTZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/LanotteMTTT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini and
Angelo Troina and
Enrico Tronci},
editor = {Javier L{\'{o}}pez and
Sihan Qing and
Eiji Okamoto},
title = {Automatic Covert Channel Analysis of a Multilevel Secure Component},
booktitle = {Information and Communications Security, 6th International Conference,
{ICICS} 2004, Malaga, Spain, October 27-29, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3269},
pages = {249--261},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30191-2\_20},
doi = {10.1007/978-3-540-30191-2\_20},
timestamp = {Thu, 29 Aug 2019 08:10:01 +0200},
biburl = {https://dblp.org/rec/conf/icics/LanotteMTTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/MartinelliTDB04,
author = {Marco Martinelli and
Enrico Tronci and
Giovanni Dipoppa and
Claudio Balducelli},
editor = {Mircea Gh. Negoita and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Electric Power System Anomaly Detection Using Neural Networks},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 8th
International Conference, {KES} 2004, Wellington, New Zealand, September
20-25, 2004. Proceedings. Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3213},
pages = {1242--1248},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30132-5\_168},
doi = {10.1007/978-3-540-30132-5\_168},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/MartinelliTDB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PennaITZ03,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Enrico Tronci and
Marisa Venturini Zilli},
title = {Synchronized regular expressions},
journal = {Acta Informatica},
volume = {39},
number = {1},
pages = {31--70},
year = {2003},
url = {https://doi.org/10.1007/s00236-002-0099-y},
doi = {10.1007/S00236-002-0099-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PennaITZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/GribaudoHBTCM03,
author = {Marco Gribaudo and
Andr{\'{a}}s Horv{\'{a}}th and
Andrea Bobbio and
Enrico Tronci and
Ester Ciancamerla and
Michele Minichino},
title = {Fluid Petri Nets and hybrid model-checking: a comparative case study},
journal = {Reliab. Eng. Syst. Saf.},
volume = {81},
number = {3},
pages = {239--257},
year = {2003},
url = {https://doi.org/10.1016/S0951-8320(03)00089-9},
doi = {10.1016/S0951-8320(03)00089-9},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/GribaudoHBTCM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/PennaIMTZ03,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Daniel Geist and
Enrico Tronci},
title = {Integrating {RAM} and Disk Based Verification within the Mur-phi Verifier},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {277--282},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_25},
doi = {10.1007/978-3-540-39724-3\_25},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/PennaIMTZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/PennaIMTZ03a,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Daniel Geist and
Enrico Tronci},
title = {Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {394--409},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_34},
doi = {10.1007/978-3-540-39724-3\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/PennaIMTZ03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PennaIMMCPTZ03,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Michele Minichino and
Ester Ciancamerla and
Andrea Parisse and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Oded Maler and
Amir Pnueli},
title = {Automatic Verification of a Turbogas Control System with the Mur varphi
Verifier},
booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop,
{HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2623},
pages = {141--155},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X\_13},
doi = {10.1007/3-540-36580-X\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PennaIMMCPTZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/PennaIMTZ03,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Finite Horizon Analysis of Stochastic Systems with the Mur varphi
Verifier},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {58--71},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_6},
doi = {10.1007/978-3-540-45208-9\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/PennaIMTZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CiancamerlaMST03,
author = {Ester Ciancamerla and
Michele Minichino and
S. Serro and
Enrico Tronci},
editor = {Stuart Anderson and
Massimo Felici and
Bev Littlewood},
title = {Automatic Timeliness Verification of a Public Mobile Network},
booktitle = {Computer Safety, Reliability, and Security, 22nd International Conference,
{SAFECOMP} 2003, Edinburgh, UK, September 23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2788},
pages = {35--48},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39878-3\_4},
doi = {10.1007/978-3-540-39878-3\_4},
timestamp = {Sun, 02 Jun 2019 21:26:43 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/CiancamerlaMST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LanotteMTTT04,
author = {Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Simone Tini and
Angelo Troina and
Enrico Tronci},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Automatic Analysis of the {NRL} Pump},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {245--266},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.011},
doi = {10.1016/J.ENTCS.2004.02.011},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LanotteMTTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2003,
editor = {Daniel Geist and
Enrico Tronci},
title = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b93958},
doi = {10.1007/B93958},
isbn = {3-540-20363-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PennaITZ02,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {Exploiting Transition Locality in the Disk Based Mur phi Verifier},
booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {202--219},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_13},
doi = {10.1007/3-540-36126-X\_13},
timestamp = {Fri, 10 Jan 2020 14:50:18 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/PennaITZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GribaudoHBTCM02,
author = {Marco Gribaudo and
Andr{\'{a}}s Horv{\'{a}}th and
Andrea Bobbio and
Enrico Tronci and
Ester Ciancamerla and
Michele Minichino},
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Model-Checking Based on Fluid Petri Nets for the Temperature Control
System of the {ICARO} Co-generative Plant},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
{SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2434},
pages = {273--283},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45732-1\_27},
doi = {10.1007/3-540-45732-1\_27},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GribaudoHBTCM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/TronciPIZ01,
author = {Enrico Tronci and
Giuseppe Della Penna and
Benedetto Intrigila and
Marisa Venturini Zilli},
title = {A Probabilistic Approach to Automatic Verification of Concurrent Systems},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {317--324},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991495},
doi = {10.1109/APSEC.2001.991495},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/TronciPIZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/TronciPIZ01,
author = {Enrico Tronci and
Giuseppe Della Penna and
Benedetto Intrigila and
Marisa Venturini Zilli},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Exploiting Transition Locality in Automatic Verification},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {259--274},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_22},
doi = {10.1007/3-540-44798-9\_22},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/TronciPIZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DipoppaDST01,
author = {Giovanni Dipoppa and
Giovanni D'Alessandro and
Roberto Semprini and
Enrico Tronci},
title = {Integrating Automatic Verification of Safety Requirements in Railway
Interlocking System Design},
booktitle = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
2001, Albuquerque, NM, USA, Proceedings},
pages = {209--219},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HASE.2001.966821},
doi = {10.1109/HASE.2001.966821},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DipoppaDST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PennaITZ01,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Marina Lenisa and
Marino Miculan},
title = {Synchronized Regular Expressions},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {195--210},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00327-5},
doi = {10.1016/S1571-0661(04)00327-5},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PennaITZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FocardiGLMMTT01,
author = {Riccardo Focardi and
Roberto Gorrieri and
Ruggero Lanotte and
Andrea Maggiolo{-}Schettini and
Fabio Martinelli and
Simone Tini and
Enrico Tronci},
editor = {Marina Lenisa and
Marino Miculan},
title = {Formal Models of Timing Attacks on Web Privacy},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {229--243},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00329-9},
doi = {10.1016/S1571-0661(04)00329-9},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FocardiGLMMTT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/CecconiT00,
author = {Michele Cecconi and
Enrico Tronci},
title = {Requirements formalization and validation for a telecommunication
equipment protection switcher},
booktitle = {5th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
pages = {169--176},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HASE.2000.895456},
doi = {10.1109/HASE.2000.895456},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/CecconiT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Tronci99,
author = {Enrico Tronci},
title = {Formally Modeling a Metal Processing Plant and its Closed Loop Specifications},
booktitle = {4th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} '99), 17-19 November 1999, Washington, D.C, USA, Proceedings},
pages = {151--160},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HASE.1999.809490},
doi = {10.1109/HASE.1999.809490},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/Tronci99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Tronci99,
author = {Enrico Tronci},
title = {Automatic Synthesis of Control Software for an Industrial Automation
Control System},
booktitle = {The 14th {IEEE} International Conference on Automated Software Engineering,
{ASE} 1999, Cocoa Beach, Florida, USA, 12-15 October 1999},
pages = {247--250},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASE.1999.802292},
doi = {10.1109/ASE.1999.802292},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Tronci99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FantechiGMPT98,
author = {Alessandro Fantechi and
Stefania Gnesi and
Franco Mazzanti and
Rosario Pugliese and
Enrico Tronci},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {A Symbolic Model Checker for {ACTL}},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {228--242},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_14},
doi = {10.1007/3-540-48257-1\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/FantechiGMPT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Tronci98,
author = {Enrico Tronci},
title = {Automatic Synthesis of Controllers from Formal Specifications},
booktitle = {Second {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998,
Proceedings},
pages = {134--143},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICFEM.1998.730577},
doi = {10.1109/ICFEM.1998.730577},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Tronci98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tronci96,
author = {Enrico Tronci},
title = {Equational Programming in Lambda-Calculus via SL-Systems. Part 1},
journal = {Theor. Comput. Sci.},
volume = {160},
number = {1{\&}2},
pages = {145--184},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00105-0},
doi = {10.1016/0304-3975(95)00105-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tronci96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tronci96a,
author = {Enrico Tronci},
title = {Equational Programming in Lambda-Calculus via SL-Systems. Part 2},
journal = {Theor. Comput. Sci.},
volume = {160},
number = {1{\&}2},
pages = {185--216},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00106-9},
doi = {10.1016/0304-3975(95)00106-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tronci96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PuglieseT96,
author = {Rosario Pugliese and
Enrico Tronci},
editor = {Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Automatic Verification of a Hydroelectric Power Plant},
booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
International Symposium of Formal Methods Europe, Co-Sponsored by
{IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1051},
pages = {425--444},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60973-3\_100},
doi = {10.1007/3-540-60973-3\_100},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PuglieseT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Tronci95,
author = {Enrico Tronci},
title = {Defining Data Structures via B{\"{o}}hm-Out},
journal = {J. Funct. Program.},
volume = {5},
number = {1},
pages = {51--64},
year = {1995},
url = {https://doi.org/10.1017/S0956796800001234},
doi = {10.1017/S0956796800001234},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Tronci95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Tronci95,
author = {Enrico Tronci},
title = {Hardware Verification, Boolean Logic Programming, Boolean Functional
Programming},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {408--418},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523275},
doi = {10.1109/LICS.1995.523275},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Tronci95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BohmT91,
author = {Corrado B{\"{o}}hm and
Enrico Tronci},
title = {About Systems of Equations, X-Separability, and Left-Invertibility
in the lambda-Calculus},
journal = {Inf. Comput.},
volume = {90},
number = {1},
pages = {1--32},
year = {1991},
url = {https://doi.org/10.1016/0890-5401(91)90057-9},
doi = {10.1016/0890-5401(91)90057-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BohmT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Tronci91,
author = {Enrico Tronci},
title = {Equational Prgoramming in lambda-calculus},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
{(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
pages = {191--202},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/LICS.1991.151644},
doi = {10.1109/LICS.1991.151644},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Tronci91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PipernoT90,
author = {Adolfo Piperno and
Enrico Tronci},
title = {Regular Systems in lambda-Calculus},
journal = {Int. J. Found. Comput. Sci.},
volume = {1},
number = {3},
pages = {325--340},
year = {1990},
url = {https://doi.org/10.1142/S0129054190000230},
doi = {10.1142/S0129054190000230},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/PipernoT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BohmT87,
author = {Corrado B{\"{o}}hm and
Enrico Tronci},
title = {X-Separability and Left-Invertibility in lambda-calculus},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {320--328},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BohmT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 23:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
