Search results for "Yuriy Brun"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Nenad Medvidovic, Hossein Tajalli, Joshua Garcia, Ivo Krka, Yuriy Brun, George Edwards	Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach.	IEEE Computer	2011	DBLP DOI BibTeX RDF
1	Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, Thomas E. Anderson	Mining temporal invariants from partially ordered logs.	Operating Systems Review	2011	DBLP DOI BibTeX RDF
1	Chloe Kiddon, Yuriy Brun	That's What She Said: Double Entendre Identification.	ACL (Short Papers)	2011	DBLP BibTeX RDF
1	George Edwards, Yuriy Brun, Nenad Medvidovic	Isomorphism in model tools and editors.	ASE	2011	DBLP DOI BibTeX RDF
1	Yuriy Brun, George Edwards, Jae Young Bang, Nenad Medvidovic	Smart Redundancy for Distributed Computation.	ICDCS	2011	DBLP DOI BibTeX RDF
1	Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst	Leveraging existing instrumentation to automatically infer invariant-constrained models.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin	Crystal: precise and unobtrusive conflict warnings.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Ivan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst	Synoptic: studying logged behavior with inferred models.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin	Proactive detection of collaboration conflicts.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	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.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Yuriy Brun	Improving Efficiency of 3-SAT-Solving Tile Systems.	DNA	2010	DBLP DOI BibTeX RDF
1	Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic	Using dynamic execution traces and program invariants to enhance behavioral model inference.	ICSE	2010	DBLP DOI BibTeX RDF	likely invariants, dynamic analysis, specification mining
1	Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin	Speculative analysis: exploring future development states of software.	FoSER	2010	DBLP DOI BibTeX RDF
1	Yuriy Brun, Dustin Reishus	Path finding in the tile assembly model.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic	From system specifications to component behavioral models.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic	Synthesizing partial component-level behavior models from system specifications.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	behavior model synthesis, constraints, scenarios, partial specifications, modal transition systems
1	Yuriy Brun	Nondeterministic polynomial time factoring in the tile assembly model.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Yuriy Brun	Solving NP-complete problems in the tile assembly model.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Yuriy Brun	Solving satisfiability in the tile assembly model with a constant-size tileset.	J. Algorithms	2008	DBLP DOI BibTeX RDF
1	Yuriy Brun, Dustin Reishus	Connecting the Dots: Molecular Machinery for Distributed Robotics.	DNA	2008	DBLP DOI BibTeX RDF
1	Yuriy Brun	Building Biologically-Inspired Self-Adapting Systems.	Software Engineering for Self-Adaptive Systems	2008	DBLP BibTeX RDF
1	Yuriy Brun	Arithmetic computation in the tile assembly model: Addition and multiplication.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Yuriy Brun	Constant-Size Tileset for Solving an NP-Complete Problem in Nondeterministic Linear Time.	DNA	2007	DBLP DOI BibTeX RDF
1	Yuriy Brun	A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Yuriy Brun, Nenad Medvidovic	An Architectural Style for Solving Computationally Intensive Problems on Large Networks.	SEAMS	2007	DBLP DOI BibTeX RDF
1	Yuriy Brun, Nenad Medvidovic	Fault and adversary tolerance as an emergent property of distributed systems' software architectures.	EFTS	2007	DBLP DOI BibTeX RDF
1	Yuriy Brun, Manoj Gopalkrishnan	Toward In Vivo Disease Diagnosis and Treatment Using DNA.	BIOCOMP	2006	DBLP BibTeX RDF
1	Yuriy Brun, Michael D. Ernst	Finding Latent Code Errors via Machine Learning over Program Executions.	ICSE	2004	DBLP DOI BibTeX RDF

Publications of "Yuriy Brun" ( http://dblp.L3S.de/Authors/Yuriy_Brun )