Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ivano Salvo
@article{DBLP:journals/ipl/FiorenzaGS23,
author = {Dario Fiorenza and
Daniele Gorla and
Ivano Salvo},
title = {Polynomial recognition of vulnerable multi-commodities},
journal = {Inf. Process. Lett.},
volume = {179},
pages = {106282},
year = {2023},
url = {https://doi.org/10.1016/j.ipl.2022.106282},
doi = {10.1016/J.IPL.2022.106282},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/FiorenzaGS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaldanGPS22,
author = {Paolo Baldan and
Daniele Gorla and
Tommaso Padoan and
Ivano Salvo},
title = {Characterising spectra of equivalences for event structures, logically},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104887},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104887},
doi = {10.1016/J.IC.2022.104887},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BaldanGPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaldanGPS22,
author = {Paolo Baldan and
Daniele Gorla and
Tommaso Padoan and
Ivano Salvo},
title = {Behavioural logics for configuration structures},
journal = {Theor. Comput. Sci.},
volume = {913},
pages = {94--112},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.02.018},
doi = {10.1016/J.TCS.2022.02.018},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BaldanGPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/PetriconeS22,
author = {Lorenzo Petricone and
Ivano Salvo},
editor = {Ugo Dal Lago and
Daniele Gorla},
title = {Monad Transformations as Parametric Distributive Laws (text not included)},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer
Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3284},
publisher = {CEUR-WS.org},
year = {2022},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/PetriconeS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2021,
editor = {Claudio Sacerdoti Coen and
Ivano Salvo},
title = {Proceedings of the 22nd Italian Conference on Theoretical Computer
Science, Bologna, Italy, September 13-15, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3072},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3072},
urn = {urn:nbn:de:0074-3072-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/2021.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/GorlaS21,
author = {Daniele Gorla and
Ivano Salvo},
title = {Conflict vs causality in event structures},
journal = {J. Log. Algebraic Methods Program.},
volume = {119},
pages = {100631},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2020.100631},
doi = {10.1016/J.JLAMP.2020.100631},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/GorlaS21.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/acta/CenciarelliGS19,
author = {Pietro Cenciarelli and
Daniele Gorla and
Ivano Salvo},
title = {Depletable channels: dynamics, behaviour, and efficiency in network
design},
journal = {Acta Informatica},
volume = {56},
number = {5},
pages = {405--431},
year = {2019},
url = {https://doi.org/10.1007/s00236-018-0329-6},
doi = {10.1007/S00236-018-0329-6},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CenciarelliGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/CenciarelliGS19,
author = {Pietro Cenciarelli and
Daniele Gorla and
Ivano Salvo},
title = {A Polynomial-Time Algorithm for Detecting the Possibility of Braess
Paradox in Directed Graphs},
journal = {Algorithmica},
volume = {81},
number = {4},
pages = {1535--1560},
year = {2019},
url = {https://doi.org/10.1007/s00453-018-0486-6},
doi = {10.1007/S00453-018-0486-6},
timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/CenciarelliGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-08636,
author = {Daniele Gorla and
Ivano Salvo and
Adolfo Piperno},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Conflict vs Causality in Event Structures},
booktitle = {Proceedings Combined 26th International Workshop on Expressiveness
in Concurrency and 16th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2019, Amsterdam, The Netherlands, 26th August 2019},
series = {{EPTCS}},
volume = {300},
pages = {86--101},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.6},
doi = {10.4204/EPTCS.300.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CenciarelliGS18,
author = {Pietro Cenciarelli and
Daniele Gorla and
Ivano Salvo},
title = {Inefficiencies in network models: {A} graph-theoretic perspective},
journal = {Inf. Process. Lett.},
volume = {131},
pages = {44--50},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2017.10.008},
doi = {10.1016/J.IPL.2017.10.008},
timestamp = {Thu, 25 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/CenciarelliGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/SalvoGC18,
author = {Ivano Salvo and
Daniele Gorla and
Pietro Cenciarelli},
editor = {Alessandro Aldini and
Marco Bernardo},
title = {Graph Theoretic Detection of Inefficiencies in Network Models},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer
Science, Urbino, Italy, September 18-20, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2243},
pages = {87--91},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2243/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/SalvoGC18.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/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/corr/abs-1807-11792,
author = {Ivano Salvo and
Agnese Pacifico},
title = {Computing Integer Sequences: Filtering vs Generation (Functional Pearl)},
journal = {CoRR},
volume = {abs/1807.11792},
year = {2018},
url = {http://arxiv.org/abs/1807.11792},
eprinttype = {arXiv},
eprint = {1807.11792},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-11792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-09840,
author = {Ivano Salvo and
Agnese Pacifico},
title = {Three Euler's Sieves and a Fast Prime Generator (Functional Pearl)},
journal = {CoRR},
volume = {abs/1811.09840},
year = {2018},
url = {http://arxiv.org/abs/1811.09840},
eprinttype = {arXiv},
eprint = {1811.09840},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-09840.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/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/corr/CenciarelliGS16,
author = {Pietro Cenciarelli and
Daniele Gorla and
Ivano Salvo},
title = {Graph Theoretic Investigations on Inefficiencies in Network Models},
journal = {CoRR},
volume = {abs/1603.01983},
year = {2016},
url = {http://arxiv.org/abs/1603.01983},
eprinttype = {arXiv},
eprint = {1603.01983},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CenciarelliGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CenciarelliGS16a,
author = {Pietro Cenciarelli and
Daniele Gorla and
Ivano Salvo},
title = {A Polynomial-time Algorithm for Detecting the Possibility of Braess
Paradox in Directed Graphs},
journal = {CoRR},
volume = {abs/1610.09320},
year = {2016},
url = {http://arxiv.org/abs/1610.09320},
eprinttype = {arXiv},
eprint = {1610.09320},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CenciarelliGS16a.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}
}
@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/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/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}
}
@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/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}
}
@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/fct/CenciarelliGS09,
author = {Pietro Cenciarelli and
Daniele Gorla and
Ivano Salvo},
editor = {Miroslaw Kutylowski and
Witold Charatonik and
Maciej Gebala},
title = {Depletable Channels: Dynamics and Behaviour},
booktitle = {Fundamentals of Computation Theory, 17th International Symposium,
{FCT} 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5699},
pages = {50--61},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03409-1\_6},
doi = {10.1007/978-3-642-03409-1\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/CenciarelliGS09.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}
}
@phdthesis{DBLP:phd/it/Salvo04,
author = {Ivano Salvo},
title = {Confluence and expressiveness in reduction systems},
school = {Sapienza University of Rome, Italy},
year = {2004},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0006229},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Salvo04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BucciarelliPS03,
author = {Antonio Bucciarelli and
Adolfo Piperno and
Ivano Salvo},
title = {Intersection Types and lambda-Definability},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {15--53},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003833},
doi = {10.1017/S0960129502003833},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BucciarelliPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CoppoDGS03,
author = {Mario Coppo and
Mariangiola Dezani{-}Ciancaglini and
Elio Giovannetti and
Ivano Salvo},
editor = {James Harland},
title = {Mobility Types for Mobile Processes in Mobile Ambients},
booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
SA, Australia, February 4-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {78},
pages = {144--177},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81011-9},
doi = {10.1016/S1571-0661(04)81011-9},
timestamp = {Fri, 11 Nov 2022 16:09:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CoppoDGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/IntrigilaSS01,
author = {Benedetto Intrigila and
Ivano Salvo and
Stefano Sorgi},
title = {A Characterization of Weakly Church-Rosser Abstract Reduction Systems
That Are Not Church-Rosser},
journal = {Inf. Comput.},
volume = {171},
number = {2},
pages = {137--155},
year = {2001},
url = {https://doi.org/10.1006/inco.2001.2945},
doi = {10.1006/INCO.2001.2945},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/IntrigilaSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarbaneraDSS01,
author = {Franco Barbanera and
Mariangiola Dezani{-}Ciancaglini and
Ivano Salvo and
Vladimiro Sassone},
editor = {Marina Lenisa and
Marino Miculan},
title = {A Type Inference Algorithm for Secure Ambients},
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 = {83--101},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00321-4},
doi = {10.1016/S1571-0661(04)00321-4},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarbaneraDSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonoS01,
author = {Viviana Bono and
Ivano Salvo},
editor = {Jean{-}Jacques L{\'{e}}vy},
title = {A CuCh Interpretation of an Object-Oriented Language},
booktitle = {Bohm's theorem: applications to Computer Science Theory, {BOTH} 2001,
Satellite Workshop of {ICALP} 2001, Crete, Greece, July 13, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {50},
number = {2},
pages = {159--177},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00171-9},
doi = {10.1016/S1571-0661(04)00171-9},
timestamp = {Thu, 01 Dec 2022 12:16:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonoS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Dezani-CiancagliniS00,
author = {Mariangiola Dezani{-}Ciancaglini and
Ivano Salvo},
editor = {Jifeng He and
Masahiko Sato},
title = {Security Types for Mobile Safe Ambients},
booktitle = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing
Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1961},
pages = {215--236},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44464-5\_16},
doi = {10.1007/3-540-44464-5\_16},
timestamp = {Mon, 21 Mar 2022 11:35:02 +0100},
biburl = {https://dblp.org/rec/conf/asian/Dezani-CiancagliniS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BucciarelliLPS99,
author = {Antonio Bucciarelli and
Silvia De Lorenzis and
Adolfo Piperno and
Ivano Salvo},
title = {Some Computational Properties of Intersection Types},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {109--118},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782598},
doi = {10.1109/LICS.1999.782598},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BucciarelliLPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BucciarelliS98,
author = {Antonio Bucciarelli and
Ivano Salvo},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Totality, Definability and Boolean Ciruits},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {808--819},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055104},
doi = {10.1007/BFB0055104},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BucciarelliS98.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 2023-09-28 03:39 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:
