Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Riccardo Traverso
@article{DBLP:journals/fuin/DelzannoST16, author = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso}, title = {Adding Data Registers to Parameterized Networks with Broadcast}, journal = {Fundam. Informaticae}, volume = {143}, number = {3-4}, pages = {287--316}, year = {2016}, url = {https://doi.org/10.3233/FI-2016-1315}, doi = {10.3233/FI-2016-1315}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DelzannoST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/RaniseTT16, author = {Silvio Ranise and Anh Tuan Truong and Riccardo Traverso}, title = {Parameterized model checking for security policy analysis}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {18}, number = {5}, pages = {559--573}, year = {2016}, url = {https://doi.org/10.1007/s10009-015-0410-1}, doi = {10.1007/S10009-015-0410-1}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/RaniseTT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AbdullaDRST16, author = {Parosh Aziz Abdulla and Giorgio Delzanno and Othmane Rezine and Arnaud Sangnier and Riccardo Traverso}, title = {Parameterized verification of time-sensitive models of ad hoc network protocols}, journal = {Theor. Comput. Sci.}, volume = {612}, pages = {1--22}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2015.07.048}, doi = {10.1016/J.TCS.2015.07.048}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AbdullaDRST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codaspy/ArmandoRTW16, author = {Alessandro Armando and Silvio Ranise and Riccardo Traverso and Konrad S. Wrona}, editor = {Elisa Bertino and Ravi S. Sandhu and Ram Krishnan}, title = {SMT-based Enforcement and Analysis of {NATO} Content-based Protection and Release Policies}, booktitle = {Proceedings of the 2016 {ACM} International Workshop on Attribute Based Access Control, ABAC@CODASPY 2016, New Orleans, Louisiana, USA, March 11, 2016}, pages = {35--46}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2875491.2875493}, doi = {10.1145/2875491.2875493}, timestamp = {Tue, 09 Feb 2021 08:50:28 +0100}, biburl = {https://dblp.org/rec/conf/codaspy/ArmandoRTW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/ArmandoBCMMRTV15, author = {Alessandro Armando and Gianluca Bocci and Gabriele Costa and Rocco Mammoliti and Alessio Merlo and Silvio Ranise and Riccardo Traverso and Andrea Valenza}, editor = {Elisa Bertino and Ilsun You}, title = {Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module}, booktitle = {Proceedings of the 7th {ACM} {CCS} International Workshop on Managing Insider Security Threats, {MIST} 2015, Denver, Colorado, USA, October 16, 2015}, pages = {41--49}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2808783.2808786}, doi = {10.1145/2808783.2808786}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ccs/ArmandoBCMMRTV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cns/ArmandoRTW15, author = {Alessandro Armando and Silvio Ranise and Riccardo Traverso and Konrad S. Wrona}, title = {Compiling {NATO} authorization policies for enforcement in the cloud and SDNs}, booktitle = {2015 {IEEE} Conference on Communications and Network Security, {CNS} 2015, Florence, Italy, September 28-30, 2015}, pages = {741--742}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/CNS.2015.7346913}, doi = {10.1109/CNS.2015.7346913}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/cns/ArmandoRTW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sacmat/ArmandoRTW15, author = {Alessandro Armando and Silvio Ranise and Riccardo Traverso and Konrad S. Wrona}, editor = {Edgar R. Weippl and Florian Kerschbaum and Adam J. Lee}, title = {A SMT-based Tool for the Analysis and Enforcement of {NATO} Content-based Protection and Release Policies}, booktitle = {Proceedings of the 20th {ACM} Symposium on Access Control Models and Technologies, Vienna, Austria, June 1-3, 2015}, pages = {151--155}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2752952.2752954}, doi = {10.1145/2752952.2752954}, timestamp = {Mon, 26 Jun 2023 20:45:28 +0200}, biburl = {https://dblp.org/rec/conf/sacmat/ArmandoRTW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stm/RaniseT14, author = {Silvio Ranise and Riccardo Traverso}, editor = {Sjouke Mauw and Christian Damsgaard Jensen}, title = {{ALPS:} An Action Language for Policy Specification and Automated Safety Analysis}, booktitle = {Security and Trust Management - 10th International Workshop, {STM} 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8743}, pages = {146--161}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11851-2\_10}, doi = {10.1007/978-3-319-11851-2\_10}, timestamp = {Thu, 23 Sep 2021 11:47:56 +0200}, biburl = {https://dblp.org/rec/conf/stm/RaniseT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DelzannoRT14, author = {Giorgio Delzanno and Arend Rensink and Riccardo Traverso}, editor = {Dragan Bosnacki and Stefan Edelkamp and Alberto Lluch{-}Lafuente and Anton Wijs}, title = {Graph- versus Vector-Based Analysis of a Consensus Protocol}, booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering, {GRAPHITE} 2014, Grenoble, France, 5th April 2014}, series = {{EPTCS}}, volume = {159}, pages = {44--57}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.159.5}, doi = {10.4204/EPTCS.159.5}, timestamp = {Wed, 14 Nov 2018 10:31:26 +0100}, biburl = {https://dblp.org/rec/journals/corr/DelzannoRT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DelzannoTT14, author = {Giorgio Delzanno and Michele Tatarek and Riccardo Traverso}, editor = {Adriano Peron and Carla Piazza}, title = {Model Checking Paxos in Spin}, booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014}, series = {{EPTCS}}, volume = {161}, pages = {131--146}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.161.13}, doi = {10.4204/EPTCS.161.13}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/DelzannoTT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/DelzannoT13, author = {Giorgio Delzanno and Riccardo Traverso}, editor = {Adrian{-}Horia Dediu and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, title = {Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks}, booktitle = {Language and Automata Theory and Applications - 7th International Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7810}, pages = {238--249}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37064-9\_22}, doi = {10.1007/978-3-642-37064-9\_22}, timestamp = {Mon, 16 Sep 2019 15:27:03 +0200}, biburl = {https://dblp.org/rec/conf/lata/DelzannoT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/DelzannoST13, author = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso}, editor = {Parosh Aziz Abdulla and Igor Potapov}, title = {Parameterized Verification of Broadcast Networks of Register Automata}, booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8169}, pages = {109--121}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41036-9\_11}, doi = {10.1007/978-3-642-41036-9\_11}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/DelzannoST13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/DelzannoT13, author = {Giorgio Delzanno and Riccardo Traverso}, editor = {Ezio Bartocci and C. R. Ramakrishnan}, title = {Specification and Validation of Link Reversal Routing via Graph Transformations}, 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 = {160--177}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39176-7\_11}, doi = {10.1007/978-3-642-39176-7\_11}, timestamp = {Mon, 03 Apr 2023 17:23:33 +0200}, biburl = {https://dblp.org/rec/conf/spin/DelzannoT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dalt/SolimandoT12, author = {Alessandro Solimando and Riccardo Traverso}, editor = {Matteo Baldoni and Louise A. Dennis and Viviana Mascardi and Wamberto Weber Vasconcelos}, title = {Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper)}, booktitle = {Declarative Agent Languages and Technologies {X} - 10th International Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7784}, pages = {203--207}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-37890-4\_13}, doi = {10.1007/978-3-642-37890-4\_13}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/dalt/SolimandoT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/DelzannoSTZ12, author = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso and Gianluigi Zavattaro}, editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan}, title = {On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012, Hyderabad, India}, series = {LIPIcs}, volume = {18}, pages = {289--300}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.289}, doi = {10.4230/LIPICS.FSTTCS.2012.289}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/DelzannoSTZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1202-5850, author = {Giorgio Delzanno and Arnaud Sangnier and Riccardo Traverso and Gianluigi Zavattaro}, title = {The Cost of Parameterized Reachability in Mobile Ad Hoc Networks}, journal = {CoRR}, volume = {abs/1202.5850}, year = {2012}, url = {http://arxiv.org/abs/1202.5850}, eprinttype = {arXiv}, eprint = {1202.5850}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-5850.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/AbdullaDRST11, author = {Parosh Aziz Abdulla and Giorgio Delzanno and Othmane Rezine and Arnaud Sangnier and Riccardo Traverso}, editor = {Uli Fahrenberg and Stavros Tripakis}, title = {On the Verification of Timed Ad Hoc Networks}, booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6919}, pages = {256--270}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24310-3\_18}, doi = {10.1007/978-3-642-24310-3\_18}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/formats/AbdullaDRST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.