Publications

128 entries « 3 of 3 »

2010

Krka, Ivo; Brun, Yuriy; Popescu, Daniel; Garcia, Joshua; Medvidovic, Nenad

Using dynamic execution traces and program invariants to enhance behavioral model inference Proceedings Article

In: Proceedings of the New Ideas and Emerging Results Track at the 32nd International Conference on Software Engineering (ICSE), pp. 179–182, Cape Town, South Africa, 2010.

Abstract | Links | BibTeX

2009

Cheng, Betty H. C.; Lemos, Rogério; Giese, Holger; Inverardi, Paola; Magee, Jeff; Andersson, Jesper; Becker, Basil; Bencomo, Nelly; Brun, Yuriy; Cukic, Bojan; Serugendo, Giovanna Di Marzo; Dustdar, Schahram; Finkelstein, Anthony; Gacek, Cristina; Geihs, Kurt; Grassi, Vincenzo; Karsai, Gabor; Kienle, Holger M.; Kramer, Jeff; Litoiu, Marin; Malek, Sam; Mirandola, Raffaela; Müller, Hausi A.; Park, Sooyong; Shaw, Mary; Tichy, Matthias; Tivoli, Massimo; Weyns, Danny; Whittle, Jon

Software engineering for self-adaptive systems: A research roadmap Book Section

In: Cheng, Betty H. C.; Lemos, Rogério; Giese, Holger; Inverardi, Paola; Magee, Jeff (Ed.): Software Engineering for Self-Adaptive Systems, vol. 5525, pp. 1–26, Springer-Verlag, 2009, ISBN: 978-3-642-02160-2.

Abstract | Links | BibTeX

Krka, Ivo; Brun, Yuriy; Edwards, George; Medvidovic, Nenad

Synthesizing partial component-level behavior models from system specifications Proceedings Article

In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 305–314, Amsterdam, The Netherlands, 2009.

Abstract | Links | BibTeX

Brun, Yuriy; Medvidovic, Nenad

Crystal-growth-inspired algorithms for computational grids Proceedings Article

In: Proceedings of the Workshop on Bio-Inspired Algorithms for Distributed Systems (BADS), pp. 19–26, Barcelona, Spain, 2009, ISBN: 978-1-60558-584-0.

Abstract | Links | BibTeX

Krka, Ivo; Edwards, George; Brun, Yuriy; Medvidovic, Nenad

From system specifications to component behavioral models Proceedings Article

In: Proceedings of the New Ideas and Emerging Results Track at the 31st International Conference on Software Engineering (ICSE), pp. 315–318, Vancouver, Canada, 2009.

Abstract | Links | BibTeX

Brun, Yuriy; Reishus, Dustin

Path finding in the tile assembly model Journal Article

In: Theoretical Computer Science, vol. 410, no. 15, pp. 1461–1472, 2009, ISSN: 0304-3975.

Abstract | Links | BibTeX

Brun, Yuriy; Reishus, Dustin

Connecting the dots: Molecular machinery for distributed robotics Journal Article

In: Lecture Notes on Computer Science, vol. 5347/2009, pp. 102–111, 2009.

Abstract | Links | BibTeX

Brun, Yuriy; Serugendo, Giovanna Di Marzo; Gacek, Cristina; Giese, Holger; Kienle, Holger; Litoiu, Marin; Müller, Hausi; Pezzè, Mauro; Shaw, Mary

Engineering self-adaptive systems through feedback loops Book Section

In: Cheng, Betty H. C.; Lemos, Rogério; Giese, Holger; Inverardi, Paola; Magee, Jeff (Ed.): Software Engineering for Self-Adaptive Systems, vol. 5525, pp. 48–70, Springer-Verlag, 2009, ISBN: 978-3-642-02160-2.

Abstract | Links | BibTeX

2008

Brun, Yuriy

Reducing tileset size: 3-SAT and beyond Proceedings Article

In: Proceedings of the 14th International Meeting on DNA Computing (DNA), pp. 178, Prague, Czech Republic, 2008.

Abstract | Links | BibTeX

Brun, Yuriy

Self-assembly for discreet, fault-tolerant, and scalable computation on Internet-sized distributed networks PhD Thesis

University of Southern California, 2008, ISBN: 978-0-549-60920-9.

Abstract | Links | BibTeX

Brun, Yuriy

Solving NP-complete problems in the tile assembly model Journal Article

In: Theoretical Computer Science, vol. 395, no. 1, pp. 31–46, 2008, ISSN: 0304-3975.

Abstract | Links | BibTeX

Brun, Yuriy

Nondeterministic polynomial time factoring in the tile assembly model Journal Article

In: Theoretical Computer Science, vol. 395, no. 1, pp. 3–23, 2008, ISSN: 0304-3975.

Abstract | Links | BibTeX

Brun, Yuriy

Solving satisfiability in the tile assembly model with a constant-size tileset Journal Article

In: Journal of Algorithms, vol. 63, no. 4, pp. 151–166, 2008, ISSN: 0196-6774.

Abstract | Links | BibTeX

Brun, Yuriy

Building biologically-inspired self-adapting systems Proceedings Article

In: Cheng, Betty H. C.; Lemos, Rogério; Giese, Holger; Inverardi, Paola; Magee, Jeff (Ed.): Proceedings of the Schloss Dagstuhl seminar 08031: Software Engineering for Self-Adaptive Systems, Dagstuhl, Germany, 2008, ISSN: 1862-4405.

Abstract | Links | BibTeX

Brun, Yuriy

Constant-size tileset for solving an NP-complete problem in nondeterministic linear time Journal Article

In: Lecture Notes on Computer Science, vol. 4848/2008, pp. 26–35, 2008, ISSN: 0302-9743.

Abstract | Links | BibTeX

2007

Brun, Yuriy; Medvidovic, Nenad

Fault and adversary tolerance as an emergent property of distributed systems' software architectures Proceedings Article

In: Proceedings of the 2nd International Workshop on Engineering Fault Tolerant Systems (EFTS), pp. 38–43, Dubrovnik, Croatia, 2007.

Abstract | Links | BibTeX

Brun, Yuriy

Arithmetic computation in the tile assembly model: Addition and multiplication Journal Article

In: Theoretical Computer Science, vol. 378, no. 1, pp. 17–31, 2007, ISSN: 0304-3975.

Abstract | Links | BibTeX

Brun, Yuriy; Medvidovic, Nenad

An architectural style for solving computationally intensive problems on large networks Proceedings Article

In: Proceedings of Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Minneapolis, MN, USA, 2007, (SEAMS 2020 Most Influential Paper Award.).

Abstract | Links | BibTeX

Brun, Yuriy

A discreet, fault-tolerant, and scalable software architectural style for Internet-sized networks Proceedings Article

In: Proceedings of the Doctoral Symposium at the 29th International Conference on Software Engineering (ICSE), pp. 83–84, Minneapolis, MN, USA, 2007.

Abstract | Links | BibTeX

Brun, Yuriy

Adding and multiplying in the tile assembly model Proceedings Article

In: Proceedings of the 4th Foundations of Nanoscience: Self-Assembled Architectures and Devices (FNANO), Snowbird, UT, USA, 2007.

Abstract | Links | BibTeX

2006

Brun, Yuriy; Gopalkrishnan, Manoj

Toward in vivo disease diagnosis and treatment using DNA Proceedings Article

In: Proceedings of the 2006 International Conference on Bioinformatics & Computational Biology (BIOCOMP), pp. 182–186, Las Vegas, NV, USA, 2006, ISBN: 1-60132-002-7.

Abstract | Links | BibTeX

2005

Reishus, Dustin; Shaw, Bilal; Brun, Yuriy; Chelyapov, Nickolas; Adleman, Leonard

Self-assembly of DNA double-double crossover complexes into high-density, doubly connected, planar structures Journal Article

In: Journal of the American Chemical Society (JACS), vol. 127, no. 50, pp. 17590–17591, 2005.

Links | BibTeX

2004

Chelyapov, Nickolas; Brun, Yuriy; Gopalkrishnan, Manoj; Reishus, Dustin; Shaw, Bilal; Adleman, Leonard

DNA triangles and self-assembled hexagonal tilings Journal Article

In: Journal of the American Chemical Society (JACS), vol. 126, no. 43, pp. 13924–13925, 2004.

Links | BibTeX

Brun, Yuriy; Ernst, Michael D.

Finding latent code errors via machine learning over programs executions Proceedings Article

In: Proceedings of the 26th International Conference on Software Engineering (ICSE), pp. 480–490, Edinburgh, Scotland, 2004.

Abstract | Links | BibTeX

Brun, Yuriy; Gopalkrishnan, Manoj; Reishus, Dustin; Shaw, Bilal; Chelyapov, Nickolas; Adleman, Leonard

Building blocks for DNA self-assembly Proceedings Article

In: Proceedings of the 1st Foundations of Nanoscience: Self-Assembled Architectures and Devices (FNANO), pp. 2–15, Snowbird, UT, USA, 2004.

Abstract | Links | BibTeX

2003

Brun, Yuriy

Software fault identification via dynamic analysis and machine learning Masters Thesis

Massachusetts Institute of Technology, Cambridge, MA, USA, 2003.

Abstract | Links | BibTeX

2002

Brun, Yuriy

The four-color theorem Journal Article

In: Undergraduate Journal of Mathematics, pp. 21–28, 2002.

Abstract | Links | BibTeX

1997

Vekhter, Daniel; Rasin, Alex; Brun, Yuriy

Mutual exclusion algorithms in distributed networks Journal Article

In: Journal of Student Research, Science and Technology, vol. 2, no. 1, pp. 65–67, 1997.

Abstract | Links | BibTeX

128 entries « 3 of 3 »