Validation of Dynamic Behavior in UML Using Colored Petri Nets RG Pettit IV, H Gomaa PROC. OF UML´2000 WORKSHOP - DYNAMIC BEHAVIOUR IN UML MODELS: SEMANTIC …, 2000 | 67* | 2000 |
Modeling behavioral design patterns of concurrent objects RG Pettit IV, H Gomaa Proceedings of the 28th international conference on Software engineering …, 2006 | 43 | 2006 |
Towards composable timing for real-time programs P Puschner, R Kirner, RG Pettit 2009 Software Technologies for Future Dependable Distributed Systems, 1-5, 2009 | 35 | 2009 |
Modeling behavioral patterns of concurrent software architectures using Petri nets RG Pettit, H Gomaa Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture …, 2004 | 25 | 2004 |
Analyzing behavior of concurrent software designs for embedded systems RG Pettit IV, H Gomaa 10th IEEE International Symposium on Object and Component-Oriented Real-Time …, 2007 | 24 | 2007 |
Architectural design patterns for flight software JS Fant, H Gomaa, RG Pettit 2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011 | 19 | 2011 |
A pattern-based modeling approach for software product line engineering JS Fant, H Gomaa, RG Pettit 2013 46th Hawaii International Conference on System Sciences, 4985-4994, 2013 | 18 | 2013 |
Modeling state-dependent objects using colored Petri nets RG Pettit, H Gomaa CPN 01 Workshop on Modeling of Objects, Components, and Agents, 2001 | 18 | 2001 |
Ada 95 Quality and Style C Ausnit-Hood, KA Johnson, RG Pettit IV, SB Opdahl Springer Berlin Heidelberg, 1997 | 17 | 1997 |
On the needs and challenges of model-based engineering for spaceflight software systems RG Pettit, N Mezcciani, J Fant 2014 IEEE 17th international symposium on object/component/service-oriented …, 2014 | 15 | 2014 |
Lessons learned applying UML in embedded software systems designs RG Pettit Second IEEE Workshop on Software Technologies for Future Embedded and …, 2004 | 13 | 2004 |
Highlighting the challenges of model-based engineering for spaceflight software systems RG Pettit, N Mezcciani 2013 5th International Workshop on Modeling in Software Engineering (MiSE …, 2013 | 10 | 2013 |
A comparison of executable model based approaches for embedded systems JS Fant, H Gomaa, RG Pettit 2012 Second International Workshop on Software Engineering for Embedded …, 2012 | 10 | 2012 |
Improving the reliability of concurrent object-oriented software designs Pettit, Gomaa 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time …, 2003 | 10 | 2003 |
Analyzing dynamic behavior of concurrent object-oriented software designs RG Pettit IV George Mason University, 2003 | 9 | 2003 |
Integrating Petri nets with design methods for concurrent and real-time systems RG Pettit, H Gomaa Proceedings of ICECCS'96: 2nd IEEE International Conference on Engineering …, 1996 | 9 | 1996 |
Modeling behavioral patterns of concurrent objects using Petri nets RG Pettit, H Gomaa Ninth IEEE International Symposium on Object and Component-Oriented Real …, 2006 | 8 | 2006 |
Software product line engineering of space flight software JS Fant, H Gomaa, RG Pettit 2012 Third International Workshop on Product LinE Approaches in Software …, 2012 | 7 | 2012 |
Lessons learned applying UML in the design of mission critical software RG Pettit IV, JA Street International Conference on the Unified Modeling Language, 129-137, 2004 | 7 | 2004 |
Software engineering for smart cyber-physical systems (SEsCPS 2018)-workshop report T Bures, D Weyns, B Schmerl, J Fitzgerald, A Aniculaesei, C Berger, ... ACM SIGSOFT Software Engineering Notes 44 (4), 11-13, 2021 | 5 | 2021 |