Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gerardo Schneider
@article{DBLP:journals/jce/ArshadPJS23,
author = {Hamed Arshad and
Pablo Picazo{-}Sanchez and
Christian Johansen and
Gerardo Schneider},
title = {Attribute-based encryption with enforceable obligations},
journal = {J. Cryptogr. Eng.},
volume = {13},
number = {3},
pages = {343--371},
year = {2023},
url = {https://doi.org/10.1007/s13389-023-00317-1},
doi = {10.1007/S13389-023-00317-1},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jce/ArshadPJS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AzzopardiLPS23,
author = {Shaun Azzopardi and
David Lidell and
Nir Piterman and
Gerardo Schneider},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {276--287},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_15},
doi = {10.1007/978-3-031-45332-8\_15},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AzzopardiLPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KharrazASL23,
author = {Karam Younes Kharraz and
Shaun Azzopardi and
Gerardo Schneider and
Martin Leucker},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Synchronous Agents, Verification, and Blame - {A} Deontic View},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {332--350},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_20},
doi = {10.1007/978-3-031-47963-2\_20},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/KharrazASL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/EshghieAAHS23,
author = {Mojtaba Eshghie and
Wolfgang Ahrendt and
Cyrille Artho and
Thomas Troels Hildebrandt and
Gerardo Schneider},
editor = {Carla Ferreira and
Tim A. C. Willemse},
title = {Capturing Smart Contract Design with {DCR} Graphs},
booktitle = {Software Engineering and Formal Methods - 21st International Conference,
{SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {106--125},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_7},
doi = {10.1007/978-3-031-47115-5\_7},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/EshghieAAHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04581,
author = {Mojtaba Eshghie and
Wolfgang Ahrendt and
Cyrille Artho and
Thomas Troels Hildebrandt and
Gerardo Schneider},
title = {Capturing Smart Contract Design with {DCR} Graphs},
journal = {CoRR},
volume = {abs/2305.04581},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04581},
doi = {10.48550/ARXIV.2305.04581},
eprinttype = {arXiv},
eprint = {2305.04581},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08254,
author = {Mojtaba Eshghie and
Wolfgang Ahrendt and
Cyrille Artho and
Thomas Troels Hildebrandt and
Gerardo Schneider},
title = {CLawK: Monitoring Business Processes in Smart Contracts},
journal = {CoRR},
volume = {abs/2305.08254},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08254},
doi = {10.48550/ARXIV.2305.08254},
eprinttype = {arXiv},
eprint = {2305.08254},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08254.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08144,
author = {Piergiuseppe Mallozzi and
Nir Piterman and
Pierluigi Nuzzo and
Gerardo Schneider and
Patrizio Pelliccione},
title = {Correct-by-Construction Design of Contextual Robotic Missions Using
Contracts},
journal = {CoRR},
volume = {abs/2306.08144},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08144},
doi = {10.48550/ARXIV.2306.08144},
eprinttype = {arXiv},
eprint = {2306.08144},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09776,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider and
Luca Di Stefano},
title = {{LTL} Synthesis on Infinite-State Arenas defined by Programs},
journal = {CoRR},
volume = {abs/2307.09776},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09776},
doi = {10.48550/ARXIV.2307.09776},
eprinttype = {arXiv},
eprint = {2307.09776},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-14048,
author = {Karam Younes Kharraz and
Shaun Azzopardi and
Gerardo Schneider and
Martin Leucker},
title = {Synchronous Agents, Verification, and Blame - {A} Deontic View},
journal = {CoRR},
volume = {abs/2309.14048},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.14048},
doi = {10.48550/ARXIV.2309.14048},
eprinttype = {arXiv},
eprint = {2309.14048},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-14048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/RoggenbachCSSS22,
author = {Markus Roggenbach and
Antonio Cerone and
Bernd{-}Holger Schlingloff and
Gerardo Schneider and
Siraj Ahmed Shaikh},
title = {Formal Methods for Software Engineering - Languages, Methods, Application
Domains},
series = {Texts in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-38800-3},
doi = {10.1007/978-3-030-38800-3},
isbn = {978-3-030-38799-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txtcs/RoggenbachCSSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/Picazo-SanchezO22,
author = {Pablo Picazo{-}Sanchez and
Lara Ortiz{-}Martin and
Gerardo Schneider and
Andrei Sabelfeld},
title = {Are chrome extensions compliant with the spirit of least privilege?},
journal = {Int. J. Inf. Sec.},
volume = {21},
number = {6},
pages = {1283--1297},
year = {2022},
url = {https://doi.org/10.1007/s10207-022-00610-w},
doi = {10.1007/S10207-022-00610-W},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijisec/Picazo-SanchezO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imcs/JohansenPFJSRZS22,
author = {Johanna Johansen and
Tore Pedersen and
Simone Fischer{-}H{\"{u}}bner and
Christian Johansen and
Gerardo Schneider and
Arnold Roosendaal and
Harald Zwingelberg and
Anders Jakob Sivesind and
Josef Noll},
title = {A multidisciplinary definition of privacy labels},
journal = {Inf. Comput. Secur.},
volume = {30},
number = {3},
pages = {452--469},
year = {2022},
url = {https://doi.org/10.1108/ICS-06-2021-0080},
doi = {10.1108/ICS-06-2021-0080},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imcs/JohansenPFJSRZS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ArshadJOPS22,
author = {Hamed Arshad and
Christian Johansen and
Olaf Owe and
Pablo Picazo{-}Sanchez and
Gerardo Schneider},
title = {Semantic Attribute-Based Encryption: {A} framework for combining {ABE}
schemes with semantic technologies},
journal = {Inf. Sci.},
volume = {616},
pages = {558--576},
year = {2022},
url = {https://doi.org/10.1016/j.ins.2022.10.132},
doi = {10.1016/J.INS.2022.10.132},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ArshadJOPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/AlshareefTSSS22,
author = {Hanaa Alshareef and
Katja Tuma and
Sandro Stucki and
Gerardo Schneider and
Riccardo Scandariato},
title = {Precise Analysis of Purpose Limitation in Data Flow Diagrams},
booktitle = {{ARES} 2022: The 17th International Conference on Availability, Reliability
and Security, Vienna,Austria, August 23 - 26, 2022},
pages = {17:1--17:11},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3538969.3539010},
doi = {10.1145/3538969.3539010},
timestamp = {Fri, 19 Aug 2022 09:45:12 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/AlshareefTSSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AzzopardiPS22,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification Meets Controller Synthesis},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {382--396},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_22},
doi = {10.1007/978-3-031-19849-6\_22},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AzzopardiPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GorostiagaZSSU22,
author = {Felipe Gorostiaga and
Sebasti{\'{a}}n Zudaire and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Sebasti{\'{a}}n Uchitel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assumption Monitoring of Temporal Task Planning Using Stream Runtime
Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {397--414},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_23},
doi = {10.1007/978-3-031-19849-6\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GorostiagaZSSU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/ChircopPS22,
author = {Stefan Chircop and
Gordon J. Pace and
Gerardo Schneider},
editor = {Enrico Francesconi and
Georg Borges and
Christoph Sorge},
title = {An Automata-Based Formalism for Normative Documents with Real-Time},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2022: The Thirty-fifth
Annual Conference, Saarbr{\"{u}}cken, Germany, 14-16 December
2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {362},
pages = {158--163},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220460},
doi = {10.3233/FAIA220460},
timestamp = {Mon, 12 Dec 2022 17:24:49 +0100},
biburl = {https://dblp.org/rec/conf/jurix/ChircopPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FurianAFS22,
author = {Denis Furian and
Shaun Azzopardi and
Yli{\`{e}}s Falcone and
Gerardo Schneider},
editor = {Thao Dang and
Volker Stolz},
title = {Runtime Verification of Kotlin Coroutines},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {221--239},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_12},
doi = {10.1007/978-3-031-17196-3\_12},
timestamp = {Tue, 27 Sep 2022 17:07:25 +0200},
biburl = {https://dblp.org/rec/conf/rv/FurianAFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/StuckiSSB21,
author = {Sandro Stucki and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Borzoo Bonakdarpour},
title = {Gray-box monitoring of hyperproperties with an application to privacy},
journal = {Formal Methods Syst. Des.},
volume = {58},
number = {1-2},
pages = {126--159},
year = {2021},
url = {https://doi.org/10.1007/s10703-020-00358-w},
doi = {10.1007/S10703-020-00358-W},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/StuckiSSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AzzopardiPS21,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider},
editor = {Zhe Hou and
Vijay Ganesh},
title = {Incorporating Monitors in Reactive Synthesis Without Paying the Price},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {337--353},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_22},
doi = {10.1007/978-3-030-88885-5\_22},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AzzopardiPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001PS21,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {Runtime Verification: Passing on the Baton},
booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
pages = {89--107},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6\_5},
doi = {10.1007/978-3-030-87348-6\_5},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/0001PS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bsci/HughesRS21,
author = {William Hughes and
Alejandro Russo and
Gerardo Schneider},
editor = {Keke Gai and
Kim{-}Kwang Raymond Choo},
title = {MultiCall: {A} Transaction-batching Interpreter for Ethereum},
booktitle = {{BSCI} '21: Proceedings of the 3rd {ACM} International Symposium on
Blockchain and Secure Critical Infrastructure, Virtual Event, Hong
Kong, June 7, 2021},
pages = {25--35},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3457337.3457839},
doi = {10.1145/3457337.3457839},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bsci/HughesRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ZudaireGSSU21,
author = {Sebasti{\'{a}}n Zudaire and
Felipe Gorostiaga and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Sebasti{\'{a}}n Uchitel},
title = {Assumption Monitoring Using Runtime Verification for {UAV} Temporal
Task Plan Executions},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2021, Xi'an, China, May 30 - June 5, 2021},
pages = {6824--6830},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICRA48506.2021.9561671},
doi = {10.1109/ICRA48506.2021.9561671},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icra/ZudaireGSSU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/KharrazLS21,
author = {Karam Younes Kharraz and
Martin Leucker and
Gerardo Schneider},
editor = {Erich Schweighofer},
title = {Timed Dyadic Deontic Logic},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2021: The Thirty-fourth
Annual Conference, Vilnius, Lithuania, 8-10 December 2021},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {346},
pages = {197--204},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA210336},
doi = {10.3233/FAIA210336},
timestamp = {Fri, 26 May 2023 09:14:50 +0200},
biburl = {https://dblp.org/rec/conf/jurix/KharrazLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AlshareefSS21,
author = {Hanaa Alshareef and
Sandro Stucki and
Gerardo Schneider},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Edwin Seidewitz and
Richard Soley},
title = {Transforming Data Flow Diagrams for Privacy Compliance},
booktitle = {Proceedings of the 9th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2021, Online Streaming, February
8-10, 2021},
pages = {207--215},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010255002070215},
doi = {10.5220/0010255002070215},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/AlshareefSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AzzopardiPSS21,
author = {Shaun Azzopardi and
Gordon J. Pace and
Fernando Schapachnik and
Gerardo Schneider},
editor = {Lu Feng and
Dana Fisman},
title = {On the Specification and Monitoring of Timed Normative Systems},
booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
Event, October 11-14, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12974},
pages = {81--99},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9\_5},
doi = {10.1007/978-3-030-88494-9\_5},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/AzzopardiPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AlshareefSS21,
author = {Hanaa Alshareef and
Sandro Stucki and
Gerardo Schneider},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Refining Privacy-Aware Data Flow Diagrams},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {121--140},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_8},
doi = {10.1007/978-3-030-92124-8\_8},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AlshareefSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-00929,
author = {Shaun Azzopardi and
Nir Piterman and
Gerardo Schneider},
title = {Incorporating Monitors in Reactive Synthesis without Paying the Price},
journal = {CoRR},
volume = {abs/2107.00929},
year = {2021},
url = {https://arxiv.org/abs/2107.00929},
eprinttype = {arXiv},
eprint = {2107.00929},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-00929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/Picazo-SanchezT20,
author = {Pablo Picazo{-}Sanchez and
Juan Tapiador and
Gerardo Schneider},
title = {After you, please: browser extensions order attacks and countermeasures},
journal = {Int. J. Inf. Sec.},
volume = {19},
number = {6},
pages = {623--638},
year = {2020},
url = {https://doi.org/10.1007/s10207-019-00481-8},
doi = {10.1007/S10207-019-00481-8},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/Picazo-SanchezT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/AlshareefPSP20,
author = {Hanaa Alshareef and
Ra{\'{u}}l Pardo and
Gerardo Schneider and
Pablo Picazo{-}Sanchez},
title = {A collaborative access control framework for online social networks},
journal = {J. Log. Algebraic Methods Program.},
volume = {114},
pages = {100562},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2020.100562},
doi = {10.1016/J.JLAMP.2020.100562},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/AlshareefPSP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cans/Picazo-Sanchez020,
author = {Pablo Picazo{-}Sanchez and
Gerardo Schneider and
Andrei Sabelfeld},
editor = {Stephan Krenn and
Haya Schulmann and
Serge Vaudenay},
title = {{HMAC} and "Secure Preferences": Revisiting Chromium-Based
Browsers Security},
booktitle = {Cryptology and Network Security - 19th International Conference, {CANS}
2020, Vienna, Austria, December 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12579},
pages = {107--126},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65411-5\_6},
doi = {10.1007/978-3-030-65411-5\_6},
timestamp = {Tue, 17 Oct 2023 10:41:56 +0200},
biburl = {https://dblp.org/rec/conf/cans/Picazo-Sanchez020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PaceSS20,
author = {Gordon J. Pace and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Reliable Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {3--8},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_1},
doi = {10.1007/978-3-030-61467-6\_1},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/PaceSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/MallozziNPS20,
author = {Piergiuseppe Mallozzi and
Pierluigi Nuzzo and
Patrizio Pelliccione and
Gerardo Schneider},
title = {{CROME:} Contract-Based Robotic Mission Specification},
booktitle = {18th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
pages = {1--11},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MEMOCODE51338.2020.9315065},
doi = {10.1109/MEMOCODE51338.2020.9315065},
timestamp = {Sat, 20 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/MallozziNPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/KaramiOS20,
author = {Farzane Karami and
Olaf Owe and
Gerardo Schneider},
editor = {Mikael Asplund and
Simin Nadjm{-}Tehrani},
title = {Information-Flow Control by Means of Security Wrappers for Active
Object Languages with Futures},
booktitle = {Secure {IT} Systems - 25th Nordic Conference, NordSec 2020, Virtual
Event, November 23-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12556},
pages = {74--91},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-70852-8\_5},
doi = {10.1007/978-3-030-70852-8\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/KaramiOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10900,
author = {Farzane Karami and
Olaf Owe and
Gerardo Schneider},
title = {Security Wrappers for Information-Flow Control in Active Object Languages
with Futures},
journal = {CoRR},
volume = {abs/2002.10900},
year = {2020},
url = {https://arxiv.org/abs/2002.10900},
eprinttype = {arXiv},
eprint = {2002.10900},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-12028,
author = {Hanaa Alshareef and
Sandro Stucki and
Gerardo Schneider},
title = {Transforming Data Flow Diagrams for Privacy Compliance (Long Version)},
journal = {CoRR},
volume = {abs/2011.12028},
year = {2020},
url = {https://arxiv.org/abs/2011.12028},
eprinttype = {arXiv},
eprint = {2011.12028},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-12028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01813,
author = {Johanna Johansen and
Tore Pedersen and
Simone Fischer{-}H{\"{u}}bner and
Christian Johansen and
Gerardo Schneider and
Arnold Roosendaal and
Harald Zwingelberg and
Anders Jakob Sivesind and
Josef Noll},
title = {Privacy Labelling and the Story of Princess Privacy and the Seven
Helpers},
journal = {CoRR},
volume = {abs/2012.01813},
year = {2020},
url = {https://arxiv.org/abs/2012.01813},
eprinttype = {arXiv},
eprint = {2012.01813},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/Ortiz-MartinPPT19,
author = {Lara Ortiz{-}Martin and
Pablo Picazo{-}Sanchez and
Pedro Peris{-}Lopez and
Juan Tapiador and
Gerardo Schneider},
title = {Feasibility analysis of Inter-Pulse Intervals based solutions for
cryptographic token generation by two electrocardiogram sensors},
journal = {Future Gener. Comput. Syst.},
volume = {96},
pages = {283--296},
year = {2019},
url = {https://doi.org/10.1016/j.future.2019.02.021},
doi = {10.1016/J.FUTURE.2019.02.021},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/Ortiz-MartinPPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A survey of challenges for runtime verification from advanced application
domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {279--335},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00337-w},
doi = {10.1007/S10703-019-00337-W},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SanchezSABBCFFK19a,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {Correction to: {A} survey of challenges for runtime verification from
advanced application domains (beyond software)},
journal = {Formal Methods Syst. Des.},
volume = {55},
number = {1},
pages = {72},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00343-y},
doi = {10.1007/S10703-019-00343-Y},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/StuckiSSB19,
author = {Sandro Stucki and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Borzoo Bonakdarpour},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Gray-Box Monitoring of Hyperproperties},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {406--424},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_25},
doi = {10.1007/978-3-030-30942-8\_25},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/StuckiSSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AhrendtBEPPRS19,
author = {Wolfgang Ahrendt and
Richard Bubel and
Joshua Ellul and
Gordon J. Pace and
Ra{\'{u}}l Pardo and
Vincent Rebiscoul and
Gerardo Schneider},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Verification of Smart Contract Business Logic - Exploiting a Java
Source Code Verifier},
booktitle = {Fundamentals of Software Engineering - 8th International Conference,
{FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11761},
pages = {228--243},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31517-7\_16},
doi = {10.1007/978-3-030-31517-7\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/AhrendtBEPPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MallozziCPST19,
author = {Piergiuseppe Mallozzi and
Ezequiel Castellano and
Patrizio Pelliccione and
Gerardo Schneider and
Kenji Tei},
title = {A runtime monitoring framework to enforce invariants on reinforcement
learning agents exploring complex environments},
booktitle = {Proceedings of the 2nd International Workshop on Robotics Software
Engineering, RoSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019},
pages = {5--12},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/RoSE.2019.00011},
doi = {10.1109/ROSE.2019.00011},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MallozziCPST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03776,
author = {Wolfgang Ahrendt and
Cyrille Artho and
Christian Colombo and
Yli{\`{e}}s Falcone and
Srdan Krstic and
Martin Leucker and
Florian Lorber and
Jo{\~{a}}o M. Louren{\c{c}}o and
Leonardo Mariani and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Volker Stolz},
title = {{COST} Action {IC} 1402 ArVI: Runtime Verification Beyond Monitoring
- Activity Report of Working Group 1},
journal = {CoRR},
volume = {abs/1902.03776},
year = {2019},
url = {http://arxiv.org/abs/1902.03776},
eprinttype = {arXiv},
eprint = {1902.03776},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-08731,
author = {Sandro Stucki and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Borzoo Bonakdarpour},
title = {Gray-box Monitoring of Hyperproperties (Extended Version)},
journal = {CoRR},
volume = {abs/1906.08731},
year = {2019},
url = {http://arxiv.org/abs/1906.08731},
eprinttype = {arXiv},
eprint = {1906.08731},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-08731.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02205,
author = {Pablo Picazo{-}Sanchez and
Juan Tapiador and
Gerardo Schneider},
title = {After You, Please: Browser Extensions Order Attacks and Countermeasures},
journal = {CoRR},
volume = {abs/1908.02205},
year = {2019},
url = {http://arxiv.org/abs/1908.02205},
eprinttype = {arXiv},
eprint = {1908.02205},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AhrendtPS18,
author = {Wolfgang Ahrendt and
Gordon J. Pace and
Gerardo Schneider},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Smart Contracts: {A} Killer Application for Deductive Source Code
Verification},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {1--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_1},
doi = {10.1007/978-3-319-98047-8\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AhrendtPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/AntignacSS18,
author = {Thibaud Antignac and
Riccardo Scandariato and
Gerardo Schneider},
title = {Privacy Compliance Via Model Transformations},
booktitle = {2018 {IEEE} European Symposium on Security and Privacy Workshops,
EuroS{\&}P Workshops 2018, London, United Kingdom, April 23-27,
2018},
pages = {120--126},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EuroSPW.2018.00024},
doi = {10.1109/EUROSPW.2018.00024},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/AntignacSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PardoSS18,
author = {Ra{\'{u}}l Pardo and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Timed Epistemic Knowledge Bases for Social Networks},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {185--202},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_11},
doi = {10.1007/978-3-319-95582-7\_11},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PardoSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PinisettySS18,
author = {Srinivas Pinisetty and
Gerardo Schneider and
David Sands},
editor = {Stefania Gnesi and
Nico Plat and
Paola Spoletini and
Patrizio Pelliccione},
title = {Runtime verification of hyperproperties for deterministic programs},
booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
2, 2018},
pages = {20--29},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3193992.3193995},
doi = {10.1145/3193992.3193995},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PinisettySS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChimentoAS18,
author = {Jes{\'{u}}s Mauricio Chimento and
Wolfgang Ahrendt and
Gerardo Schneider},
editor = {Stefania Gnesi and
Nico Plat and
Paola Spoletini and
Patrizio Pelliccione},
title = {Testing meets static and runtime verification},
booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
2, 2018},
pages = {30--39},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3193992.3194000},
doi = {10.1145/3193992.3194000},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChimentoAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/MallozziPDPS18,
author = {Piergiuseppe Mallozzi and
Ra{\'{u}}l Pardo and
Vincent Duplessis and
Patrizio Pelliccione and
Gerardo Schneider},
title = {MoVEMo: {A} Structured Approach for Engineering Reward Functions},
booktitle = {Second {IEEE} International Conference on Robotic Computing, {IRC}
2018, Laguna Hills, CA, USA, January 31 - February 2, 2018},
pages = {250--257},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/IRC.2018.00053},
doi = {10.1109/IRC.2018.00053},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/MallozziPDPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BonakdarpourSS18,
author = {Borzoo Bonakdarpour and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Monitoring Hyperproperties by Combining Static Analysis and Runtime
Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {8--27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_2},
doi = {10.1007/978-3-030-03421-4\_2},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BonakdarpourSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PacePS18,
author = {Gordon J. Pace and
Pablo Picazo{-}Sanchez and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Migrating Monitors + {ABE:} {A} Suitable Combination for Secure IoT?},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {19--24},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_3},
doi = {10.1007/978-3-030-03427-6\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/PacePS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SanchezSL18,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Martin Leucker},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Reliable Smart Contracts: State-of-the-Art, Applications, Challenges
and Future Directions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {275--279},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_21},
doi = {10.1007/978-3-030-03427-6\_21},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SanchezSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Schneider18,
author = {Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Is Privacy by Construction Possible?},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {471--485},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_28},
doi = {10.1007/978-3-030-03418-4\_28},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/Schneider18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PinisettyRSS18,
author = {Srinivas Pinisetty and
Partha S. Roop and
Vidula Sawant and
Gerardo Schneider},
title = {Security of Pacemakers using Runtime Verification},
booktitle = {16th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2018, Beijing, China, October 15-18,
2018},
pages = {51--61},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MEMCOD.2018.8556922},
doi = {10.1109/MEMCOD.2018.8556922},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/PinisettyRSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboFLRSSS18,
author = {Christian Colombo and
Yli{\`{e}}s Falcone and
Martin Leucker and
Giles Reger and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Volker Stolz},
editor = {Christian Colombo and
Martin Leucker},
title = {{COST} Action {IC1402} Runtime Verification Beyond Monitoring},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {18--26},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_2},
doi = {10.1007/978-3-030-03769-7\_2},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/ColomboFLRSSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CamilleriHS18,
author = {John J. Camilleri and
Mohammad Reza Haghshenas and
Gerardo Schneider},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {A web-based tool for analysing normative documents in english},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1865--1872},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167331},
doi = {10.1145/3167132.3167331},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/CamilleriHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-02484,
author = {Srinivas Pinisetty and
Thibaud Antignac and
David Sands and
Gerardo Schneider},
title = {Monitoring Data Minimisation},
journal = {CoRR},
volume = {abs/1801.02484},
year = {2018},
url = {http://arxiv.org/abs/1801.02484},
eprinttype = {arXiv},
eprint = {1801.02484},
timestamp = {Tue, 09 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-02484.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06740,
author = {C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider and
Wolfgang Ahrendt and
Ezio Bartocci and
Domenico Bianculli and
Christian Colombo and
Yli{\`{e}}s Falcone and
Adrian Francalanza and
Srdan Krstic and
Jo{\~{a}}o M. Louren{\c{c}}o and
Dejan Nickovic and
Gordon J. Pace and
Jos{\'{e}} Rufino and
Julien Signoles and
Dmitriy Traytel and
Alexander Weiss},
title = {A Survey of Challenges for Runtime Verification from Advanced Application
Domains (Beyond Software)},
journal = {CoRR},
volume = {abs/1811.06740},
year = {2018},
url = {http://arxiv.org/abs/1811.06740},
eprinttype = {arXiv},
eprint = {1811.06740},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AhrendtCPS17,
author = {Wolfgang Ahrendt and
Jes{\'{u}}s Mauricio Chimento and
Gordon J. Pace and
Gerardo Schneider},
title = {Verifying data- and control-oriented properties combining static and
runtime verification: theory and tools},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {200--265},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0274-y},
doi = {10.1007/S10703-017-0274-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AhrendtCPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PardoBS17,
author = {Ra{\'{u}}l Pardo and
Musard Balliu and
Gerardo Schneider},
title = {Formalising privacy policies in social networks},
journal = {J. Log. Algebraic Methods Program.},
volume = {90},
pages = {125--157},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.02.008},
doi = {10.1016/J.JLAMP.2017.02.008},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PardoBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CamilleriS17,
author = {John J. Camilleri and
Gerardo Schneider},
title = {Modelling and analysis of normative documents},
journal = {J. Log. Algebraic Methods Program.},
volume = {91},
pages = {33--59},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.05.002},
doi = {10.1016/J.JLAMP.2017.05.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CamilleriS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AntignacMS17,
author = {Thibaud Antignac and
Mukelabai Mukelabai and
Gerardo Schneider},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Specification, design, and verification of an accountability-aware
surveillance protocol},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1372--1378},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019826},
doi = {10.1145/3019612.3019826},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/AntignacMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/Picazo-SanchezP17,
author = {Pablo Picazo{-}Sanchez and
Ra{\'{u}}l Pardo and
Gerardo Schneider},
editor = {Sabrina De Capitani di Vimercati and
Fabio Martinelli},
title = {Secure Photo Sharing in Social Networks},
booktitle = {{ICT} Systems Security and Privacy Protection - 32nd {IFIP} {TC} 11
International Conference, {SEC} 2017, Rome, Italy, May 29-31, 2017,
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {502},
pages = {79--92},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58469-0\_6},
doi = {10.1007/978-3-319-58469-0\_6},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sec/Picazo-SanchezP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/AntignacSS17,
author = {Thibaud Antignac and
David Sands and
Gerardo Schneider},
editor = {Sabrina De Capitani di Vimercati and
Fabio Martinelli},
title = {Data Minimisation: {A} Language-Based Approach},
booktitle = {{ICT} Systems Security and Privacy Protection - 32nd {IFIP} {TC} 11
International Conference, {SEC} 2017, Rome, Italy, May 29-31, 2017,
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {502},
pages = {442--456},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58469-0\_30},
doi = {10.1007/978-3-319-58469-0\_30},
timestamp = {Tue, 09 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sec/AntignacSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LutebergetCJS17,
author = {Bj{\o}rnar Luteberget and
John J. Camilleri and
Christian Johansen and
Gerardo Schneider},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Participatory Verification of Railway Infrastructure by Representing
Regulations in RailCNL},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {87--103},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_6},
doi = {10.1007/978-3-319-66197-1\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LutebergetCJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02105,
author = {Ra{\'{u}}l Pardo and
Gerardo Schneider},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi San Pietro},
title = {Model Checking Social Network Models},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {238--252},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.17},
doi = {10.4204/EPTCS.256.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CamilleriGS17,
author = {John J. Camilleri and
Normunds Gruzitis and
Gerardo Schneider},
title = {Extracting Formal Models from Normative Texts},
journal = {CoRR},
volume = {abs/1706.04997},
year = {2017},
url = {http://arxiv.org/abs/1706.04997},
eprinttype = {arXiv},
eprint = {1706.04997},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CamilleriGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CamilleriHS17,
author = {John J. Camilleri and
Mohammad Reza Haghshenas and
Gerardo Schneider},
title = {A Web-Based Tool for Analysing Normative Documents in English},
journal = {CoRR},
volume = {abs/1707.03997},
year = {2017},
url = {http://arxiv.org/abs/1707.03997},
eprinttype = {arXiv},
eprint = {1707.03997},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CamilleriHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-04070,
author = {Ra{\'{u}}l Pardo and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider},
title = {Timed Epistemic Knowledge Bases for Social Networks (Extended Version)},
journal = {CoRR},
volume = {abs/1708.04070},
year = {2017},
url = {http://arxiv.org/abs/1708.04070},
eprinttype = {arXiv},
eprint = {1708.04070},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-04070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/AzzopardiPSS16,
author = {Shaun Azzopardi and
Gordon J. Pace and
Fernando Schapachnik and
Gerardo Schneider},
title = {Contract automata - An operational view of contracts between interactive
parties},
journal = {Artif. Intell. Law},
volume = {24},
number = {3},
pages = {203--243},
year = {2016},
url = {https://doi.org/10.1007/s10506-016-9185-2},
doi = {10.1007/S10506-016-9185-2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ail/AzzopardiPSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtPS16,
author = {Wolfgang Ahrendt and
Gordon J. Pace and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {StaRVOOrS - Episode {II} - Strengthen and Distribute the Force},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {402--415},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_28},
doi = {10.1007/978-3-319-47166-2\_28},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/AhrendtPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PacePS16,
author = {Gordon J. Pace and
Ra{\'{u}}l Pardo and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Runtime Enforcement of Evolving Privacy Policies in Online
Social Networks},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {407--412},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_33},
doi = {10.1007/978-3-319-47169-3\_33},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/PacePS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Schneider16,
author = {Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Specification and Enforcement of Privacy-Preserving Contractual
Agreements},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {413--419},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_34},
doi = {10.1007/978-3-319-47169-3\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Schneider16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AntignacSS16,
author = {Thibaud Antignac and
Riccardo Scandariato and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Privacy-Aware Conceptual Model for Handling Personal Data},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {942--957},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_65},
doi = {10.1007/978-3-319-47166-2\_65},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AntignacSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nldb/CamilleriGS16,
author = {John J. Camilleri and
Normunds Gruzitis and
Gerardo Schneider},
editor = {Elisabeth M{\'{e}}tais and
Farid Meziane and
Mohamad Saraee and
Vijayan Sugumaran and
Sunil Vadera},
title = {Extracting Formal Models from Normative Texts},
booktitle = {Natural Language Processing and Information Systems - 21st International
Conference on Applications of Natural Language to Information Systems,
{NLDB} 2016, Salford, UK, June 22-24, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9612},
pages = {403--408},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41754-7\_40},
doi = {10.1007/978-3-319-41754-7\_40},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nldb/CamilleriGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PardoCPS16,
author = {Ra{\'{u}}l Pardo and
Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {An Automata-Based Approach to Evolving Privacy Policies for Social
Networks},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {285--301},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_18},
doi = {10.1007/978-3-319-46982-9\_18},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/PardoCPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/PardoSS16,
author = {Ra{\'{u}}l Pardo and
Ivana Kellyerova and
C{\'{e}}sar S{\'{a}}nchez and
Gerardo Schneider},
editor = {Curtis E. Dyreson and
Michael R. Hansen and
Luke Hunsberger},
title = {Specification of Evolving Privacy Policies for Online Social Networks},
booktitle = {23rd International Symposium on Temporal Representation and Reasoning,
{TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TIME.2016.15},
doi = {10.1109/TIME.2016.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/PardoSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CamilleriGS16,
author = {John J. Camilleri and
Normunds Gruzitis and
Gerardo Schneider},
title = {Extracting Formal Models from Normative Texts},
journal = {CoRR},
volume = {abs/1607.01485},
year = {2016},
url = {http://arxiv.org/abs/1607.01485},
eprinttype = {arXiv},
eprint = {1607.01485},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CamilleriGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AntignacSS16,
author = {Thibaud Antignac and
David Sands and
Gerardo Schneider},
title = {Data Minimisation: a Language-Based Approach (Long Version)},
journal = {CoRR},
volume = {abs/1611.05642},
year = {2016},
url = {http://arxiv.org/abs/1611.05642},
eprinttype = {arXiv},
eprint = {1611.05642},
timestamp = {Tue, 09 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AntignacSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BarthePS15,
author = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {{SEFM:} software engineering and formal methods},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {3--4},
year = {2015},
url = {https://doi.org/10.1007/s10270-014-0404-6},
doi = {10.1007/S10270-014-0404-6},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BarthePS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AhrendtCPS15,
author = {Wolfgang Ahrendt and
Jes{\'{u}}s Mauricio Chimento and
Gordon J. Pace and
Gerardo Schneider},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {A Specification Language for Static and Runtime Verification of Data
and Control Properties},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {108--125},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_8},
doi = {10.1007/978-3-319-19249-9\_8},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/AhrendtCPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/PaceSS15,
author = {Gordon J. Pace and
Fernando Schapachnik and
Gerardo Schneider},
title = {Conditional Permissions in Contracts},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2015: The Twenty-Eighth
Annual Conference, Braga, Portugal, December 10-11, 2015},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {279},
pages = {61--70},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-609-5-61},
doi = {10.3233/978-1-61499-609-5-61},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jurix/PaceSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EbadiSS15,
author = {Hamid Ebadi and
David Sands and
Gerardo Schneider},
editor = {Sriram K. Rajamani and
David Walker},
title = {Differential Privacy: Now it's Getting Personal},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {69--81},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677005},
doi = {10.1145/2676726.2677005},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/EbadiSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChimentoAPS15,
author = {Jes{\'{u}}s Mauricio Chimento and
Wolfgang Ahrendt and
Gordon J. Pace and
Gerardo Schneider},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {StaRVOOrS: {A} Tool for Combined Static and Runtime Verification of
Java},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {297--305},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_21},
doi = {10.1007/978-3-319-23820-3\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChimentoAPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DiazCMS14,
author = {Gregorio D{\'{\i}}az and
Mar{\'{\i}}a{-}Emilia Cambronero and
Enrique Mart{\'{\i}}nez and
Gerardo Schneider},
title = {Specification and Verification of NormativeTexts Using {C-O} Diagrams},
journal = {{IEEE} Trans. Software Eng.},
volume = {40},
number = {8},
pages = {795--817},
year = {2014},
url = {https://doi.org/10.1109/TSE.2013.54},
doi = {10.1109/TSE.2013.54},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/DiazCMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnl/CamilleriPS14,
author = {John J. Camilleri and
Gabriele Paganelli and
Gerardo Schneider},
editor = {Brian Davis and
Kaarel Kaljurand and
Tobias Kuhn},
title = {A {CNL} for Contract-Oriented Diagrams},
booktitle = {Controlled Natural Language - 4th International Workshop, {CNL} 2014,
Galway, Ireland, August 20-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8625},
pages = {135--146},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10223-8\_13},
doi = {10.1007/978-3-319-10223-8\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cnl/CamilleriPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PardoS14,
author = {Ra{\'{u}}l Pardo and
Gerardo Schneider},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {A Formal Privacy Policy Framework for Social Networks},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {378--392},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_30},
doi = {10.1007/978-3-319-10431-7\_30},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/PardoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CamilleriPS14,
author = {John J. Camilleri and
Gabriele Paganelli and
Gerardo Schneider},
title = {A {CNL} for Contract-Oriented Diagrams},
journal = {CoRR},
volume = {abs/1406.5691},
year = {2014},
url = {http://arxiv.org/abs/1406.5691},
eprinttype = {arXiv},
eprint = {1406.5691},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CamilleriPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AngelovCS13,
author = {Krasimir Angelov and
John J. Camilleri and
Gerardo Schneider},
title = {A framework for conflict analysis of normative texts written in controlled
natural language},
journal = {J. Log. Algebraic Methods Program.},
volume = {82},
number = {5-7},
pages = {216--240},
year = {2013},
url = {https://doi.org/10.1016/j.jlap.2013.03.002},
doi = {10.1016/J.JLAP.2013.03.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/AngelovCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HansenSS13,
author = {Hallstein Asheim Hansen and
Gerardo Schneider and
Martin Steffen},
title = {Reachability analysis of complex planar hybrid systems},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2511--2536},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.02.007},
doi = {10.1016/J.SCICO.2013.02.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HansenSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/RabetskiS13,
author = {Pavel Rabetski and
Gerardo Schneider},
editor = {Kung{-}Kiu Lau and
Winfried Lamersdorf and
Ernesto Pimentel},
title = {Migration of an On-Premise Application to the Cloud: Experience Report},
booktitle = {Service-Oriented and Cloud Computing - Second European Conference,
{ESOCC} 2013, M{\'{a}}laga, Spain, September 11-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8135},
pages = {227--241},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40651-5\_19},
doi = {10.1007/978-3-642-40651-5\_19},
timestamp = {Wed, 12 May 2021 10:56:07 +0200},
biburl = {https://dblp.org/rec/conf/esocc/RabetskiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NagyST13,
author = {Robert Nagy and
Gerardo Schneider and
Aram Timofeitchik},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Automatic Testing of Real-Time Graphics Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {463--477},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_32},
doi = {10.1007/978-3-642-36742-7\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NagyST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AsarinMPS12,
author = {Eugene Asarin and
Venkatesh Mysore and
Amir Pnueli and
Gerardo Schneider},
title = {Low dimensional hybrid systems - decidable, undecidable, don't know},
journal = {Inf. Comput.},
volume = {211},
pages = {138--159},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2011.11.006},
doi = {10.1016/J.IC.2011.11.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AsarinMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Schneider12,
author = {Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {2},
pages = {71},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2011.12.003},
doi = {10.1016/J.JLAP.2011.12.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Schneider12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PrisacariuS12,
author = {Cristian Prisacariu and
Gerardo Schneider},
title = {A dynamic deontic logic for complex contracts},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {4},
pages = {458--490},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.03.003},
doi = {10.1016/J.JLAP.2012.03.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/PrisacariuS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtPS12,
author = {Wolfgang Ahrendt and
Gordon J. Pace and
Gerardo Schneider},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Unified Approach for Static and Runtime Verification: Framework
and Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {312--326},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_24},
doi = {10.1007/978-3-642-34026-0\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/AhrendtPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PaceS11,
author = {Gordon J. Pace and
Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2010.10.003},
doi = {10.1016/J.JLAP.2010.10.003},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PaceS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PaceS11a,
author = {Gordon J. Pace and
Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {80},
number = {3-5},
pages = {137--138},
year = {2011},
url = {https://doi.org/10.1016/j.jlap.2011.04.001},
doi = {10.1016/J.JLAP.2011.04.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PaceS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/HansenSS11,
author = {Hallstein Asheim Hansen and
Gerardo Schneider and
Martin Steffen},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Reachability Analysis of Non-linear Planar Autonomous Systems},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {206--220},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_14},
doi = {10.1007/978-3-642-29320-7\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/HansenSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-2654,
author = {Enrique Mart{\'{\i}}nez and
Mar{\'{\i}}a{-}Emilia Cambronero and
Gregorio D{\'{\i}}az and
Gerardo Schneider},
editor = {Ernesto Pimentel and
Valent{\'{\i}}n Valero},
title = {Timed Automata Semantics for Visual e-Contracts},
booktitle = {Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented
Software, {FLACOS} 2011, M{\'{a}}laga, Spain, 22nd and 23rd September
2011},
series = {{EPTCS}},
volume = {68},
pages = {7--21},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.68.3},
doi = {10.4204/EPTCS.68.3},
timestamp = {Wed, 12 May 2021 10:56:02 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-2657,
author = {Seyed M. Montazeri and
Nivir K. S. Roy and
Gerardo Schneider},
editor = {Ernesto Pimentel and
Valent{\'{\i}}n Valero},
title = {From Contracts in Structured English to {CL} Specifications},
booktitle = {Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented
Software, {FLACOS} 2011, M{\'{a}}laga, Spain, 22nd and 23rd September
2011},
series = {{EPTCS}},
volume = {68},
pages = {55--69},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.68.6},
doi = {10.4204/EPTCS.68.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2657.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2011,
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6},
doi = {10.1007/978-3-642-24690-6},
isbn = {978-3-642-24689-0},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/MartinezDCS10,
author = {Enrique Mart{\'{\i}}nez and
Gregorio D{\'{\i}}az and
Mar{\'{\i}}a{-}Emilia Cambronero and
Gerardo Schneider},
title = {A Model for Visual Specification of E-contracts},
booktitle = {2010 {IEEE} International Conference on Services Computing, {SCC}
2010, Miami, Florida, USA, July 5-10, 2010},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SCC.2010.32},
doi = {10.1109/SCC.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/MartinezDCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HansenS10,
author = {Hallstein Asheim Hansen and
Gerardo Schneider},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Reachability analysis of GSPDIs: theory, optimization, and implementation},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2511--2516},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774609},
doi = {10.1145/1774088.1774609},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/HansenS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MartinezS10,
author = {Enrique Mart{\'{\i}}nez and
Gerardo Schneider},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {Automated Analysis of Conflicts in Software Product Lines},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {75--82},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 30 Mar 2016 18:10:17 +0200},
biburl = {https://dblp.org/rec/conf/splc/MartinezS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OweS09,
author = {Olaf Owe and
Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {5},
pages = {289--290},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2009.02.011},
doi = {10.1016/J.JLAP.2009.02.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/OweS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OweS09a,
author = {Olaf Owe and
Gerardo Schneider},
title = {Formal languages and analysis of contract-oriented software},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {5},
pages = {291--292},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2009.02.012},
doi = {10.1016/J.JLAP.2009.02.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/OweS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohnsenOS09,
author = {Einar Broch Johnsen and
Olaf Owe and
Gerardo Schneider},
title = {Guest Editors' Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {7},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2009.06.001},
doi = {10.1016/J.JLAP.2009.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsenOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FenechPS09,
author = {Stephen Fenech and
Gordon J. Pace and
Gerardo Schneider},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {{CLAN:} {A} Tool for Contract Analysis and Conflict Discovery},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {90--96},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_8},
doi = {10.1007/978-3-642-04761-9\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FenechPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ColomboPS09,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Safe Runtime Verification of Real-Time Properties},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {103--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_10},
doi = {10.1007/978-3-642-04368-0\_10},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ColomboPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/PrisacariuS09,
author = {Cristian Prisacariu and
Gerardo Schneider},
title = {Abstract specification of legal contracts},
booktitle = {The 12th International Conference on Artificial Intelligence and Law,
Proceedings of the Conference, June 8-12, 2009, Barcelona, Spain},
pages = {218--219},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1568234.1568262},
doi = {10.1145/1568234.1568262},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icail/PrisacariuS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FenechPS09,
author = {Stephen Fenech and
Gordon J. Pace and
Gerardo Schneider},
editor = {Martin Leucker and
Carroll Morgan},
title = {Automatic Conflict Detection on Contracts},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {200--214},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_13},
doi = {10.1007/978-3-642-03466-4\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/FenechPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/HansenS09,
author = {Hallstein Asheim Hansen and
Gerardo Schneider},
editor = {Martin Leucker and
Carroll Morgan},
title = {GSPeeDI - {A} Verification Tool for Generalized Polygonal Hybrid Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {343--348},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_23},
doi = {10.1007/978-3-642-03466-4\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/HansenS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PaceS09,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Challenges in the Specification of Full Contracts},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {292--306},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_20},
doi = {10.1007/978-3-642-00255-7\_20},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PaceS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ColomboPS09,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {{LARVA} --- Safer Monitoring of Real-Time Java Programs (Tool Paper)},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {33--37},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.13},
doi = {10.1109/SEFM.2009.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ColomboPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/PrisacariuS09,
author = {Cristian Prisacariu and
Gerardo Schneider},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {: An Action-Based Logic for Reasoning about Contracts},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {335--349},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_27},
doi = {10.1007/978-3-642-02261-6\_27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/PrisacariuS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FenechPORS09,
author = {Stephen Fenech and
Gordon J. Pace and
Joseph C. Okika and
Anders P. Ravn and
Gerardo Schneider},
editor = {Jens Happe and
Barbora Zimmerov{\'{a}}},
title = {On the Specification of Full Contracts},
booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering
approches to Software Components and Architectures, FESCA@ETAPS 2009,
York, UK, April 28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {1},
pages = {39--55},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.027},
doi = {10.1016/J.ENTCS.2009.09.027},
timestamp = {Fri, 24 Feb 2023 15:09:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FenechPORS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OweS09,
author = {Olaf Owe and
Gerardo Schneider},
editor = {Jens Happe and
Barbora Zimmerov{\'{a}}},
title = {Wrap Your Objects Safely},
booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering
approches to Software Components and Architectures, FESCA@ETAPS 2009,
York, UK, April 28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {1},
pages = {127--143},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.032},
doi = {10.1016/J.ENTCS.2009.09.032},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OweS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AsarinPSY08,
author = {Eugene Asarin and
Gordon J. Pace and
Gerardo Schneider and
Sergio Yovine},
title = {Algorithmic analysis of polygonal hybrid systems, Part {II:} Phase
portrait and tools},
journal = {Theor. Comput. Sci.},
volume = {390},
number = {1},
pages = {1--26},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.09.025},
doi = {10.1016/J.TCS.2007.09.025},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AsarinPSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KyasPS08,
author = {Marcel Kyas and
Cristian Prisacariu and
Gerardo Schneider},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Run-Time Monitoring of Electronic Contracts},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {397--407},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_34},
doi = {10.1007/978-3-540-88387-6\_34},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/KyasPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ColomboPS08,
author = {Christian Colombo and
Gordon J. Pace and
Gerardo Schneider},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual
Properties},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {135--149},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_13},
doi = {10.1007/978-3-642-03240-0\_13},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ColomboPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PaceS08,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Relaxing Goodness Is Still Good},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {274--289},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_19},
doi = {10.1007/978-3-540-85762-4\_19},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PaceS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Schneider08,
author = {Gerardo Schneider},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Reachability analysis of generalized polygonal hybrid systems},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {327--332},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363773},
doi = {10.1145/1363686.1363773},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/Schneider08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PaceS08,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Computation and Visualisation of Phase Portraits for Model Checking
SPDIs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 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 = {4963},
pages = {341--345},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_25},
doi = {10.1007/978-3-540-78800-3\_25},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PaceS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/GiambiagiORS08,
author = {Pablo Giambiagi and
Olaf Owe and
Anders P. Ravn and
Gerardo Schneider},
title = {Contract-Oriented Software Development for Internet Services},
journal = {{ERCIM} News},
volume = {2008},
number = {72},
year = {2008},
url = {http://ercim-news.ercim.eu/contract-oriented-software-development-for-internet-services},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/GiambiagiORS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AsarinSY07,
author = {Eugene Asarin and
Gerardo Schneider and
Sergio Yovine},
title = {Algorithmic analysis of polygonal hybrid systems, part {I:} Reachability},
journal = {Theor. Comput. Sci.},
volume = {379},
number = {1-2},
pages = {231--265},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.055},
doi = {10.1016/J.TCS.2007.03.055},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AsarinSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEias/HammerS07,
author = {Johs Hansen Hammer and
Gerardo Schneider},
editor = {Ning Zhang and
Ajith Abraham},
title = {On the Definition and Policies of Confidentiality},
booktitle = {Proceedings of the Third International Symposium on Information Assurance
and Security, {IAS} 2007, August 29-31, 2007, Manchester, United Kingdom},
pages = {337--342},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/IAS.2007.20},
doi = {10.1109/IAS.2007.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEias/HammerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PacePS07,
author = {Gordon J. Pace and
Cristian Prisacariu and
Gerardo Schneider},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Model Checking Contracts - {A} Case Study},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {82--97},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_8},
doi = {10.1007/978-3-540-75596-8\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/PacePS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/PrisacariuS07,
author = {Cristian Prisacariu and
Gerardo Schneider},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {A Formal Language for Electronic Contracts},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {174--189},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_11},
doi = {10.1007/978-3-540-72952-5\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/PrisacariuS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/OweSS07,
author = {Olaf Owe and
Gerardo Schneider and
Martin Steffen},
editor = {Arnd Poetzsch{-}Heffter},
title = {Components, objects, and contracts},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {95--98},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292328},
doi = {10.1145/1292316.1292328},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/OweSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PaceS06,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Static Analysis for State-Space Reduction of Polygonal Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {306--321},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_22},
doi = {10.1007/11867340\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/PaceS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GiambiagiOSR06,
author = {Pablo Giambiagi and
Olaf Owe and
Gerardo Schneider and
Anders P. Ravn},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert},
title = {Language-based support for service oriented architectures: Future
directions},
booktitle = {{ICSOFT} 2006, First International Conference on Software and Data
Technologies, Set{\'{u}}bal, Portugal, September 11-14, 2006},
pages = {339--344},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Thu, 26 Oct 2006 11:45:24 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/GiambiagiOSR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PaceS06,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {A Compositional Algorithm for Parallel Model Checking of Polygonal
Hybrid Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {168--182},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_12},
doi = {10.1007/11921240\_12},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/PaceS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CacheraJPS05,
author = {David Cachera and
Thomas P. Jensen and
David Pichardie and
Gerardo Schneider},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Certified Memory Usage Analysis},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {91--106},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_8},
doi = {10.1007/11526841\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CacheraJPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BarthePS05,
author = {Gilles Barthe and
Mariela Pavlova and
Gerardo Schneider},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Precise Analysis of Memory Consumption using Program Logics},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {86--95},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.34},
doi = {10.1109/SEFM.2005.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BarthePS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Schneider04,
author = {Gerardo Schneider},
title = {Computing Invariance Kernels of Polygonal Hybrid Systems},
journal = {Nord. J. Comput.},
volume = {11},
number = {2},
pages = {194--209},
year = {2004},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/Schneider04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GiambiagiSV04,
author = {Pablo Giambiagi and
Gerardo Schneider and
Frank D. Valencia},
editor = {Igor Walukiewicz},
title = {On the Expressiveness of Infinite Behavior and Name Scoping in Process
Calculi},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 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 = {2987},
pages = {226--240},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_17},
doi = {10.1007/978-3-540-24727-2\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GiambiagiSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PaceS04,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Model Checking Polygonal Differential Inclusions Using Invariance
Kernels},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {110--121},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_11},
doi = {10.1007/978-3-540-24622-0\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PaceS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Schneider02,
author = {Gerardo Schneider},
title = {Analyse algorithmique de syst{\`{e}}mes hybrides polygonaux},
school = {Joseph Fourier University, Grenoble, France},
year = {2002},
url = {https://tel.archives-ouvertes.fr/tel-00004583},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Schneider02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AsarinPSY02,
author = {Eugene Asarin and
Gordon J. Pace and
Gerardo Schneider and
Sergio Yovine},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {SPeeDI - {A} Verification Tool for Polygonal Hybrid Systems},
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 = {354--358},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_28},
doi = {10.1007/3-540-45657-0\_28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AsarinPSY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AsarinS02,
author = {Eugene Asarin and
Gerardo Schneider},
editor = {Lubos Brim and
Petr Jancar and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Widening the Boundary between Decidable and Undecidable Hybrid Systems},
booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference,
Brno, Czech Republic, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2421},
pages = {193--208},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45694-5\_14},
doi = {10.1007/3-540-45694-5\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AsarinS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AsarinSY02,
author = {Eugene Asarin and
Gerardo Schneider and
Sergio Yovine},
editor = {Claire J. Tomlin and
Mark R. Greenstreet},
title = {Towards Computing Phase Portraits of Polygonal Differential Inclusions},
booktitle = {Hybrid Systems: Computation and Control, 5th International Workshop,
{HSCC} 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2289},
pages = {49--61},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45873-5\_7},
doi = {10.1007/3-540-45873-5\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AsarinSY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AsarinSY01,
author = {Eugene Asarin and
Gerardo Schneider and
Sergio Yovine},
editor = {Maria Domenica Di Benedetto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {On the Decidability of the Reachability Problem for Planar Differential
Inclusions},
booktitle = {Hybrid Systems: Computation and Control, 4th International Workshop,
{HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2034},
pages = {89--104},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45351-2\_11},
doi = {10.1007/3-540-45351-2\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/AsarinSY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/SchneiderX98,
author = {Gerardo Schneider and
Qiwen Xu},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Towards a Formal Semantics of Verilog Using Duration Calculus},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {282--293},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055355},
doi = {10.1007/BFB0055355},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/SchneiderX98.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-04-25 01:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
