Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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 = {Mon, 04 Dec 2023 11:02:39 +0100},
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}
}
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-02-01 23:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
