default search action
Yuriy Brun
Person information
- affiliation: University of Massachusetts, Amherst, MA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j31]Aimen Gaba, Zhanna Kaufman, Jason Cheung, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield:
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. IEEE Trans. Vis. Comput. Graph. 30(1): 327-337 (2024) - [c83]Hadeel Eladawy, Claire Le Goues, Yuriy Brun:
Automated Program Repair, What Is It Good For? Not Absolutely Nothing! ICSE 2024: 84:1-84:13 - [i21]Lijun Zhang, Xiao Liu, Antoni Viros Martin, Cindy Xiong Bearfield, Yuriy Brun, Hui Guan:
Robust Image Watermarking using Stable Diffusion. CoRR abs/2401.04247 (2024) - [i20]Kunjal Panchal, Nisarg Parikh, Sunav Choudhary, Lijun Zhang, Yuriy Brun, Hui Guan:
Thinking Forward: Memory-Efficient Federated Finetuning of Language Models. CoRR abs/2405.15551 (2024) - [i19]Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Dylan Zhang, Talia Ringer, Yuriy Brun:
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. CoRR abs/2408.09237 (2024) - [i18]Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, Emily First:
Cobblestone: Iterative Automation for Formal Verification. CoRR abs/2410.19940 (2024) - 2023
- [j30]Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer:
Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45(2): 12:1-12:30 (2023) - [j29]Yuriy Brun, Tian Lin, Jessie Elise Somerville, Elisha Myers, Natalie C. Ebner:
Blindspots in Python and Java APIs Result in Vulnerable Code. ACM Trans. Softw. Eng. Methodol. 32(3): 76:1-76:31 (2023) - [c82]Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun:
PRoofster: Automated Formal Verification. ICSE Companion 2023: 26-30 - [c81]Saghar Talebipour, Hyojae Park, Kesina Baral, Leon Yee, Safwat Ali Khan, Kevin Moran, Yuriy Brun, Nenad Medvidovic, Yixue Zhao:
Avgust: A Tool for Generating Usage-Based Tests from Videos of App Executions. ICSE Companion 2023: 83-87 - [c80]Austin Hoag, James E. Kostas, Bruno Castro da Silva, Philip S. Thomas, Yuriy Brun:
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning. ICSE Companion 2023: 107-111 - [c79]Manish Motwani, Yuriy Brun:
Understanding Why and Predicting When Developers Adhere to Code-Quality Standards. ICSE-SEIP 2023: 432-444 - [c78]Manish Motwani, Yuriy Brun:
Better Automatic Program Repair by Using Bug Reports and Tests Together. ICSE 2023: 1225-1237 - [c77]Shin Hwei Tan, Dongsun Kim, Sergey Mechtaev, Yuriy Brun:
International Workshop on Automated Program Repair APR 2023: Message from the APR 2023 Chairs. APR@ICSE 2023: vii - [c76]Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun:
Baldur: Whole-Proof Generation and Repair with Large Language Models. ESEC/SIGSOFT FSE 2023: 1229-1241 - [i17]Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun:
Baldur: Whole-Proof Generation and Repair with Large Language Models. CoRR abs/2303.04910 (2023) - [i16]Aimen Gaba, Zhanna Kaufman, Jason Chueng, Marie Shvakel, Kyle Wm. Hall, Yuriy Brun, Cindy Xiong Bearfield:
My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning. CoRR abs/2308.03299 (2023) - 2022
- [j28]Manish Motwani, Mauricio Soto, Yuriy Brun, René Just, Claire Le Goues:
Quality of Automated Program Repair on Real-World Defects. IEEE Trans. Software Eng. 48(2): 637-661 (2022) - [c75]Stephen Giguere, Blossom Metevier, Bruno Castro da Silva, Yuriy Brun, Philip S. Thomas, Scott Niekum:
Fairness Guarantees under Demographic Shift. ICLR 2022 - [c74]Emily First, Yuriy Brun:
Diversity-Driven Automated Formal Verification. ICSE 2022: 1-13 - [c73]Brittany Johnson, Yuriy Brun:
Fairkit-learn: A Fairness Evaluation and Comparison Toolkit. ICSE-Companion 2022: 70-74 - [c72]Yuriy Brun:
The promise and perils of using machine learning when engineering software (keynote paper). MaLTeSQuE@ESEC/SIGSOFT FSE 2022: 1-4 - [c71]Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee, Safwat Ali Khan, Yuriy Brun, Nenad Medvidovic, Kevin Moran:
Avgust: automating usage-based test generation from videos of app executions. ESEC/SIGSOFT FSE 2022: 421-433 - [i15]Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer:
Passport: Improving Automated Formal Verification Using Identifiers. CoRR abs/2204.10370 (2022) - [i14]Aline Weber, Blossom Metevier, Yuriy Brun, Philip S. Thomas, Bruno Castro da Silva:
Enforcing Delayed-Impact Fairness Guarantees. CoRR abs/2208.11744 (2022) - [i13]Yixue Zhao, Saghar Talebipour, Kesina Baral, Hyojae Park, Leon Yee, Safwat Ali Khan, Yuriy Brun, Nenad Medvidovic, Kevin Moran:
Avgust: Automating Usage-Based Test Generation from Videos of App Executions. CoRR abs/2209.02577 (2022) - 2021
- [j27]Afsoon Afzal, Manish Motwani, Kathryn T. Stolee, Yuriy Brun, Claire Le Goues:
SOSRepair: Expressive Semantic Search for Real-World Program Repair. IEEE Trans. Software Eng. 47(10): 2162-2181 (2021) - [i12]Yuriy Brun, Tian Lin, Jessie Elise Somerville, Elisha Myers, Natalie C. Ebner:
Blindspots in Python and Java APIs Result in Vulnerable Code. CoRR abs/2103.06091 (2021) - 2020
- [j26]Emily First, Yuriy Brun, Arjun Guha:
TacTok: semantics-aware proof synthesis. Proc. ACM Program. Lang. 4(OOPSLA): 231:1-231:31 (2020) - [j25]Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst:
Visualizing Distributed System Executions. ACM Trans. Softw. Eng. Methodol. 29(2): 9:1-9:38 (2020) - [c70]Donald Pinckney, Arjun Guha, Yuriy Brun:
Wasm/k: delimited continuations for WebAssembly. DLS 2020: 16-28 - [c69]Brittany Johnson, Yuriy Brun, Alexandra Meliou:
Causal testing: understanding defects' root causes. ICSE 2020: 87-99 - [c68]Arman Shahbazian, Suhrid Karthik, Yuriy Brun, Nenad Medvidovic:
eQual: informing early design decisions. ESEC/SIGSOFT FSE 2020: 1039-1051 - [i11]Donald Pinckney, Arjun Guha, Yuriy Brun:
Wasm/k: Delimited Continuations for WebAssembly. CoRR abs/2010.01723 (2020) - [i10]Manish Motwani, Yuriy Brun:
Automatically Repairing Programs Using Both Tests and Bug Reports. CoRR abs/2011.08340 (2020) - [i9]Brittany Johnson, Jesse Bartola, Rico Angell, Katherine A. Keith, Sam Witty, Stephen J. Giguere, Yuriy Brun:
Fairkit, Fairkit, on the Wall, Who's the Fairest of Them All? Supporting Data Scientists in Training Fair Models. CoRR abs/2012.09951 (2020)
2010 – 2019
- 2019
- [j24]Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha:
Formal foundations of serverless computing. Proc. ACM Program. Lang. 3(OOPSLA): 149:1-149:26 (2019) - [c67]Manish Motwani, Yuriy Brun:
Automatically generating precise Oracles from structured natural language specifications. ICSE 2019: 188-199 - [c66]Blossom Metevier, Stephen Giguere, Sarah Brockman, Ari Kobren, Yuriy Brun, Emma Brunskill, Philip S. Thomas:
Offline Contextual Bandits with High Probability Fairness Guarantees. NeurIPS 2019: 14893-14904 - [i8]Abhinav Jangda, Donald Pinckney, Samuel Baxter, Breanna Devore-McDonald, Joseph Spitzer, Yuriy Brun, Arjun Guha:
Formal Foundations of Serverless Computing. CoRR abs/1902.05870 (2019) - 2018
- [j23]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of anonymization in double-blind review. Commun. ACM 61(6): 30-33 (2018) - [j22]Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun:
Do automated program repair techniques repair hard and important bugs? Empir. Softw. Eng. 23(5): 2901-2947 (2018) - [j21]Jae Young Bang, Yuriy Brun, Nenad Medvidovic:
Collaborative-Design Conflicts: Costs and Solutions. IEEE Softw. 35(6): 25-31 (2018) - [j20]Seung Yeob Shin, Yuriy Brun, Hari Balasubramanian, Philip L. Henneman, Leon J. Osterweil:
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling. IEEE Trans. Syst. Man Cybern. Syst. 48(9): 1578-1593 (2018) - [c65]Arman Shahbazian, Youn Kyu Lee, Duc Minh Le, Yuriy Brun, Nenad Medvidovic:
Recovering Architectural Design Decisions. ICSA 2018: 95-104 - [c64]Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun:
Do automated program repair techniques repair hard and important bugs? ICSE 2018: 25 - [c63]Arman Shahbazian, Youn Kyu Lee, Yuriy Brun, Nenad Medvidovic:
Making well-informed software design decisions. ICSE (Companion Volume) 2018: 262-263 - [c62]Yuriy Brun, Alexandra Meliou:
Software fairness. ESEC/SIGSOFT FSE 2018: 754-759 - [c61]Rico Angell, Brittany Johnson, Yuriy Brun, Alexandra Meliou:
Themis: automatically testing software for discrimination. ESEC/SIGSOFT FSE 2018: 871-875 - [c60]Daniela Seabra Oliveira, Tian Lin, Muhammad Sajidur Rahman, Rad Akefirad, Donovan M. Ellis, Eliany Perez, Rahul Bobhate, Lois DeLong, Justin Cappos, Yuriy Brun:
API Blindspots: Why Experienced Developers Write Vulnerable Code. SOUPS @ USENIX Security Symposium 2018: 315-328 - [e2]Yuriy Brun, Brittany Johnson, Alexandra Meliou:
Proceedings of the International Workshop on Software Fairness, FairWare@ICSE 2018, Gothenburg, Sweden, May 29, 2018. ACM 2018, ISBN 978-1-4503-5746-3 [contents] - [i7]Brittany Johnson, Yuriy Brun, Alexandra Meliou:
Causal Testing: Finding Defects' Root Causes. CoRR abs/1809.06991 (2018) - 2017
- [j19]Claire Le Goues, Yuriy Brun, Stephanie Forrest, Westley Weimer:
Clarifications on the Construction and Use of the ManyBugs Benchmark. IEEE Trans. Software Eng. 43(11): 1089-1090 (2017) - [c59]Jae Young Bang, Yuriy Brun, Nenad Medvidovic:
Continuous Analysis of Collaborative Design. ICSA 2017: 97-106 - [c58]Qianqian Wang, Yuriy Brun, Alessandro Orso:
Behavioral Execution Comparison: Are Tests Representative of Field Behavior? ICST 2017: 321-332 - [c57]Aaron Weiss, Arjun Guha, Yuriy Brun:
Tortoise: interactive system configuration repair. ASE 2017: 625-636 - [c56]Sainyam Galhotra, Yuriy Brun, Alexandra Meliou:
Fairness testing: testing software for discrimination. ESEC/SIGSOFT FSE 2017: 498-510 - [i6]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of Anonymization in Double-Blind Review. CoRR abs/1709.01609 (2017) - [i5]Sainyam Galhotra, Yuriy Brun, Alexandra Meliou:
Fairness Testing: Testing Software for Discrimination. CoRR abs/1709.03221 (2017) - [i4]Aaron Weiss, Arjun Guha, Yuriy Brun:
Tortoise: Interactive System Configuration Repair. CoRR abs/1709.05366 (2017) - 2016
- [j18]Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst:
Debugging distributed systems. Commun. ACM 59(8): 32-37 (2016) - [j17]Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D. Ernst:
Debugging Distributed Systems. ACM Queue 14(2): 50 (2016) - [c55]Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil:
Specification and analysis of human-intensive system resource-utilization policies. SEHS@ICSE 2016: 8-14 - [c54]Tony Ohmann, Ryan Stanley, Ivan Beschastnikh, Yuriy Brun:
Visually reasoning about system and resource behavior. ICSE (Companion Volume) 2016: 601-604 - 2015
- [j16]Jie Chen, Xiwei Xu, Leon J. Osterweil, Liming Zhu, Yuriy Brun, Len Bass, Junchao Xiao, Mingshu Li, Qing Wang:
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes. J. Syst. Softw. 110: 205-221 (2015) - [j15]Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy:
Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. IEEE Trans. Software Eng. 41(4): 408-428 (2015) - [j14]Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin:
Reducing Feedback Delay of Software Development Tools via Continuous Analysis. IEEE Trans. Software Eng. 41(8): 745-763 (2015) - [j13]Yuriy Brun, Jae Young Bang, George Edwards, Nenad Medvidovic:
Self-Adapting Reliability in Distributed Software Systems. IEEE Trans. Software Eng. 41(8): 764-780 (2015) - [j12]Claire Le Goues, Neal J. Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer:
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Trans. Software Eng. 41(12): 1236-1256 (2015) - [c53]Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman:
Resource Specification for Prototyping Human-Intensive Systems. FASE 2015: 332-346 - [c52]Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos:
Detecting latent cross-platform API violations. ISSRE 2015: 484-495 - [c51]Robert J. Walls, Yuriy Brun, Marc Liberatore, Brian Neil Levine:
Discovering specification violations in networked software systems. ISSRE 2015: 496-506 - [c50]Kivanç Muslu, Yuriy Brun, Alexandra Meliou:
Preventing data errors with continuous testing. ISSTA 2015: 373-384 - [c49]Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun:
Repairing Programs with Semantic Code Search (T). ASE 2015: 295-306 - [c48]Kivanç Muslu, Luke Swart, Yuriy Brun, Michael D. Ernst:
Development History Granularity Transformations (N). ASE 2015: 697-702 - [c47]Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun:
Is the cure worse than the disease? overfitting in automated program repair. ESEC/SIGSOFT FSE 2015: 532-543 - 2014
- [c46]Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy:
Inferring models of concurrent systems from logs of their behavior with CSight. ICSE 2014: 468-479 - [c45]Tony Ohmann, Kevin Thai, Ivan Beschastnikh, Yuriy Brun:
Mining precise performance-aware behavioral models from existing instrumentation. ICSE Companion 2014: 484-487 - [c44]Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst:
Shedding light on distributed system executions. ICSE Companion 2014: 598-599 - [c43]Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun:
Behavioral resource-aware model inference. ASE 2014: 19-30 - [c42]Ivo Krka, Yuriy Brun, Nenad Medvidovic:
Automatic mining of specifications from invocation traces and method invariants. SIGSOFT FSE 2014: 178-189 - [c41]Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro:
The plastic surgery hypothesis. SIGSOFT FSE 2014: 306-317 - 2013
- [j11]Yuriy Brun, Nenad Medvidovic:
Entrusting Private Computation and Data to Untrusted Networks. IEEE Trans. Dependable Secur. Comput. 10(4): 225-238 (2013) - [j10]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Early Detection of Collaboration Conflicts and Risks. IEEE Trans. Software Eng. 39(10): 1358-1375 (2013) - [c40]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c39]Bradley R. Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecília M. F. Rubira, Yuriy Brun, Alessandra Gorla, Franco Zambonelli, Luciano Baresi:
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 64-89 - [c38]Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil:
Resource scheduling through resource-aware simulation of emergency departments. SEHC@ICSE 2013: 64-70 - [c37]Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy:
Unifying FSM-inference algorithms through declarative specification. ICSE 2013: 252-261 - [c36]Roykrong Sukkerd, Ivan Beschastnikh, Jochen Wuttke, Sai Zhang, Yuriy Brun:
Understanding regression failures through test-passing and test-failing code changes. ICSE 2013: 1177-1180 - [c35]Xiang Zhao, Yuriy Brun, Leon J. Osterweil:
Supporting process undo and redo in software engineering decision making. ICSSP 2013: 56-60 - [c34]Kivanç Muslu, Yuriy Brun, Michael D. Ernst, David Notkin:
Making offline analyses continuous. ESEC/SIGSOFT FSE 2013: 323-333 - [c33]Kivanç Muslu, Yuriy Brun, Alexandra Meliou:
Data debugging with continuous testing. ESEC/SIGSOFT FSE 2013: 631-634 - [c32]Xiang Zhao, Emery R. Boose, Yuriy Brun, Barbara Staudt Lerner, Leon J. Osterweil:
Supporting Undo and Redo in Scientific Data Analysis. TaPP 2013 - [e1]Margaret M. Burnett, Holger Giese, Tien Nguyen, Yuriy Brun:
Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, CESI 2013, San Francisco, California, USA, May 20, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6286-3 [contents] - 2012
- [j9]Yuriy Brun:
Efficient 3-SAT algorithms in the tile assembly model. Nat. Comput. 11(2): 209-229 (2012) - [c31]Yuriy Brun, Nenad Medvidovic:
Keeping Data Private while Computing in the Cloud. IEEE CLOUD 2012: 285-294 - [c30]Jochen Wuttke, Yuriy Brun, Alessandra Gorla, Jonathan Ramaswamy:
Traffic routing for evaluating self-adaptation. SEAMS 2012: 27-32 - [c29]Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Improving IDE recommendations by considering global implications of existing recommendations. ICSE 2012: 1349-1352 - [c28]Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Speculative analysis of integrated development environment recommendations. OOPSLA 2012: 669-682 - [c27]George Edwards, Yuriy Brun, Nenad Medvidovic:
Automated Analysis and Code Generation for Domain-Specific Models. WICSA/ECSA 2012: 161-170 - [i3]Jochen Wuttke, Ivan Beschastnikh, Yuriy Brun:
Effects of Centralized and Distributed Version Control on Commit Granularity. Tiny Trans. Comput. Sci. 1 (2012) - 2011
- [j8]Nenad Medvidovic, Hossein Tajalli, Joshua Garcia, Ivo Krka, Yuriy Brun, George Edwards:
Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach. Computer 44(5): 62-71 (2011) - [j7]Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson:
Mining temporal invariants from partially ordered logs. ACM SIGOPS Oper. Syst. Rev. 45(3): 39-46 (2011) - [c26]Chloé Kiddon, Yuriy Brun:
That's What She Said: Double Entendre Identification. ACL (2) 2011: 89-94 - [c25]Yuriy Brun, George Edwards, Jae Young Bang, Nenad Medvidovic:
Smart Redundancy for Distributed Computation. ICDCS 2011: 665-676 - [c24]George Edwards, Yuriy Brun, Nenad Medvidovic:
Isomorphism in model tools and editors. ASE 2011: 460-463 - [c23]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Proactive detection of collaboration conflicts. SIGSOFT FSE 2011: 168-178 - [c22]Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst:
Leveraging existing instrumentation to automatically infer invariant-constrained models. SIGSOFT FSE 2011: 267-277 - [c21]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Crystal: precise and unobtrusive conflict warnings. SIGSOFT FSE 2011: 444-447 - [c20]Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst:
Synoptic: studying logged behavior with inferred models. SIGSOFT FSE 2011: 448-451 - 2010
- [j6]Sam Malek, George Edwards, Yuriy Brun, Hossein Tajalli, Joshua Garcia, Ivo Krka, Nenad Medvidovic, Marija Mikic-Rakic, Gaurav S. Sukhatme:
An architecture-driven software mobility framework. J. Syst. Softw. 83(6): 972-989 (2010) - [c19]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c18]Yuriy Brun, Ronald J. Desmarais, Kurt Geihs, Marin Litoiu, Antónia Lopes, Mary Shaw, Michael Smit:
A Design Space for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2010: 33-50 - [c17]Yuriy Brun:
Improving Efficiency of 3-SAT-Solving Tile Systems. DNA 2010: 1-12 - [c16]Yuriy Brun:
Improving impact of self-adaptation and self-management research through evaluation methodology. SEAMS 2010: 1-9 - [c15]Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic:
Using dynamic execution traces and program invariants to enhance behavioral model inference. ICSE (2) 2010: 179-182 - [c14]Sigurd Schneider, Ivan Beschastnikh, Slava Chernyak, Michael D. Ernst, Yuriy Brun:
Synoptic: Summarizing System Logs with Refinement. SLAML 2010 - [c13]Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin:
Speculative analysis: exploring future development states of software. FoSER 2010: 59-64 - [i2]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010
2000 – 2009
- 2009
- [j5]Yuriy Brun, Dustin Reishus:
Path finding in the tile assembly model. Theor. Comput. Sci. 410(15): 1461-1472 (2009) - [c12]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle:
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26 - [c11]Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw:
Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems 2009: 48-70 - [c10]Yuriy Brun, Nenad Medvidovic:
Crystal-growth-inspired algorithms for computational grids. BADS@ICAC 2009: 19-26 - [c9]Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic:
From system specifications to component behavioral models. ICSE Companion 2009: 315-318 - [c8]Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic:
Synthesizing partial component-level behavior models from system specifications. ESEC/SIGSOFT FSE 2009: 305-314 - 2008
- [j4]Yuriy Brun:
Solving satisfiability in the tile assembly model with a constant-size tileset. J. Algorithms 63(4): 151-166 (2008) - [j3]Yuriy Brun:
Nondeterministic polynomial time factoring in the tile assembly model. Theor. Comput. Sci. 395(1): 3-23 (2008) - [j2]Yuriy Brun:
Solving NP-complete problems in the tile assembly model. Theor. Comput. Sci. 395(1): 31-46 (2008) - [c7]Yuriy Brun, Dustin Reishus:
Connecting the Dots: Molecular Machinery for Distributed Robotics. DNA 2008: 102-111 - [i1]Yuriy Brun:
Building Biologically-Inspired Self-Adapting Systems. Software Engineering for Self-Adaptive Systems 2008 - 2007
- [j1]Yuriy Brun:
Arithmetic computation in the tile assembly model: Addition and multiplication. Theor. Comput. Sci. 378(1): 17-31 (2007) - [c6]Yuriy Brun:
Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time. DNA 2007: 26-35 - [c5]Yuriy Brun, Nenad Medvidovic:
An Architectural Style for Solving Computationally Intensive Problems on Large Networks. SEAMS 2007: 2 - [c4]Yuriy Brun:
A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks. ICSE Companion 2007: 83-84 - [c3]Yuriy Brun, Nenad Medvidovic:
Fault and adversary tolerance as an emergent property of distributed systems' software architectures. EFTS 2007: 7 - 2006
- [c2]Yuriy Brun, Manoj Gopalkrishnan:
Toward In Vivo Disease Diagnosis and Treatment Using DNA. BIOCOMP 2006: 182-186 - 2004
- [c1]Yuriy Brun, Michael D. Ernst:
Finding Latent Code Errors via Machine Learning over Program Executions. ICSE 2004: 480-490
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-30 00:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint