Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Valerio Senni
@article{DBLP:journals/ijisec/TriakosiaRTFS24,
author = {Aikaterini Triakosia and
Panagiotis Rizomiliotis and
Cecilia Tonelli and
Fabio Federici and
Valerio Senni},
title = {Secure outsourcing of manufacturing compliance checks},
journal = {Int. J. Inf. Sec.},
volume = {23},
number = {1},
pages = {609--627},
year = {2024},
url = {https://doi.org/10.1007/s10207-023-00747-2},
doi = {10.1007/S10207-023-00747-2},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijisec/TriakosiaRTFS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coins/MartintoniSMG22,
author = {Davide Martintoni and
Valerio Senni and
Ernesto G{\'{o}}mez{-}Mar{\'{\i}}n and
Antonio Javier Cabrera Guti{\'{e}}rrez},
title = {Sensitive information protection in blockchain-based supply-chain
management for aerospace},
booktitle = {{IEEE} International Conference on Omni-layer Intelligent Systems,
{COINS} 2022, Barcelona, Spain, August 1-3, 2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COINS54846.2022.9854974},
doi = {10.1109/COINS54846.2022.9854974},
timestamp = {Tue, 26 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coins/MartintoniSMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/LagoFMS22,
author = {Loris Dal Lago and
Fabio Federici and
Davide Martintoni and
Valerio Senni},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {Risk-driven Model-based Architecture Design for Secure Information
Flows in Manufacturing Infrastructures},
booktitle = {Proceedings of the 19th International Conference on Security and Cryptography,
{SECRYPT} 2022, Lisbon, Portugal, July 11-13, 2022},
pages = {499--506},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011144700003283},
doi = {10.5220/0011144700003283},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/LagoFMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustbus/TriakosiaRTTSF22,
author = {Aikaterini Triakosia and
Panagiotis Rizomiliotis and
Konstantinos Tserpes and
Cecilia Tonelli and
Valerio Senni and
Fabio Federici},
editor = {Sokratis K. Katsikas and
Steven Furnell},
title = {Homomorphic Encryption in Manufacturing Compliance Checks},
booktitle = {Trust, Privacy and Security in Digital Business - 19th International
Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13582},
pages = {81--95},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17926-6\_6},
doi = {10.1007/978-3-031-17926-6\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustbus/TriakosiaRTTSF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blockchain2/KasinathanMHSW21,
author = {Prabhakaran Kasinathan and
Davide Martintoni and
Benedikt Hofmann and
Valerio Senni and
Martin Wimmer},
editor = {Yang Xiang and
Ziyuan Wang and
Honggang Wang and
Valtteri Niemi},
title = {Secure Remote Maintenance via Workflow-Driven Security Framework},
booktitle = {2021 {IEEE} International Conference on Blockchain, Blockchain 2021,
Melbourne, Australia, December 6-8, 2021},
pages = {29--37},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/Blockchain53845.2021.00016},
doi = {10.1109/BLOCKCHAIN53845.2021.00016},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/blockchain2/KasinathanMHSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/RocchettoFS19,
author = {Marco Rocchetto and
Alberto Ferrari and
Valerio Senni},
editor = {Francesco Flammini},
title = {Challenges and Opportunities for Model-Based Security Risk Assessment
of Cyber-Physical Systems},
booktitle = {Resilience of Cyber-Physical Systems, From Risk Modelling to Threat
Counteraction},
pages = {25--47},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-95597-1\_2},
doi = {10.1007/978-3-319-95597-1\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/RocchettoFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inis/ArnoldBFMSLQE17,
author = {Alexandre Arnold and
Massimo Baleani and
Alberto Ferrari and
Marco Marazza and
Valerio Senni and
Axel Legay and
Jean Quilbeuf and
Christoph Etzien},
title = {An Application of {SMC} to continuous validation of heterogeneous
systems},
journal = {{EAI} Endorsed Trans. Ind. Networks Intell. Syst.},
volume = {4},
number = {10},
pages = {e3},
year = {2017},
url = {https://doi.org/10.4108/eai.1-2-2017.152154},
doi = {10.4108/EAI.1-2-2017.152154},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/inis/ArnoldBFMSLQE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inis/ArnoldBFMSLQE17a,
author = {Alexandre Arnold and
Massimo Baleani and
Alberto Ferrari and
Marco Marazza and
Valerio Senni and
Axel Legay and
Jean Quilbeuf and
Christoph Etzien},
title = {An Application of {SMC} to continuous validation of heterogeneous
systems},
journal = {{EAI} Endorsed Trans. Ind. Networks Intell. Syst.},
volume = {4},
number = {11},
pages = {e2},
year = {2017},
url = {https://doi.org/10.4108/eai.21-12-2017.153500},
doi = {10.4108/EAI.21-12-2017.153500},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/inis/ArnoldBFMSLQE17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/FerranteGSF17,
author = {Orlando Ferrante and
Luigi Di Guglielmo and
Valerio Senni and
Alberto Ferrari},
editor = {Marco Bozzano and
Yiannis Papadopoulos},
title = {Application of Model-Based Safety Assessment to the Validation of
Avionic Electrical Power Systems},
booktitle = {Model-Based Safety and Assessment - 5th International Symposium, {IMBSA}
2017, Trento, Italy, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10437},
pages = {243--254},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64119-5\_16},
doi = {10.1007/978-3-319-64119-5\_16},
timestamp = {Thu, 14 Oct 2021 09:59:31 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/FerranteGSF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/ArnoldBFMSLQE16,
author = {Alexandre Arnold and
Massimo Baleani and
Alberto Ferrari and
Marco Marazza and
Valerio Senni and
Axel Legay and
Jean Quilbeuf and
Christoph Etzien},
editor = {Gary Tan},
title = {An Application of {SMC} to continuous validation of heterogeneous
systems},
booktitle = {Proceedings of the 9th {EAI} International Conference on Simulation
Tools and Techniques, Prague, Czech Republic, August 22-24, 2016},
pages = {76--85},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=3021438},
timestamp = {Sun, 05 Mar 2017 12:00:16 +0100},
biburl = {https://dblp.org/rec/conf/simutools/ArnoldBFMSLQE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FioravantiPS15,
author = {Fabio Fioravanti and
Maurizio Proietti and
Valerio Senni},
title = {Efficient generation of test data structures using constraint logic
programming and program transformation},
journal = {J. Log. Comput.},
volume = {25},
number = {6},
pages = {1263--1283},
year = {2015},
url = {https://doi.org/10.1093/logcom/ext071},
doi = {10.1093/LOGCOM/EXT071},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/FioravantiPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/AmorettiGSTZ15,
author = {Michele Amoretti and
Alessandro Grazioli and
Valerio Senni and
Francesco Tiezzi and
Francesco Zanichelli},
title = {A formalized framework for mobile cloud computing},
journal = {Serv. Oriented Comput. Appl.},
volume = {9},
number = {3-4},
pages = {229--248},
year = {2015},
url = {https://doi.org/10.1007/s11761-014-0169-3},
doi = {10.1007/S11761-014-0169-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soca/AmorettiGSTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LatellaLMS15,
author = {Diego Latella and
Michele Loreti and
Mieke Massink and
Valerio Senni},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {On StocS: {A} Stochastic Extension of {SCEL}},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {619--640},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_35},
doi = {10.1007/978-3-319-15545-6\_35},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LatellaLMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14,
author = {Rocco De Nicola and
Alberto Lluch{-}Lafuente and
Michele Loreti and
Andrea Morichetta and
Rosario Pugliese and
Valerio Senni and
Francesco Tiezzi},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Programming and Verifying Component Ensembles},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {69--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_5},
doi = {10.1007/978-3-642-54848-2\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AmorettiGZST14,
author = {Michele Amoretti and
Alessandro Grazioli and
Francesco Zanichelli and
Valerio Senni and
Francesco Tiezzi},
title = {Towards a Formal Approach to Mobile Cloud Computing},
booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2014, Torino, Italy, February
12-14, 2014},
pages = {743--750},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PDP.2014.42},
doi = {10.1109/PDP.2014.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AmorettiGZST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LatellaLMS14,
author = {Diego Latella and
Michele Loreti and
Mieke Massink and
Valerio Senni},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Stochastically timed predicate-based communication primitives for
autonomic computing},
booktitle = {Proceedings Twelfth International Workshop on Quantitative Aspects
of Programming Languages and Systems, {QAPL} 2014, Grenoble, France,
12-13 April 2014},
series = {{EPTCS}},
volume = {154},
pages = {1--16},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.154.1},
doi = {10.4204/EPTCS.154.1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LatellaLMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SenniS14,
author = {Valerio Senni and
Michele Stawowy},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Backwards State-space Reduction for Planning in Dynamic Knowledge
Bases},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {84--99},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.8},
doi = {10.4204/EPTCS.159.8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SenniS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BjornerFRS14,
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169},
doi = {10.4204/EPTCS.169},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BjornerFRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioravantiPPS13,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Controlling Polyvariance for Specialization-based Verification},
journal = {Fundam. Informaticae},
volume = {124},
number = {4},
pages = {483--502},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-845},
doi = {10.3233/FI-2013-845},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/FioravantiPPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioravantiPPS13a,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Proving Theorems by Program Transformation},
journal = {Fundam. Informaticae},
volume = {127},
number = {1-4},
pages = {115--134},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-899},
doi = {10.3233/FI-2013-899},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/FioravantiPPS13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FioravantiPPS13,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Generalization strategies for the verification of infinite state systems},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {175--199},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000627},
doi = {10.1017/S1471068411000627},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FioravantiPPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PettorossiPS12,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Constraint-based correctness proofs for logic program transformations},
journal = {Formal Aspects Comput.},
volume = {24},
number = {4-6},
pages = {569--594},
year = {2012},
url = {https://doi.org/10.1007/s00165-012-0233-8},
doi = {10.1007/S00165-012-0233-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PettorossiPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioravantiPPS12,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Improving Reachability Analysis of Infinite State Systems by Specialization},
journal = {Fundam. Informaticae},
volume = {119},
number = {3-4},
pages = {281--300},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-738},
doi = {10.3233/FI-2012-738},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/FioravantiPPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rocks/KolesnichenkoSPR12,
author = {Anna Kolesnichenko and
Valerio Senni and
Alireza Pourranjbar and
Anne Remke},
editor = {Anne Remke and
Mari{\"{e}}lle Stoelinga},
title = {Applying Mean-Field Approximation to Continuous Time Markov Chains},
booktitle = {Stochastic Model Checking. Rigorous Dependability Analysis Using Model
Checking Techniques for Stochastic Systems - International Autumn
School, {ROCKS} 2012, Vahrn, Italy, October 22-26, 2012, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {8453},
pages = {242--280},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-662-45489-3\_7},
doi = {10.1007/978-3-662-45489-3\_7},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rocks/KolesnichenkoSPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/SenniF12,
author = {Valerio Senni and
Fabio Fioravanti},
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Generation of Test Data Structures Using Constraint Logic Programming},
booktitle = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {115--131},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30473-6\_10},
doi = {10.1007/978-3-642-30473-6\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/SenniF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/FioravantiPPS11,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Program transformation for development, verification, and synthesis
of programs},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {119--125},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0014},
doi = {10.3233/IA-2011-0014},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/FioravantiPPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/FioravantiPPS11,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Fabio Fioravanti},
title = {Controlling Polyvariance for Specialization-based Verification},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
pages = {179--197},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810/paper-l11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/FioravantiPPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/RingeissenS11,
author = {Christophe Ringeissen and
Valerio Senni},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Modular Termination and Combinability for Superposition Modulo Counter
Arithmetic},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {211--226},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_15},
doi = {10.1007/978-3-642-24364-6\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/RingeissenS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPPS11,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Germ{\'{a}}n Vidal},
title = {Using Real Relaxations during Program Specialization},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {106--122},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_8},
doi = {10.1007/978-3-642-32211-2\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FioravantiPPS11,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Giorgio Delzanno and
Igor Potapov},
title = {Improving Reachability Analysis of Infinite State Systems by Specialization},
booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
Italy, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6945},
pages = {165--179},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24288-5\_15},
doi = {10.1007/978-3-642-24288-5\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/FioravantiPPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/RingeissenS11,
author = {Christophe Ringeissen and
Valerio Senni},
editor = {Martin Giese and
Roman Kuznets},
title = {Modular Termination and Combinability for Superposition Modulo Counter
Arithmetic},
booktitle = {{TABLEAUX} 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland,
July 4-8, 2011},
series = {Technical Report},
volume = {{IAM-11-002}},
pages = {64--65},
year = {2011},
timestamp = {Thu, 18 Nov 2021 15:00:48 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/RingeissenS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0999,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Generalization Strategies for the Verification of Infinite State Systems},
journal = {CoRR},
volume = {abs/1110.0999},
year = {2011},
url = {http://arxiv.org/abs/1110.0999},
eprinttype = {arXiv},
eprint = {1110.0999},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-0999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PettorossiSP10,
author = {Alberto Pettorossi and
Valerio Senni and
Maurizio Proietti},
title = {Transformations of logic programs on infinite lists},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {383--399},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000177},
doi = {10.1017/S1471068410000177},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/PettorossiSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/FioravantiPPS10,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Wolfgang Faber and
Nicola Leone},
title = {Generalization Strategies for the Verification of Infinite State Systems},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/FioravantiPPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/PettorossiPS10,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Wolfgang Faber and
Nicola Leone},
title = {A Transformation Strategy for Verifying Logic Programs on Infinite
Lists},
booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper05.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/PettorossiPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FioravantiPPS10,
author = {Fabio Fioravanti and
Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Mar{\'{\i}}a Alpuente},
title = {Program Specialization for Verifying Infinite State Systems: An Experimental
Evaluation},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {164--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_11},
doi = {10.1007/978-3-642-20551-4\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/PettorossiPS10,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Agostino Dovier and
Enrico Pontelli},
title = {The Transformational Approach to Program Development},
booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
Association for Logic Programming, {GULP}},
series = {Lecture Notes in Computer Science},
volume = {6125},
pages = {112--135},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14309-0\_6},
doi = {10.1007/978-3-642-14309-0\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/PettorossiPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4157,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
title = {Transformations of Logic Programs on Infinite Lists},
journal = {CoRR},
volume = {abs/1007.4157},
year = {2010},
url = {http://arxiv.org/abs/1007.4157},
eprinttype = {arXiv},
eprint = {1007.4157},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SenniPP09,
author = {Valerio Senni and
Alberto Pettorossi and
Maurizio Proietti},
title = {A Folding Rule for Eliminating Existential Variables from Constraint
Logic Programs},
journal = {Fundam. Informaticae},
volume = {96},
number = {3},
pages = {373--393},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-183},
doi = {10.3233/FI-2009-183},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/SenniPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PettorossiPS09,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Danny De Schreye},
title = {Deciding Full Branching Time Logic by Program Transformation},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
pages = {5--21},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_2},
doi = {10.1007/978-3-642-12592-8\_2},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PettorossiPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PettorossiPS08,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {Program Transformation for Development, Verification, and Synthesis
of Software},
booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
Alberto Martelli, Turin, Italy, June 3, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {487},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-487/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/PettorossiPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SenniPP08,
author = {Valerio Senni and
Alberto Pettorossi and
Maurizio Proietti},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {A Folding Algorithm for Eliminating Existential Variables from Constraint
Logic Programs},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {284--300},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_29},
doi = {10.1007/978-3-540-89982-2\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SenniPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PettorossiPS07,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Automatic Correctness Proofs for Logic Program Transformations},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {364--379},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_25},
doi = {10.1007/978-3-540-74610-2\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PettorossiPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PettorossiPS06,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Proving Properties of Constraint Logic Programs by Eliminating Existential
Variables},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {179--195},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_15},
doi = {10.1007/11799573\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PettorossiPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PettorossiPS05,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Patricia M. Hill},
title = {Transformational Verification of Parameterized Protocols Using Array
Formulas},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {23--43},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_3},
doi = {10.1007/11680093\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PettorossiPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PettorossiPS05,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {James R. Cordy and
Ralf L{\"{a}}mmel and
Andreas Winter},
title = {Proofs of Program Properties via Unfold/Fold Transformations of Constraint
Logic Programs},
booktitle = {Transformation Techniques in Software Engineering, 17.-22. April 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05161},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/422},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PettorossiPS05.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-03-11 23:28 CET 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:
