Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Luca de Alfaro
@article{DBLP:journals/taslp/KoudounasPAMGGRCCABA24,
author = {Alkis Koudounas and
Eliana Pastor and
Giuseppe Attanasio and
Vittorio Mazzia and
Manuel Giollo and
Thomas Gueudr{\'{e}} and
Elisa Reale and
Luca Cagliero and
Sandro Cumani and
Luca de Alfaro and
Elena Baralis and
Daniele Amberti},
title = {Towards Comprehensive Subgroup Performance Analysis in Speech Models},
journal = {{IEEE} {ACM} Trans. Audio Speech Lang. Process.},
volume = {32},
pages = {1468--1480},
year = {2024},
url = {https://doi.org/10.1109/TASLP.2024.3363447},
doi = {10.1109/TASLP.2024.3363447},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taslp/KoudounasPAMGGRCCABA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/KoudounasPAMGGCABA23,
author = {Alkis Koudounas and
Eliana Pastor and
Giuseppe Attanasio and
Vittorio Mazzia and
Manuel Giollo and
Thomas Gueudr{\'{e}} and
Luca Cagliero and
Luca de Alfaro and
Elena Baralis and
Daniele Amberti},
title = {Exploring Subgroup Performance in End-to-End Speech Models},
booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing
{ICASSP} 2023, Rhodes Island, Greece, June 4-10, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICASSP49357.2023.10095284},
doi = {10.1109/ICASSP49357.2023.10095284},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/KoudounasPAMGGCABA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/PastorBA23,
author = {Eliana Pastor and
Elena Baralis and
Luca de Alfaro},
title = {A Hierarchical Approach to Anomalous Subgroup Discovery},
booktitle = {39th {IEEE} International Conference on Data Engineering, {ICDE} 2023,
Anaheim, CA, USA, April 3-7, 2023},
pages = {2647--2659},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICDE55515.2023.00203},
doi = {10.1109/ICDE55515.2023.00203},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/PastorBA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/ZhangAG22,
author = {Molly Zhang and
Luca de Alfaro and
J. J. Garcia{-}Luna{-}Aceves},
title = {Making slotted {ALOHA} efficient and fair using reinforcement learning},
journal = {Comput. Commun.},
volume = {181},
pages = {58--68},
year = {2022},
url = {https://doi.org/10.1016/j.comcom.2021.09.018},
doi = {10.1016/J.COMCOM.2021.09.018},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/ZhangAG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-13898,
author = {Reilly Raab and
Luca de Alfaro and
Yang Liu},
title = {Conjugate Natural Selection},
journal = {CoRR},
volume = {abs/2208.13898},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.13898},
doi = {10.48550/ARXIV.2208.13898},
eprinttype = {arXiv},
eprint = {2208.13898},
timestamp = {Sat, 28 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-13898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/PastorGBA21,
author = {Eliana Pastor and
Andrew Gavgavian and
Elena Baralis and
Luca de Alfaro},
title = {How Divergent Is Your Data?},
journal = {Proc. {VLDB} Endow.},
volume = {14},
number = {12},
pages = {2835--2838},
year = {2021},
url = {http://www.vldb.org/pvldb/vol14/p2835-pastor.pdf},
doi = {10.14778/3476311.3476357},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/PastorGBA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001AGPY21,
author = {Nathalie Bertrand and
Luca de Alfaro and
Rob van Glabbeek and
Catuscia Palamidessi and
Nobuko Yoshida},
editor = {Serge Haddad and
Daniele Varacca},
title = {{CONCUR} Test-Of-Time Award 2021 (Invited Paper)},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {1:1--1:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.1},
doi = {10.4230/LIPICS.CONCUR.2021.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001AGPY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/PastorAB21,
author = {Eliana Pastor and
Luca de Alfaro and
Elena Baralis},
editor = {Guoliang Li and
Zhanhuai Li and
Stratos Idreos and
Divesh Srivastava},
title = {Looking for Trouble: Analyzing Classifier Behavior via Pattern Divergence},
booktitle = {{SIGMOD} '21: International Conference on Management of Data, Virtual
Event, China, June 20-25, 2021},
pages = {1400--1412},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3448016.3457284},
doi = {10.1145/3448016.3457284},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/PastorAB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07450,
author = {Eliana Pastor and
Luca de Alfaro and
Elena Baralis},
title = {Identifying Biased Subgroups in Ranking and Classification},
journal = {CoRR},
volume = {abs/2108.07450},
year = {2021},
url = {https://arxiv.org/abs/2108.07450},
eprinttype = {arXiv},
eprint = {2108.07450},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccde/LiangA20,
author = {Shenshen Liang and
Luca de Alfaro},
title = {Online Top-K Selection in Crowdsourcing Environments},
booktitle = {{ICCDE} 2020: The 6th International Conference on Computing and Data
Engineering, Sanya, China, January 4-6, 2020},
pages = {252--259},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3379247.3379273},
doi = {10.1145/3379247.3379273},
timestamp = {Mon, 06 Apr 2020 15:43:14 +0200},
biburl = {https://dblp.org/rec/conf/iccde/LiangA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mass/ZhangAMFUTJG20,
author = {Molly Zhang and
Luca de Alfaro and
Marc Mosko and
Colin Funai and
Tim Upthegrove and
Bishal Thapa and
Daniel Javorsek and
J. J. Garcia{-}Luna{-}Aceves},
title = {Adaptive Policy Tree Algorithm to Approach Collision-Free Transmissions
in Slotted {ALOHA}},
booktitle = {17th {IEEE} International Conference on Mobile Ad Hoc and Sensor Systems,
{MASS} 2020, Delhi, India, December 10-13, 2020},
pages = {138--146},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MASS50613.2020.00027},
doi = {10.1109/MASS50613.2020.00027},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mass/ZhangAMFUTJG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/ZhangAG20,
author = {Molly Zhang and
Luca de Alfaro and
J. J. Garcia{-}Luna{-}Aceves},
editor = {M{\'{o}}nica Aguilar{-}Igartua and
Paolo Bellavista and
Antonio A. F. Loureiro and
Carlo Giannelli},
title = {Using Reinforcement Learning in Slotted Aloha for Ad-Hoc Networks},
booktitle = {MSWiM '20: 23rd International {ACM} Conference on Modeling, Analysis
and Simulation of Wireless and Mobile Systems, Alicante, Spain, November
16-20, 2020},
pages = {245--252},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3416010.3423231},
doi = {10.1145/3416010.3423231},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mswim/ZhangAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/AlfaroZG20,
author = {Luca de Alfaro and
Molly Zhang and
J. J. Garcia{-}Luna{-}Aceves},
title = {Approaching Fair Collision-Free Channel Access with Slotted {ALOHA}
Using Collaborative Policy-Based Reinforcement Learning},
booktitle = {2020 {IFIP} Networking Conference, Networking 2020, Paris, France,
June 22-26, 2020},
pages = {262--270},
publisher = {{IEEE}},
year = {2020},
url = {https://ieeexplore.ieee.org/document/9142744},
timestamp = {Thu, 23 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/networking/AlfaroZG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ZhangAG20,
author = {Molly Zhang and
Luca de Alfaro and
J. J. Garcia{-}Luna{-}Aceves},
editor = {Behnaz Arzani and
Xin Jin},
title = {An Adaptive Tree Algorithm to Approach Collision-Free Transmission
in Slotted {ALOHA}},
booktitle = {Proceedings of the 2020 Workshop on Network Meets {AI} {\&} ML,
NetAI@SIGCOMM, Virtual Event, USA, August 14, 2020},
pages = {56--61},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3405671.3405817},
doi = {10.1145/3405671.3405817},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/ZhangAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AgrawalA19,
author = {Rakshit Agrawal and
Luca de Alfaro},
editor = {Ling Liu and
Ryen W. White and
Amin Mantrach and
Fabrizio Silvestri and
Julian J. McAuley and
Ricardo Baeza{-}Yates and
Leila Zia},
title = {Learning Edge Properties in Graphs from Path Aggregations},
booktitle = {The World Wide Web Conference, {WWW} 2019, San Francisco, CA, USA,
May 13-17, 2019},
pages = {15--25},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3308558.3313695},
doi = {10.1145/3308558.3313695},
timestamp = {Sun, 22 Sep 2019 18:12:47 +0200},
biburl = {https://dblp.org/rec/conf/www/AgrawalA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-01208,
author = {Rakshit Agrawal and
Luca de Alfaro and
David P. Helmbold},
title = {A New Family of Neural Networks Provably Resistant to Adversarial
Attacks},
journal = {CoRR},
volume = {abs/1902.01208},
year = {2019},
url = {http://arxiv.org/abs/1902.01208},
eprinttype = {arXiv},
eprint = {1902.01208},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-01208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-07207,
author = {Rakshit Agrawal and
Luca de Alfaro and
Gabriele Ballarin and
Stefano Moret and
Massimo Di Pierro and
Eugenio Tacchini and
Marco L. Della Vedova},
title = {Identifying Fake News from Twitter Sharing Data: {A} Large-Scale Study},
journal = {CoRR},
volume = {abs/1902.07207},
year = {2019},
url = {http://arxiv.org/abs/1902.07207},
eprinttype = {arXiv},
eprint = {1902.07207},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-07207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04613,
author = {Rakshit Agrawal and
Luca de Alfaro},
title = {Learning Edge Properties in Graphs from Path Aggregations},
journal = {CoRR},
volume = {abs/1903.04613},
year = {2019},
url = {http://arxiv.org/abs/1903.04613},
eprinttype = {arXiv},
eprint = {1903.04613},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fruct/VedovaTMBDA18,
author = {Marco L. Della Vedova and
Eugenio Tacchini and
Stefano Moret and
Gabriele Ballarin and
Massimo Di Pierro and
Luca de Alfaro},
title = {Automatic Online Fake News Detection Combining Content and Social
Signals},
booktitle = {22nd Conference of Open Innovations Association, {FRUCT} 2018, Jyv{\"{a}}skyl{\"{a}},
Finland, May 15-18, 2018},
pages = {272--279},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FRUCT.2018.8468301},
doi = {10.23919/FRUCT.2018.8468301},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fruct/VedovaTMBDA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/DaltayanniDA18,
author = {Maria Daltayanni and
Ali Dasdan and
Luca de Alfaro},
editor = {Yike Guo and
Faisal Farooq},
title = {Automated Audience Segmentation Using Reputation Signals},
booktitle = {Proceedings of the 24th {ACM} {SIGKDD} International Conference on
Knowledge Discovery {\&} Data Mining, {KDD} 2018, London, UK,
August 19-23, 2018},
pages = {186--195},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3219819.3219923},
doi = {10.1145/3219819.3219923},
timestamp = {Wed, 21 Nov 2018 12:44:27 +0100},
biburl = {https://dblp.org/rec/conf/kdd/DaltayanniDA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/BaierAFK18,
author = {Christel Baier and
Luca de Alfaro and
Vojtech Forejt and
Marta Kwiatkowska},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Model Checking Probabilistic Systems},
booktitle = {Handbook of Model Checking},
pages = {963--999},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_28},
doi = {10.1007/978-3-319-10575-8\_28},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/BaierAFK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-08066,
author = {Luca de Alfaro and
Massimo Di Pierro and
Eugenio Tacchini and
Gabriele Ballarin and
Marco L. Della Vedova and
Stefano Moret},
title = {Reputation Systems for News on Twitter: {A} Large-Scale Study},
journal = {CoRR},
volume = {abs/1802.08066},
year = {2018},
url = {http://arxiv.org/abs/1802.08066},
eprinttype = {arXiv},
eprint = {1802.08066},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-09262,
author = {Luca de Alfaro},
title = {Neural Networks with Structural Resistance to Adversarial Attacks},
journal = {CoRR},
volume = {abs/1809.09262},
year = {2018},
url = {http://arxiv.org/abs/1809.09262},
eprinttype = {arXiv},
eprint = {1809.09262},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-09262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AgrawalAP17,
author = {Rakshit Agrawal and
Luca de Alfaro and
Vassilis Polychronopoulos},
title = {Learning from Graph Neighborhoods Using LSTMs},
booktitle = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
{USA}},
series = {{AAAI} Technical Report},
volume = {{WS-17}},
publisher = {{AAAI} Press},
year = {2017},
url = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15139},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AgrawalAP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlfaroPP17,
author = {Luca de Alfaro and
Vassilis Polychronopoulos and
Neoklis Polyzotis},
editor = {Carles Sierra},
title = {Efficient Techniques for Crowdsourced Top-k Lists},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4801--4805},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/670},
doi = {10.24963/IJCAI.2017/670},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlfaroPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TacchiniBVMA17,
author = {Eugenio Tacchini and
Gabriele Ballarin and
Marco L. Della Vedova and
Stefano Moret and
Luca de Alfaro},
title = {Some Like it Hoax: Automated Fake News Detection in Social Networks},
journal = {CoRR},
volume = {abs/1704.07506},
year = {2017},
url = {http://arxiv.org/abs/1704.07506},
eprinttype = {arXiv},
eprint = {1704.07506},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TacchiniBVMA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edm/AlfaroS16,
author = {Luca de Alfaro and
Michael Shavlovsky},
editor = {Tiffany Barnes and
Min Chi and
Mingyu Feng},
title = {Dynamics of Peer Grading: An Empirical Study},
booktitle = {Proceedings of the 9th International Conference on Educational Data
Mining, {EDM} 2016, Raleigh, North Carolina, USA, June 29 - July 2,
2016},
pages = {62--69},
publisher = {International Educational Data Mining Society {(IEDMS)}},
year = {2016},
url = {http://www.educationaldatamining.org/EDM2016/proceedings/paper\_23.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edm/AlfaroS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcomp/AlfaroPP16,
author = {Luca de Alfaro and
Vassilis Polychronopoulos and
Neoklis Polyzotis},
editor = {Arpita Ghosh and
Matthew Lease},
title = {Efficient Techniques for Crowdsourced Top-k Lists},
booktitle = {Proceedings of the Fourth {AAAI} Conference on Human Computation and
Crowdsourcing, {HCOMP} 2016, 30 October - 3 November, 2016, Austin,
Texas, {USA}},
pages = {22--31},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/hcomp.v4i1.13281},
doi = {10.1609/HCOMP.V4I1.13281},
timestamp = {Tue, 05 Sep 2023 11:10:11 +0200},
biburl = {https://dblp.org/rec/conf/hcomp/AlfaroPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wikis/Agrawald16,
author = {Rakshit Agrawal and
Luca de Alfaro},
editor = {Anthony I. Wasserman},
title = {Predicting the quality of user contributions via LSTMs},
booktitle = {Proceedings of the 12th International Symposium on Open Collaboration,
OpenSym 2016, Berlin, Germany, August 17-19, 2016},
pages = {19:1--19:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2957792.2957811},
doi = {10.1145/2957792.2957811},
timestamp = {Tue, 06 Nov 2018 16:58:30 +0100},
biburl = {https://dblp.org/rec/conf/wikis/Agrawald16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlfaroSP16,
author = {Luca de Alfaro and
Michael Shavlovsky and
Vassilis Polychronopoulos},
title = {Incentives for Truthful Peer Grading},
journal = {CoRR},
volume = {abs/1604.03178},
year = {2016},
url = {http://arxiv.org/abs/1604.03178},
eprinttype = {arXiv},
eprint = {1604.03178},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlfaroSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlfaroF16,
author = {Luca de Alfaro and
Marco Faella},
title = {TrueReview: {A} Platform for Post-Publication Peer Review},
journal = {CoRR},
volume = {abs/1608.07878},
year = {2016},
url = {http://arxiv.org/abs/1608.07878},
eprinttype = {arXiv},
eprint = {1608.07878},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlfaroF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlfaroFPS16,
author = {Luca de Alfaro and
Marco Faella and
Vassilis Polychronopoulos and
Michael Shavlovsky},
title = {Incentives for Truthful Evaluations},
journal = {CoRR},
volume = {abs/1608.07886},
year = {2016},
url = {http://arxiv.org/abs/1608.07886},
eprinttype = {arXiv},
eprint = {1608.07886},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlfaroFPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AgrawalAP16,
author = {Rakshit Agrawal and
Luca de Alfaro and
Vassilis Polychronopoulos},
title = {Learning From Graph Neighborhoods Using LSTMs},
journal = {CoRR},
volume = {abs/1611.06882},
year = {2016},
url = {http://arxiv.org/abs/1611.06882},
eprinttype = {arXiv},
eprint = {1611.06882},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AgrawalAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcomp/AlfaroPS15,
author = {Luca de Alfaro and
Vassilis Polychronopoulos and
Michael Shavlovsky},
editor = {Elizabeth Gerber and
Panos Ipeirotis},
title = {Reliable Aggregation of Boolean Crowdsourced Tasks},
booktitle = {Proceedings of the Third {AAAI} Conference on Human Computation and
Crowdsourcing, {HCOMP} 2015, November 8-11, 2015, San Diego, California,
{USA}},
pages = {42--51},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/hcomp.v3i1.13240},
doi = {10.1609/HCOMP.V3I1.13240},
timestamp = {Tue, 05 Sep 2023 11:10:11 +0200},
biburl = {https://dblp.org/rec/conf/hcomp/AlfaroPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/DaltayanniA015,
author = {Maria Daltayanni and
Luca de Alfaro and
Panagiotis Papadimitriou},
editor = {Xueqi Cheng and
Hang Li and
Evgeniy Gabrilovich and
Jie Tang},
title = {WorkerRank: Using Employer Implicit Judgements to Infer Worker Reputation},
booktitle = {Proceedings of the Eighth {ACM} International Conference on Web Search
and Data Mining, {WSDM} 2015, Shanghai, China, February 2-6, 2015},
pages = {263--272},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2684822.2685286},
doi = {10.1145/2684822.2685286},
timestamp = {Tue, 21 May 2019 11:38:33 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/DaltayanniA015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/DaltayanniA0T14,
author = {Maria Daltayanni and
Luca de Alfaro and
Panagiotis Papadimitriou and
Panayiotis Tsaparas},
editor = {Sihem Amer{-}Yahia and
Vassilis Christophides and
Anastasios Kementsietsidis and
Minos N. Garofalakis and
Stratos Idreos and
Vincent Leroy},
title = {On Assigning Implicit Reputation Scores in an Online Labor Marketplace},
booktitle = {Proceedings of the 17th International Conference on Extending Database
Technology, {EDBT} 2014, Athens, Greece, March 24-28, 2014},
pages = {724--725},
publisher = {OpenProceedings.org},
year = {2014},
url = {https://doi.org/10.5441/002/edbt.2014.78},
doi = {10.5441/002/EDBT.2014.78},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edbt/DaltayanniA0T14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AlfaroS14,
author = {Luca de Alfaro and
Michael Shavlovsky},
editor = {J. D. Dougherty and
Kris Nagel and
Adrienne Decker and
Kurt Eiselt},
title = {CrowdGrader: a tool for crowdsourcing the evaluation of homework assignments},
booktitle = {The 45th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2014, Atlanta, GA, USA, March 5-8, 2014},
pages = {415--420},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2538862.2538900},
doi = {10.1145/2538862.2538900},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/AlfaroS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChatterjeeAFMR13,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Marco Faella and
Rupak Majumdar and
Vishwanath Raman},
title = {Code aware resource management},
journal = {Formal Methods Syst. Des.},
volume = {42},
number = {2},
pages = {146--174},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0170-4},
doi = {10.1007/S10703-012-0170-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChatterjeeAFMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ChatterjeeAM13,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Rupak Majumdar},
title = {The Complexity of Coverage},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {2},
pages = {165--186},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400066},
doi = {10.1142/S0129054113400066},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ChatterjeeAM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChatterjeeAH13,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Strategy improvement for concurrent reachability and turn-based stochastic
safety games},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {5},
pages = {640--657},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2012.12.001},
doi = {10.1016/J.JCSS.2012.12.001},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChatterjeeAH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/AlfaroA13,
author = {Luca de Alfaro and
B. Thomas Adler},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {Content-Driven Reputation for Collaborative Systems},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {3--13},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_1},
doi = {10.1007/978-3-319-05119-2\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/AlfaroA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webdb/PolychronopoulosADGP13,
author = {Vassilis Polychronopoulos and
Luca de Alfaro and
James Davis and
Hector Garcia{-}Molina and
Neoklis Polyzotis},
editor = {Angela Bonifati and
Cong Yu},
title = {Human-Powered Top-k Lists},
booktitle = {Proceedings of the 16th International Workshop on the Web and Databases
2013, WebDB 2013, New York, NY, USA, June 23, 2013},
pages = {25--30},
year = {2013},
url = {http://webdb2013.lille.inria.fr/Paper\%2035.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webdb/PolychronopoulosADGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AlfaroS13,
author = {Luca de Alfaro and
Michael Shavlovsky},
editor = {Daniel Schwabe and
Virg{\'{\i}}lio A. F. Almeida and
Hartmut Glaser and
Ricardo Baeza{-}Yates and
Sue B. Moon},
title = {Attributing authorship of revisioned content},
booktitle = {22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro,
Brazil, May 13-17, 2013},
pages = {343--354},
publisher = {International World Wide Web Conferences Steering Committee / {ACM}},
year = {2013},
url = {https://doi.org/10.1145/2488388.2488419},
doi = {10.1145/2488388.2488419},
timestamp = {Sun, 22 Sep 2019 18:15:38 +0200},
biburl = {https://dblp.org/rec/conf/www/AlfaroS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlfaroS13,
author = {Luca de Alfaro and
Michael Shavlovsky},
title = {CrowdGrader: Crowdsourcing the Evaluation of Homework Assignments},
journal = {CoRR},
volume = {abs/1308.5273},
year = {2013},
url = {http://arxiv.org/abs/1308.5273},
eprinttype = {arXiv},
eprint = {1308.5273},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlfaroS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/GoodCAS12,
author = {Benjamin M. Good and
Erik L. Clarke and
Luca de Alfaro and
Andrew I. Su},
title = {The Gene Wiki in 2011: community intelligence applied to human gene
annotation},
journal = {Nucleic Acids Res.},
volume = {40},
number = {Database-Issue},
pages = {1255--1261},
year = {2012},
url = {https://doi.org/10.1093/nar/gkr925},
doi = {10.1093/NAR/GKR925},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/GoodCAS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/AdabiA12,
author = {Ali Adabi and
Luca de Alfaro},
editor = {Pilar Herrero and
Herv{\'{e}} Panetto and
Robert Meersman and
Tharam S. Dillon},
title = {Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends
in Movie Recommendations?},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2012 Workshops,
Confederated International Workshops: {OTM} Academy, Industry Case
Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM,
and {SOMOCO} 2012, Rome, Italy, September 10-14, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7567},
pages = {637--647},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33618-8\_83},
doi = {10.1007/978-3-642-33618-8\_83},
timestamp = {Thu, 14 Oct 2021 10:28:28 +0200},
biburl = {https://dblp.org/rec/conf/otm/AdabiA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-2834,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Strategy Improvement for Concurrent Reachability and Safety Games},
journal = {CoRR},
volume = {abs/1201.2834},
year = {2012},
url = {http://arxiv.org/abs/1201.2834},
eprinttype = {arXiv},
eprint = {1201.2834},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-2834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AlfaroKPA11,
author = {Luca de Alfaro and
Ashutosh Kulshreshtha and
Ian Pye and
B. Thomas Adler},
title = {Reputation systems for open collaboration},
journal = {Commun. {ACM}},
volume = {54},
number = {8},
pages = {81--87},
year = {2011},
url = {https://doi.org/10.1145/1978542.1978560},
doi = {10.1145/1978542.1978560},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/AlfaroKPA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChatterjeeAH11,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Qualitative concurrent parity games},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {4},
pages = {28:1--28:51},
year = {2011},
url = {https://doi.org/10.1145/1970398.1970404},
doi = {10.1145/1970398.1970404},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ChatterjeeAH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicling/AdlerAMRW11,
author = {B. Thomas Adler and
Luca de Alfaro and
Santiago Mois{\'{e}}s Mola{-}Velasco and
Paolo Rosso and
Andrew G. West},
editor = {Alexander F. Gelbukh},
title = {Wikipedia Vandalism Detection: Combining Natural Language, Metadata,
and Reputation Features},
booktitle = {Computational Linguistics and Intelligent Text Processing - 12th International
Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6609},
pages = {277--288},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19437-5\_23},
doi = {10.1007/978-3-642-19437-5\_23},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cicling/AdlerAMRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-2132,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Pritam Roy},
title = {Magnifying Lens Abstraction for Stochastic Games with Discounted and
Long-run Average Objectives},
journal = {CoRR},
volume = {abs/1107.2132},
year = {2011},
url = {http://arxiv.org/abs/1107.2132},
eprinttype = {arXiv},
eprint = {1107.2132},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-2132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-4326,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Rupak Majumdar and
Vishwanath Raman},
title = {Algorithms for Game Metrics (Full Version)},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/0809.4326},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-4326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlfaroR10,
author = {Luca de Alfaro and
Pritam Roy},
title = {Solving games via three-valued abstraction refinement},
journal = {Inf. Comput.},
volume = {208},
number = {6},
pages = {666--676},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.05.007},
doi = {10.1016/J.IC.2009.05.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlfaroR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/AdlerAP10,
author = {B. Thomas Adler and
Luca de Alfaro and
Ian Pye},
editor = {Martin Braschler and
Donna Harman and
Emanuele Pianta},
title = {Detecting Wikipedia Vandalism using WikiTrust - Lab Report for {PAN}
at {CLEF} 2010},
booktitle = {{CLEF} 2010 LABs and Workshops, Notebook Papers, 22-23 September 2010,
Padua, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {1176},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-1176/CLEF2010wn-PAN-AdlerEt2010.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:37 +0100},
biburl = {https://dblp.org/rec/conf/clef/AdlerAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ChatterjeeARS10,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Vishwanath Raman and
C{\'{e}}sar S{\'{a}}nchez},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Analyzing the Impact of Change in Multi-threaded Programs},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {293--307},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_21},
doi = {10.1007/978-3-642-12029-9\_21},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/ChatterjeeARS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2445,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Marco Faella and
Axel Legay},
title = {Qualitative Logics and Equivalences for Probabilistic Systems},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0903.2445},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlfaroFS09,
author = {Luca de Alfaro and
Marco Faella and
Mari{\"{e}}lle Stoelinga},
title = {Linear and Branching System Metrics},
journal = {{IEEE} Trans. Software Eng.},
volume = {35},
number = {2},
pages = {258--273},
year = {2009},
url = {https://doi.org/10.1109/TSE.2008.106},
doi = {10.1109/TSE.2008.106},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlfaroFS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/ChatterjeeAH09,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
editor = {Claire Mathieu},
title = {Termination criteria for solving concurrent safety and reachability
games},
booktitle = {Proceedings of the Twentieth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2009, New York, NY, USA, January 4-6, 2009},
pages = {197--206},
publisher = {{SIAM}},
year = {2009},
url = {https://doi.org/10.1137/1.9781611973068.23},
doi = {10.1137/1.9781611973068.23},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soda/ChatterjeeAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wikis/AlfaroO09,
author = {Luca de Alfaro and
Felipe Ortega},
editor = {Dirk Riehle and
Amy S. Bruckman},
title = {Measuring Wikipedia: a hands-on tutorial},
booktitle = {Proceedings of the 2009 International Symposium on Wikis, 2009, Orlando,
Florida, USA, October 25-27, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1641309.1641364},
doi = {10.1145/1641309.1641364},
timestamp = {Tue, 15 Sep 2020 08:36:55 +0200},
biburl = {https://dblp.org/rec/conf/wikis/AlfaroO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2009,
editor = {Luca de Alfaro},
title = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1},
doi = {10.1007/978-3-642-00596-1},
isbn = {978-3-642-00595-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AlfaroMRS08,
author = {Luca de Alfaro and
Rupak Majumdar and
Vishwanath Raman and
Mari{\"{e}}lle Stoelinga},
title = {Game Refinement Relations and Metrics},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {3},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(3:7)2008},
doi = {10.2168/LMCS-4(3:7)2008},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AlfaroMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChatterjeeAM08,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Rupak Majumdar},
editor = {G. Ramalingam},
title = {The Complexity of Coverage},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {91--106},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_7},
doi = {10.1007/978-3-540-89330-1\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ChatterjeeAM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ChatterjeeAP08,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Ian Pye},
editor = {Dirk Balfanz and
Jessica Staddon},
title = {Robust content-driven reputation},
booktitle = {Proceedings of the 1st {ACM} Workshop on Security and Artificial Intelligence,
AISec 2008, Alexandria, VA, USA, October 27, 2008},
pages = {33--42},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1456377.1456387},
doi = {10.1145/1456377.1456387},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ChatterjeeAP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbdullaHAMS08,
author = {Parosh Aziz Abdulla and
Noomene Ben Henda and
Luca de Alfaro and
Richard Mayr and
Sven Sandberg},
editor = {Roberto M. Amadio},
title = {Stochastic Games with Lossy Channels},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {35--49},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_4},
doi = {10.1007/978-3-540-78499-9\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AbdullaHAMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChatterjeeAMR08,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Rupak Majumdar and
Vishwanath Raman},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Algorithms for Game Metrics},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
Bangalore, India},
series = {LIPIcs},
volume = {2},
pages = {107--118},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745},
doi = {10.4230/LIPICS.FSTTCS.2008.1745},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/ChatterjeeAMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/RoyPNA08,
author = {Pritam Roy and
David Parker and
Gethin Norman and
Luca de Alfaro},
title = {Symbolic Magnifying Lens Abstraction in Markov Decision Processes},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
{(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QEST.2008.41},
doi = {10.1109/QEST.2008.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/RoyPNA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wikis/AdlerAPR08,
author = {B. Thomas Adler and
Luca de Alfaro and
Ian Pye and
Vishwanath Raman},
editor = {Ademar Aguiar and
Mark Bernstein},
title = {Measuring author contributions to the Wikipedia},
booktitle = {Proceedings of the 2008 International Symposium on Wikis, 2008, Porto,
Portugal, September 8-10, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1822258.1822279},
doi = {10.1145/1822258.1822279},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wikis/AdlerAPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wikis/AdlerCAFPR08,
author = {B. Thomas Adler and
Krishnendu Chatterjee and
Luca de Alfaro and
Marco Faella and
Ian Pye and
Vishwanath Raman},
editor = {Ademar Aguiar and
Mark Bernstein},
title = {Assigning trust to Wikipedia content},
booktitle = {Proceedings of the 2008 International Symposium on Wikis, 2008, Porto,
Portugal, September 8-10, 2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1822258.1822293},
doi = {10.1145/1822258.1822293},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wikis/AdlerCAFPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2008,
editor = {Luca de Alfaro and
Jens Palsberg},
title = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
publisher = {{ACM}},
year = {2008},
isbn = {978-1-60558-468-3},
timestamp = {Mon, 27 Oct 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-4525,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Rupak Majumdar},
title = {The Complexity of Coverage},
journal = {CoRR},
volume = {abs/0804.4525},
year = {2008},
url = {http://arxiv.org/abs/0804.4525},
eprinttype = {arXiv},
eprint = {0804.4525},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-4525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-4530,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Strategy Improvement for Concurrent Safety Games},
journal = {CoRR},
volume = {abs/0804.4530},
year = {2008},
url = {http://arxiv.org/abs/0804.4530},
eprinttype = {arXiv},
eprint = {0804.4530},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-4530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0806-4956,
author = {Luca de Alfaro and
Rupak Majumdar and
Vishwanath Raman and
Mari{\"{e}}lle Stoelinga},
title = {Game Refinement Relations and Metrics},
journal = {CoRR},
volume = {abs/0806.4956},
year = {2008},
url = {http://arxiv.org/abs/0806.4956},
eprinttype = {arXiv},
eprint = {0806.4956},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0806-4956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-4017,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Termination Criteria for Solving Concurrent Safety and Reachability
Games},
journal = {CoRR},
volume = {abs/0809.4017},
year = {2008},
url = {http://arxiv.org/abs/0809.4017},
eprinttype = {arXiv},
eprint = {0809.4017},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-4017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlfaroHK07,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Orna Kupferman},
title = {Concurrent reachability games},
journal = {Theor. Comput. Sci.},
volume = {386},
number = {3},
pages = {188--217},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.07.008},
doi = {10.1016/J.TCS.2007.07.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlfaroHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlfaroF07,
author = {Luca de Alfaro and
Marco Faella},
editor = {Werner Damm and
Holger Hermanns},
title = {An Accelerated Algorithm for 3-Color Parity Games with an Application
to Timed Games},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {108--120},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_13},
doi = {10.1007/978-3-540-73368-3\_13},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlfaroF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlfaroR07,
author = {Luca de Alfaro and
Pritam Roy},
editor = {Werner Damm and
Holger Hermanns},
title = {Magnifying-Lens Abstraction for Markov Decision Processes},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {325--338},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_38},
doi = {10.1007/978-3-540-73368-3\_38},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlfaroR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroR07,
author = {Luca de Alfaro and
Pritam Roy},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Solving Games Via Three-Valued Abstraction Refinement},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {74--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_6},
doi = {10.1007/978-3-540-74407-8\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlfaroR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Alfaro07,
author = {Luca de Alfaro},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {The Symbolic Approach to Repeated Games (Abstract)},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {3},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_2},
doi = {10.1007/978-3-540-74915-8\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Alfaro07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlfaroMRS07,
author = {Luca de Alfaro and
Rupak Majumdar and
Vishwanath Raman and
Mari{\"{e}}lle Stoelinga},
title = {Game Relations and Metrics},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {99--108},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.22},
doi = {10.1109/LICS.2007.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlfaroMRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AlfaroCFL07,
author = {Luca de Alfaro and
Krishnendu Chatterjee and
Marco Faella and
Axel Legay},
title = {Qualitative Logics and Equivalences for Probabilistic Systems},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {237--248},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.15},
doi = {10.1109/QEST.2007.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AlfaroCFL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AdlerA07,
author = {B. Thomas Adler and
Luca de Alfaro},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {A content-driven reputation system for the wikipedia},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {261--270},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242608},
doi = {10.1145/1242572.1242608},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/AdlerA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AdlerASFLRR06,
author = {B. Thomas Adler and
Luca de Alfaro and
Leandro Dias da Silva and
Marco Faella and
Axel Legay and
Vishwanath Raman and
Pritam Roy},
editor = {Thomas Ball and
Robert B. Jones},
title = {Ticc: {A} Tool for Interface Compatibility and Composition},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {59--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_8},
doi = {10.1007/11817963\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AdlerASFLRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LegayAF06,
author = {Axel Legay and
Luca de Alfaro and
Marco Faella},
editor = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
title = {An Introduction to the Tool Ticc},
booktitle = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University,
Saarbr{\"{u}}cken, Germany},
series = {OASIcs},
volume = {3},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/766},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/LegayAF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ChatterjeeAFHMS06,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Marco Faella and
Thomas A. Henzinger and
Rupak Majumdar and
Mari{\"{e}}lle Stoelinga},
title = {Compositional Quantitative Reasoning},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.11},
doi = {10.1109/QEST.2006.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/ChatterjeeAFHMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ChatterjeeAH06,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Strategy Improvement for Concurrent Reachability Games},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems
{(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}},
pages = {291--300},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/QEST.2006.48},
doi = {10.1109/QEST.2006.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/ChatterjeeAH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/ChatterjeeAH06,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {The complexity of quantitative concurrent parity games},
booktitle = {Proceedings of the Seventeenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2006, Miami, Florida, USA, January 22-26, 2006},
pages = {678--687},
publisher = {{ACM} Press},
year = {2006},
url = {http://dl.acm.org/citation.cfm?id=1109557.1109631},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/ChatterjeeAH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlfaroFHMS05,
author = {Luca de Alfaro and
Marco Faella and
Thomas A. Henzinger and
Rupak Majumdar and
Mari{\"{e}}lle Stoelinga},
title = {Model checking discounted temporal properties},
journal = {Theor. Comput. Sci.},
volume = {345},
number = {1},
pages = {139--170},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.07.033},
doi = {10.1016/J.TCS.2005.07.033},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlfaroFHMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlfaroRFM05,
author = {Luca de Alfaro and
Vishwanath Raman and
Marco Faella and
Rupak Majumdar},
editor = {Wayne H. Wolf},
title = {Code aware resource management},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {191--202},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086265},
doi = {10.1145/1086228.1086265},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/AlfaroRFM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AdlerAF05,
author = {B. Thomas Adler and
Luca de Alfaro and
Marco Faella},
editor = {Paul Pettersson and
Wang Yi},
title = {Average Reward Timed Games},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {65--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_6},
doi = {10.1007/11603009\_6},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AdlerAF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlfaroSFLRS05,
author = {Luca de Alfaro and
Leandro Dias da Silva and
Marco Faella and
Axel Legay and
Pritam Roy and
Maria Sorea},
editor = {Bernhard Gramlich},
title = {Sociable Interfaces},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {81--105},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_5},
doi = {10.1007/11559306\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlfaroSFLRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChatterjeeAH05,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {The Complexity of Stochastic Rabin and Streett Games'},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {878--890},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_71},
doi = {10.1007/11523468\_71},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChatterjeeAH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2004gdv,
editor = {Luca de Alfaro},
title = {Proceedings of the Workshop on Games in Design and Verification, GDV@CAV
2004, Boston, MA, USA, June 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/119/issue/1},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/2004gdv.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2005,
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452},
doi = {10.1007/11539452},
isbn = {3-540-28309-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AlfaroM04,
author = {Luca de Alfaro and
Rupak Majumdar},
title = {Quantitative solution of omega-regular games},
journal = {J. Comput. Syst. Sci.},
volume = {68},
number = {2},
pages = {374--397},
year = {2004},
url = {https://doi.org/10.1016/j.jcss.2003.07.009},
doi = {10.1016/J.JCSS.2003.07.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AlfaroM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlfaroFS04,
author = {Luca de Alfaro and
Marco Faella and
Mari{\"{e}}lle Stoelinga},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Linear and Branching Metrics for Quantitative Transition Systems},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {97--109},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_11},
doi = {10.1007/978-3-540-27836-8\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlfaroFS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlfaroGJ04,
author = {Luca de Alfaro and
Patrice Godefroid and
Radha Jagadeesan},
title = {Three-Valued Abstractions of Games: Uncertainty, but with Precision},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319611},
doi = {10.1109/LICS.2004.1319611},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlfaroGJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ChatterjeeAH04,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Thomas A. Henzinger},
title = {Trading Memory for Randomness},
booktitle = {1st International Conference on Quantitative Evaluation of Systems
{(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands},
pages = {206--217},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QEST.2004.1348035},
doi = {10.1109/QEST.2004.1348035},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/ChatterjeeAH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlfaroFHMS04,
author = {Luca de Alfaro and
Marco Faella and
Thomas A. Henzinger and
Rupak Majumdar and
Mari{\"{e}}lle Stoelinga},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Model Checking Discounted Temporal Properties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {77--92},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_6},
doi = {10.1007/978-3-540-24730-2\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlfaroFHMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Alfaro05,
author = {Luca de Alfaro},
editor = {Luca de Alfaro},
title = {Preface},
booktitle = {Proceedings of the Workshop on Games in Design and Verification, GDV@CAV
2004, Boston, MA, USA, June 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.07.004},
doi = {10.1016/J.ENTCS.2004.07.004},
timestamp = {Tue, 13 Dec 2022 11:33:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Alfaro05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlfaroK03,
author = {Luca de Alfaro and
Arjun Kapur},
title = {Hybrid diagrams},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {1},
pages = {565--597},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00036-1},
doi = {10.1016/S0304-3975(02)00036-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlfaroK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Alfaro03,
author = {Luca de Alfaro},
editor = {Nachum Dershowitz},
title = {Game Models for Open Systems},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {269--289},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_12},
doi = {10.1007/978-3-540-39910-0\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Alfaro03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Alfaro03,
author = {Luca de Alfaro},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Quantitative Verification and Control via the Mu-Calculus},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {102--126},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_7},
doi = {10.1007/978-3-540-45187-7\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Alfaro03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroFHMS03,
author = {Luca de Alfaro and
Marco Faella and
Thomas A. Henzinger and
Rupak Majumdar and
Mari{\"{e}}lle Stoelinga},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {The Element of Surprise in Timed Games},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {142--156},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_9},
doi = {10.1007/978-3-540-45187-7\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlfaroFHMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ChakrabartiAHS03,
author = {Arindam Chakrabarti and
Luca de Alfaro and
Thomas A. Henzinger and
Mari{\"{e}}lle Stoelinga},
editor = {Rajeev Alur and
Insup Lee},
title = {Resource Interfaces},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {117--133},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_9},
doi = {10.1007/978-3-540-45212-6\_9},
timestamp = {Thu, 26 Jan 2023 14:05:53 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ChakrabartiAHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlfaroHM03,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Rupak Majumdar},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Discounting the Future in Systems Theory},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1022--1037},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_79},
doi = {10.1007/3-540-45061-0\_79},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlfaroHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlfaroF03,
author = {Luca de Alfaro and
Marco Faella},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Information Flow in Concurrent Games},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1038--1053},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_80},
doi = {10.1007/3-540-45061-0\_80},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlfaroF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlfaroS04,
author = {Luca de Alfaro and
Mari{\"{e}}lle Stoelinga},
editor = {Antonio Brogi and
Jean{-}Marie Jacquet and
Ernesto Pimentel},
title = {Interfaces: {A} Game-Theoretic Framework for Reasoning About Component-Based
Systems},
booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages
and Software Architectures, a satellite event of {CONCUR} 2003, Marseille,
France, September 2, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {97},
pages = {3--23},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.030},
doi = {10.1016/J.ENTCS.2004.04.030},
timestamp = {Tue, 06 Dec 2022 11:29:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlfaroS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChakrabartiAHM02,
author = {Arindam Chakrabarti and
Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Synchronous and Bidirectional Component Interfaces},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {414--427},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_34},
doi = {10.1007/3-540-45657-0\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChakrabartiAHM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChakrabartiAHJM02,
author = {Arindam Chakrabarti and
Luca de Alfaro and
Thomas A. Henzinger and
Marcin Jurdzinski and
Freddy Y. C. Mang},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Interface Compatibility Checking for Software Modules},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {428--441},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_35},
doi = {10.1007/3-540-45657-0\_35},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChakrabartiAHJM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlfaroHS02,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Mari{\"{e}}lle Stoelinga},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {Timed Interfaces},
booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2491},
pages = {108--122},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X\_9},
doi = {10.1007/3-540-45828-X\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AlfaroHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/PasseroneAHS02,
author = {Roberto Passerone and
Luca de Alfaro and
Thomas A. Henzinger and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Lawrence T. Pileggi and
Andreas Kuehlmann},
title = {Convertibility verification and converter synthesis: two faces of
the same coin},
booktitle = {Proceedings of the 2002 {IEEE/ACM} International Conference on Computer-aided
Design, {ICCAD} 2002, San Jose, California, USA, November 10-14, 2002},
pages = {132--139},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1145/774572.774592},
doi = {10.1145/774572.774592},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/PasseroneAHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Alfaro01,
author = {Luca de Alfaro},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Model Checking the World Wide Web},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {337--349},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_31},
doi = {10.1007/3-540-44585-4\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Alfaro01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroHJ01,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Ranjit Jhala},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Compositional Methods for Probabilistic Systems},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {351--365},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_24},
doi = {10.1007/3-540-44685-0\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlfaroHJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroHM01,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Rupak Majumdar},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Symbolic Algorithms for Infinite-State Games},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {536--550},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_36},
doi = {10.1007/3-540-44685-0\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlfaroHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroHM01a,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {The Control of Synchronous Systems, Part {II}},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {566--582},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_38},
doi = {10.1007/3-540-44685-0\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlfaroHM01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlfaroH01,
author = {Luca de Alfaro and
Thomas A. Henzinger},
editor = {Thomas A. Henzinger and
Christoph M. Kirsch},
title = {Interface Theories for Component-Based Design},
booktitle = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
City, CA, USA, October, 8-10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2211},
pages = {148--165},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45449-7\_11},
doi = {10.1007/3-540-45449-7\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AlfaroH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlurAGHKKMMW01,
author = {Rajeev Alur and
Luca de Alfaro and
Radu Grosu and
Thomas A. Henzinger and
M. Kang and
Christoph M. Kirsch and
Rupak Majumdar and
Freddy Y. C. Mang and
Bow{-}Yaw Wang},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {{JMOCHA:} {A} Model Checking Tool that Exploits Design Structure},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {835--836},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919196},
doi = {10.1109/ICSE.2001.919196},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlurAGHKKMMW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlfaroHM01,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Rupak Majumdar},
title = {From Verification to Control: Dynamic Programs for Omega-Regular Objectives},
booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
Massachusetts, USA, June 16-19, 2001, Proceedings},
pages = {279--290},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/LICS.2001.932504},
doi = {10.1109/LICS.2001.932504},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlfaroHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AlfaroH01,
author = {Luca de Alfaro and
Thomas A. Henzinger},
editor = {A Min Tjoa and
Volker Gruhn},
title = {Interface automata},
booktitle = {Proceedings of the 8th European Software Engineering Conference held
jointly with 9th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering 2001, Vienna, Austria, September 10-14, 2001},
pages = {109--120},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/503209.503226},
doi = {10.1145/503209.503226},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AlfaroH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AlfaroM01,
author = {Luca de Alfaro and
Rupak Majumdar},
editor = {Jeffrey Scott Vitter and
Paul G. Spirakis and
Mihalis Yannakakis},
title = {Quantitative solution of omega-regular games},
booktitle = {Proceedings on 33rd Annual {ACM} Symposium on Theory of Computing,
July 6-8, 2001, Heraklion, Crete, Greece},
pages = {675--683},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/380752.380871},
doi = {10.1145/380752.380871},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AlfaroM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AlfaroHM01,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {Vincent Y. Shen and
Nobuo Saito and
Michael R. Lyu and
Mary Ellen Zurko},
title = {{MCWEB:} {A} Model-Checking Tool for Web Site Debugging},
booktitle = {Poster Proceedings of the Tenth International World Wide Web Conference,
{WWW} 10, Hong Kong, China, May 1-5, 2001},
year = {2001},
url = {http://www10.org/cdrom/posters/1147.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/AlfaroHM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/papm/2001,
editor = {Luca de Alfaro and
Stephen Gilmore},
title = {Process Algebra and Probabilistic Methods, Performance Modeling and
Verification: Joint International Workshop, {PAPM-PROBMIV} 2001, Aachen,
Germany, September 12-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2165},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44804-7},
doi = {10.1007/3-540-44804-7},
isbn = {3-540-42556-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/papm/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlfaroHM00,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Detecting Errors Before Reaching Them},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {186--201},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_17},
doi = {10.1007/10722167\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlfaroHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroHM00,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {Catuscia Palamidessi},
title = {The Control of Synchronous Systems},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {458--473},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_33},
doi = {10.1007/3-540-44618-4\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlfaroHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlfaroH00,
author = {Luca de Alfaro and
Thomas A. Henzinger},
title = {Concurrent Omega-Regular Games},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {141--154},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855763},
doi = {10.1109/LICS.2000.855763},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlfaroH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlfaroKNPS00,
author = {Luca de Alfaro and
Marta Z. Kwiatkowska and
Gethin Norman and
David Parker and
Roberto Segala},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Symbolic Model Checking of Probabilistic Processes Using MTBDDs and
the Kronecker Representation},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {395--410},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_27},
doi = {10.1007/3-540-46419-0\_27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlfaroKNPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Alfaro99,
author = {Luca de Alfaro},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Computing Minimum and Maximum Reachability Times in Probabilistic
Systems},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {66--81},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_7},
doi = {10.1007/3-540-48320-9\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Alfaro99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlurAHM99,
author = {Rajeev Alur and
Luca de Alfaro and
Thomas A. Henzinger and
Freddy Y. C. Mang},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Automating Modular Verification},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {82--97},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_8},
doi = {10.1007/3-540-48320-9\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlurAHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Alfaro98,
author = {Luca de Alfaro},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Stochastic Transition Systems},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {423--438},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055639},
doi = {10.1007/BFB0055639},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Alfaro98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/AlfaroHK98,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Orna Kupferman},
title = {Concurrent Reachability Games},
booktitle = {39th Annual Symposium on Foundations of Computer Science, {FOCS} '98,
November 8-11, 1998, Palo Alto, California, {USA}},
pages = {564--575},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/SFCS.1998.743507},
doi = {10.1109/SFCS.1998.743507},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/AlfaroHK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Alfaro98,
author = {Luca de Alfaro},
title = {How to Specify and Verify the Long-Run Average Behavior of Probabilistic
Systems},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {454--465},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705679},
doi = {10.1109/LICS.1998.705679},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Alfaro98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Alfaro99,
author = {Luca de Alfaro},
editor = {Christel Baier and
Michael Huth and
Marta Z. Kwiatkowska and
Mark Ryan},
title = {From Fairness to Chance},
booktitle = {First International Workshop on Probabilistic Methods in Verification,
{PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {22},
pages = {55--87},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80597-3},
doi = {10.1016/S1571-0661(05)80597-3},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Alfaro99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Alfaro97,
author = {Luca de Alfaro},
title = {Formal verification of probabilistic systems},
school = {Stanford University, {USA}},
year = {1997},
url = {https://searchworks.stanford.edu/view/3910936},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Alfaro97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AlfaroKM97,
author = {Luca de Alfaro and
Arjun Kapur and
Zohar Manna},
editor = {R{\"{u}}diger Reischuk and
Michel Morvan},
title = {Hybrid Diagrams: {A} Deductive-Algorithmic Approach to Hybrid System
Verification},
booktitle = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1200},
pages = {153--164},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0023456},
doi = {10.1007/BFB0023456},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AlfaroKM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Alfaro97,
author = {Luca de Alfaro},
editor = {R{\"{u}}diger Reischuk and
Michel Morvan},
title = {Temporal Logics for the Specification of Performance and Reliability},
booktitle = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1200},
pages = {165--176},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0023457},
doi = {10.1007/BFB0023457},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Alfaro97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlfaroM97,
author = {Luca de Alfaro and
Zohar Manna and
Henny B. Sipma and
Tom{\'{a}}s E. Uribe},
editor = {Ed Brinksma},
title = {Visual Verification of Reactive Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {334--350},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035398},
doi = {10.1007/BFB0035398},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlfaroM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlfaroM96,
author = {Luca de Alfaro and
Zohar Manna},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Temporal Verification by Diagram Transformations},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {288--299},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_77},
doi = {10.1007/3-540-61474-5\_77},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlfaroM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AlfaroM95,
author = {Luca de Alfaro and
Zohar Manna},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Verification in Continuous Time by Discrete Reasoning},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {292--306},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_60},
doi = {10.1007/3-540-60043-4\_60},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/AlfaroM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BiancoA95,
author = {Andrea Bianco and
Luca de Alfaro},
editor = {P. S. Thiagarajan},
title = {Model Checking of Probabalistic and Nondeterministic Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1026},
pages = {499--513},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60692-0\_70},
doi = {10.1007/3-540-60692-0\_70},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BiancoA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MannaBBCCADKLSU95,
author = {Zohar Manna and
Nikolaj S. Bj{\o}rner and
Anca Browne and
Edward Y. Chang and
Michael Col{\'{o}}n and
Luca de Alfaro and
Harish Devarajan and
Arjun Kapur and
Jaejin Lee and
Henny Sipma and
Tom{\'{a}}s E. Uribe},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {STeP: The Stanford Temporal Prover},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {793--794},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_237},
doi = {10.1007/3-540-59293-8\_237},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/MannaBBCCADKLSU95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/AlfaroM94,
author = {Luca de Alfaro and
Angelo Raffaele Meo},
title = {Codes for second and third order {GH-ARQ} schemes},
journal = {{IEEE} Trans. Commun.},
volume = {42},
number = {234},
pages = {899--910},
year = {1994},
url = {https://doi.org/10.1109/TCOMM.1994.580198},
doi = {10.1109/TCOMM.1994.580198},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/AlfaroM94.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-01 23:58 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:
