| Cadena: An integrated development, analysis, and verification environment for component-based systems J Hatcliff, X Deng, MB Dwyer, G Jung, VP Ranganath 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 265 | 2003 |
| Calm and cadena: Metamodeling for component-based product-line development A Childs, J Greenwald, G Jung, M Hoosier, J Hatcliff Computer 39 (2), 42-50, 2006 | 60 | 2006 |
| Model-checking middleware-based event-driven real-time embedded software X Deng, MB Dwyer, J Hatcliff, G Jung, G Singh Formal Methods for Components and Objects: First International Symposium …, 2003 | 60 | 2003 |
| A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures G Jung, J Hatcliff Proceedings of the 6th international conference on Generative programming …, 2007 | 22 | 2007 |
| Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems A Childs, J Greenwald, VP Ranganath, X Deng, MB Dwyer, J Hatcliff, ... FASE 2984, 160-164, 2004 | 21 | 2004 |
| SCA and jABC: bringing a service-oriented paradigm to web-service construction G Jung, T Margaria, R Nagel, W Schubert, B Steffen, H Voigt Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 20 | 2008 |
| An integrated model-driven development environment for composing and validating distributed real-time and embedded systems G Trombetti, A Gokhale, DC Schmidt, J Greenwald, J Hatcliff, G Jung, ... Model-Driven Software Development, 329-361, 2005 | 18 | 2005 |
| Formalizing a methodology for design-and runtime self-healing G Jung, T Margaria, C Wagner, M Bakera 2010 Seventh IEEE International Conference and Workshops on Engineering of …, 2010 | 12 | 2010 |
| A correlation framework for the CORBA component model G Jung, J Hatcliff, VP Ranganath Fundamental Approaches to Software Engineering: 7th International Conference …, 2004 | 6 | 2004 |
| The cellular approach–security of micro smart grids G Kleineidam, G Jung, M Krasser, B Koch SPARKS workshop, 2016 | 5 | 2016 |
| Integrated Approach for Smart Grid Data Acquisition, Transmission and Evaluation A Schmutzer, J Bogenrieder, G Jung, P Luchscheider, S Müller, ... 5th Solar Integration Workshop, 2015 | 3 | 2015 |
| A correlation framework for the CORBA component model G Jung, J Hatcliff International Journal on Software Tools for Technology Transfer 9 (5-6), 417-427, 2007 | 3 | 2007 |
| Slicing and partial evaluation of CORBA component model designs for avionics system J Hatcliff, W Deng, MB Dwyer, G Jung, V Ranganath, R Robby ACM SIGPLAN Notices 38 (10), 1-2, 2003 | 2 | 2003 |
| Variable Ranges Security Protocol for Wireless Sensor Networks F Bagci, A Khalifeh, G Jung, C Sturm Proceedings of the International Conference on Wireless Networks (ICWN), 1, 2011 | 1 | 2011 |
| Structured interrelations of component architectures G Jung Kansas State University, 2007 | 1 | 2007 |
| Cost Impact Simulation of Blackouts within the Electrical Grid G Kleineidam, G Jung, A Woeltche International ETG Congress 2017, 1-6, 2017 | | 2017 |
| Multi-agent proactive charging infrastructure for electric vehicles A Wöltche, G Jung 6. Conference on Future Automotive Technology, 2017 | | 2017 |
| Enriching Component Interfaces with Checkable Dependence Specifications (Technical Report# 2005-5) VP Ranganath, G Jung, J Hatcliff, MB Dwyer | | 2005 |
| for the CORBA Component Model G Jung, J Hatcliff, VP Ranganath Fundamental Approaches to Software Engineering, 144, 2004 | | 2004 |
| Supporting Model-driven Development of Component-based Embedded Systems with Cadena A Childs, X Deng, MB Dwyer, J Greenwald, J Hatcliff SAVCBS 2003 Specification and Verification of Component-Based Systems, 3, 2003 | | 2003 |
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu
