default search action
BibTeX records: Nicolás Rosner
@inproceedings{DBLP:conf/sigsoft/BanerjeeCEFHLLP23, author = {Subarno Banerjee and Siwei Cui and Michael Emmi and Antonio Filieri and Liana Hadarean and Peixuan Li and Linghui Luo and Goran Piskachev and Nicol{\'{a}}s Rosner and Aritra Sengupta and Omer Tripp and Jingbo Wang}, editor = {Satish Chandra and Kelly Blincoe and Paolo Tonella}, title = {Compositional Taint Analysis for Enforcing Security Policies at Scale}, booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, pages = {1985--1996}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3611643.3613889}, doi = {10.1145/3611643.3613889}, timestamp = {Fri, 31 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/BanerjeeCEFHLLP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/ChristakisCFLMP22, author = {Maria Christakis and Thomas Cottenier and Antonio Filieri and Linghui Luo and Muhammad Numair Mansur and Lee Pike and Nicol{\'{a}}s Rosner and Martin Sch{\"{a}}f and Aritra Sengupta and Willem Visser}, editor = {Abhik Roychoudhury and Cristian Cadar and Miryung Kim}, title = {Input splitting for cloud-based static application security testing platforms}, booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022}, pages = {1367--1378}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3540250.3558944}, doi = {10.1145/3540250.3558944}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/ChristakisCFLMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/PonzioGRAAF21, author = {Pablo Ponzio and Ariel Godio and Nicol{\'{a}}s Rosner and Marcelo Arroyo and Nazareno Aguirre and Marcelo F. Frias}, editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga}, title = {Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds}, booktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, {FASE} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12649}, pages = {218--239}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-71500-7\_11}, doi = {10.1007/978-3-030-71500-7\_11}, timestamp = {Fri, 14 May 2021 08:34:15 +0200}, biburl = {https://dblp.org/rec/conf/fase/PonzioGRAAF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/EmmiHJPRSSV21, author = {Michael Emmi and Liana Hadarean and Ranjit Jhala and Lee Pike and Nicol{\'{a}}s Rosner and Martin Sch{\"{a}}f and Aritra Sengupta and Willem Visser}, editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta}, title = {{RAPID:} checking {API} usage for the cloud in the cloud}, booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021}, pages = {1416--1426}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3468264.3473934}, doi = {10.1145/3468264.3473934}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/EmmiHJPRSSV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/KadronRB20, author = {Ismet Burak Kadron and Nicol{\'{a}}s Rosner and Tevfik Bultan}, editor = {Sarfraz Khurshid and Corina S. Pasareanu}, title = {Feedback-driven side-channel analysis for networked applications}, booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020}, pages = {260--271}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3395363.3397365}, doi = {10.1145/3395363.3397365}, timestamp = {Wed, 15 Jul 2020 15:59:31 +0200}, biburl = {https://dblp.org/rec/conf/issta/KadronRB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/BrennanRB20, author = {Tegan Brennan and Nicol{\'{a}}s Rosner and Tevfik Bultan}, title = {{JIT} Leaks: Inducing Timing Side Channels through Just-In-Time Compilation}, booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco, CA, USA, May 18-21, 2020}, pages = {1207--1222}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/SP40000.2020.00007}, doi = {10.1109/SP40000.2020.00007}, timestamp = {Thu, 21 Sep 2023 15:57:24 +0200}, biburl = {https://dblp.org/rec/conf/sp/BrennanRB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ase/BocicBR19, author = {Ivan Bocic and Tevfik Bultan and Nicol{\'{a}}s Rosner}, title = {Inductive verification of data model invariants in web applications using first-order logic}, journal = {Autom. Softw. Eng.}, volume = {26}, number = {2}, pages = {379--416}, year = {2019}, url = {https://doi.org/10.1007/s10515-018-0249-2}, doi = {10.1007/S10515-018-0249-2}, timestamp = {Fri, 05 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ase/BocicBR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ndss/RosnerKBB19, author = {Nicol{\'{a}}s Rosner and Ismet Burak Kadron and Lucas Bang and Tevfik Bultan}, title = {Profit: Detecting and Quantifying Side Channels in Networked Applications}, booktitle = {26th Annual Network and Distributed System Security Symposium, {NDSS} 2019, San Diego, California, USA, February 24-27, 2019}, publisher = {The Internet Society}, year = {2019}, url = {https://www.ndss-symposium.org/ndss-paper/profit-detecting-and-quantifying-side-channels-in-networked-applications/}, timestamp = {Mon, 01 Feb 2021 08:42:22 +0100}, biburl = {https://dblp.org/rec/conf/ndss/RosnerKBB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosp/BangRB18, author = {Lucas Bang and Nicol{\'{a}}s Rosner and Tevfik Bultan}, title = {Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations}, booktitle = {2018 {IEEE} European Symposium on Security and Privacy, EuroS{\&}P 2018, London, United Kingdom, April 24-26, 2018}, pages = {307--322}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/EuroSP.2018.00029}, doi = {10.1109/EUROSP.2018.00029}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/eurosp/BangRB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/BrennanTRAB17, author = {Tegan Brennan and Nestan Tsiskaridze and Nicol{\'{a}}s Rosner and Abdulbaki Aydin and Tevfik Bultan}, editor = {Eric Bodden and Wilhelm Sch{\"{a}}fer and Arie van Deursen and Andrea Zisman}, title = {Constraint normalization and parameterized caching for quantitative program analysis}, booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017}, pages = {535--546}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3106237.3106303}, doi = {10.1145/3106237.3106303}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/BrennanTRAB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/RosnerGAVF15, author = {Nicol{\'{a}}s Rosner and Jaco Geldenhuys and Nazareno Aguirre and Willem Visser and Marcelo F. Frias}, title = {{BLISS:} Improved Symbolic Execution by Bounded Lazy Initialization with {SAT} Support}, journal = {{IEEE} Trans. Software Eng.}, volume = {41}, number = {7}, pages = {639--660}, year = {2015}, url = {https://doi.org/10.1109/TSE.2015.2389225}, doi = {10.1109/TSE.2015.2389225}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/RosnerGAVF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/PonzioRAF14, author = {Pablo Ponzio and Nicol{\'{a}}s Rosner and Nazareno Aguirre and Marcelo F. Frias}, editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun}, title = {Efficient Tight Field Bounds Computation Based on Shape Predicates}, booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8442}, pages = {531--546}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06410-9\_36}, doi = {10.1007/978-3-319-06410-9\_36}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/PonzioRAF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/RosnerBPKAFK14, author = {Nicol{\'{a}}s Rosner and Valeria S. Bengolea and Pablo Ponzio and Shadi Abdul Khalek and Nazareno Aguirre and Marcelo F. Frias and Sarfraz Khurshid}, editor = {Andrew P. Black and Todd D. Millstein}, title = {Bounded exhaustive test input generation from hybrid invariants}, booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2014, part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014}, pages = {655--674}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2660193.2660232}, doi = {10.1145/2660193.2660232}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/RosnerBPKAFK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/GaleottiRPF13, author = {Juan P. Galeotti and Nicol{\'{a}}s Rosner and Carlos Gustavo L{\'{o}}pez Pombo and Marcelo F. Frias}, title = {{TACO:} Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds}, journal = {{IEEE} Trans. Software Eng.}, volume = {39}, number = {9}, pages = {1283--1307}, year = {2013}, url = {https://doi.org/10.1109/TSE.2013.15}, doi = {10.1109/TSE.2013.15}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/GaleottiRPF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/AbadABCFGMMRV13, author = {Pablo Abad and Nazareno Aguirre and Valeria S. Bengolea and Daniel Alfredo Ciolek and Marcelo F. Frias and Juan P. Galeotti and Tom Maibaum and Mariano M. Moscato and Nicol{\'{a}}s Rosner and Ignacio Vissani}, title = {Improving Test Generation under Rich Contracts by Tight Bounds and Incremental {SAT} Solving}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22, 2013}, pages = {21--30}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICST.2013.46}, doi = {10.1109/ICST.2013.46}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/AbadABCFGMMRV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/RosnerGBBRPZF13, author = {Nicol{\'{a}}s Rosner and Juan P. Galeotti and Santiago Berm{\'{u}}dez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zem{\'{\i}}n and Marcelo F. Frias}, editor = {Mauro Pezz{\`{e}} and Mark Harman}, title = {Parallel bounded analysis in code with rich invariants by refinement of field bounds}, booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013}, pages = {23--33}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2483760.2483770}, doi = {10.1145/2483760.2483770}, timestamp = {Sun, 02 Oct 2022 16:10:12 +0200}, biburl = {https://dblp.org/rec/conf/issta/RosnerGBBRPZF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/RosnerSAKF13, author = {Nicol{\'{a}}s Rosner and Junaid Haroon Siddiqui and Nazareno Aguirre and Sarfraz Khurshid and Marcelo F. Frias}, editor = {Ewen Denney and Tevfik Bultan and Andreas Zeller}, title = {Ranger: Parallel analysis of alloy models by range partitioning}, booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013}, pages = {147--157}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ASE.2013.6693075}, doi = {10.1109/ASE.2013.6693075}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/kbse/RosnerSAKF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/RosnerPAJMF13, author = {Nicol{\'{a}}s Rosner and Carlos Gustavo L{\'{o}}pez Pombo and Nazareno Aguirre and Ali Jaoua and Ali Mili and Marcelo F. Frias}, editor = {Ernie Cohen and Andrey Rybalchenko}, title = {Parallel Bounded Verification of Alloy Models by TranScoping}, booktitle = {Verified Software: Theories, Tools, Experiments - 5th International Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8164}, pages = {88--107}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-54108-7\_5}, doi = {10.1007/978-3-642-54108-7\_5}, timestamp = {Wed, 31 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/RosnerPAJMF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/RosnerGPF10, author = {Nicol{\'{a}}s Rosner and Juan P. Galeotti and Carlos L{\'{o}}pez Pombo and Marcelo F. Frias}, editor = {Marc Frappier and Uwe Gl{\"{a}}sser and Sarfraz Khurshid and R{\'{e}}gine Laleau and Steve Reeves}, title = {ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models}, booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference, {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5977}, pages = {396--397}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11811-1\_33}, doi = {10.1007/978-3-642-11811-1\_33}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/asm/RosnerGPF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/GaleottiRPF10, author = {Juan P. Galeotti and Nicol{\'{a}}s Rosner and Carlos L{\'{o}}pez Pombo and Marcelo F. Frias}, editor = {Paolo Tonella and Alessandro Orso}, title = {Analysis of invariants for efficient bounded verification}, booktitle = {Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010}, pages = {25--36}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1831708.1831712}, doi = {10.1145/1831708.1831712}, timestamp = {Tue, 06 Nov 2018 16:57:30 +0100}, biburl = {https://dblp.org/rec/conf/issta/GaleottiRPF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.