| 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 | 262 | 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 | 58 | 2006 |
| Model-checking middleware-based event-driven real-time embedded software X Deng, MB Dwyer, J Hatcliff, G Jung, G Singh International Symposium on Formal Methods for Components and Objects, 154-181, 2002 | 57 | 2002 |
| A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures G Jung, J Hatcliff Science of Computer Programming 75 (7), 615-637, 2010 | 21 | 2010 |
| Cadena: An Integrated Development Environment for Analysis, Synthesis, andáVerification of Component-Based Systems A Childs, J Greenwald, VP Ranganath, X Deng, M Dwyer, J Hatcliff, ... International Conference on Fundamental Approaches to Software Engineering …, 2004 | 21 | 2004 |
| 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 |
| SCA and jABC: Bringing a service-oriented paradigm to web-service construction G Jung, T Margaria, R Nagel, W Schubert, B Steffen, H Voigt International Symposium On Leveraging Applications of Formal Methods …, 2008 | 17 | 2008 |
| 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 International Conference on Fundamental Approaches to Software Engineering …, 2004 | 6 | 2004 |
| The Cellular Approach-Security of Micro Smart Grids G Kleineidam, G Jung, M Krasser, B Koch SPARKS workshop, 2016 | 5 | 2016 |
| A correlation framework for the CORBA component model G Jung, J Hatcliff International Journal on Software Tools for Technology Transfer 9 (5), 417-427, 2007 | 3 | 2007 |
| 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 | 2 | 2015 |
| 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, VP Ranganath Fundamental Approaches to Software Engineering, 144, 2004 | | 2004 |
| and Verification of Component-Based Systems X Deng, M Dwyer, J Hatcliff, G Jung Fundamental Approaches to Software Engineering, 160, 2004 | | 2004 |
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu
