R. E. Kurt Stirewalt
Affiliations:- RelationalAI, USA
- Michigan State University, East Lansing, USA
According to our database1,
R. E. Kurt Stirewalt
authored at least 60 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cse.msu.edu
On csauthors.net:
Bibliography
2023
The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers.
Proceedings of the Advanced Information Systems Engineering Workshops, 2023
2022
ORM ontologies with executable derivation rules to support semantic search in large-scale data applications.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
2020
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020
2014
Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014
2013
Proceedings of the 1st International Workshop on Live Programming, 2013
2011
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
Proceedings of the 5th International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2011), 2011
2010
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010
2009
Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions.
Inf. Vis., 2009
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009
Proceedings of the Principles, 2009
Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base.
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments.
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008
Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software.
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008
Proceedings of the Principles, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Using formal models to objectively judge quality of multi-threaded programs in empirical studies.
Proceedings of the International Workshop on Modeling in Software Engineering, 2008
2007
A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.
Int. J. Softw. Eng. Knowl. Eng., 2007
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions.
Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007
Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the International Workshop on Systems Development in SOA Environments, 2007
2006
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations.
Int. J. Softw. Eng. Knowl. Eng., 2005
Proceedings of the Model Driven Engineering Languages and Systems, 2005
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005
Proceedings of the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, 2005
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005
2004
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004
2003
Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components.
IEEE Trans. Software Eng., 2003
2002
Education: Interactive Distributed Applications and the Computer Science Curriculum.
IEEE Distributed Syst. Online, 2002
Proceedings of the First Workshop on Self-Healing Systems, 2002
Separating Introspection and Intercession to Support Metamorphic Distributed Systems.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002
2001
Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
2000
The universe model: an approach for improving the modularity and reliability of concurrent programs.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000
1999
Proceedings of the Sixth Working Conference on Reverse Engineering, 1999
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999
MDL: A Language for Binding User-Interface Models.
Proceedings of the Computer-Aided Design of User Interfaces II, 1999
1998
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998
1996
1995
Proceedings of the 2nd Working Conference on Reverse Engineering, 1995
Proceedings of the International Conference on Software Maintenance, 1995
1993
J. Parallel Distributed Comput., 1993
1991
Proceedings of the 5th international conference on Supercomputing, 1991
1990
Proceedings of the 4th international conference on Supercomputing, 1990