John Erickson

According to our database, John Erickson authored at least 35 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Agile and DevOps in Digital Transformation - A Comparative Analysis.

Jon W. Beard, Keng Leng Siau, John Erickson

Proceedings of the 26th Pacific Asia Conference on Information Systems, 2022

2020

LoCUS: A multi-robot loss-tolerant algorithm for surveying volcanic plumes.

John Erickson, Abhinav Aggarwal, G. Matthew Fricke, Melanie E. Moses

CoRR, 2020

2016

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).

Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2015

PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.

Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin

IEEE Micro, 2015

Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols.

Murali Talupur, Sandip Ray, John Erickson

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Individual Entrepreneurial Orientation Role in Shaping Reactions to New Technologies.

John Erickson, Banu Goktan, Visha Gupta, Suman Niranjan

Proceedings of the 21st Americas Conference on Information Systems, 2015

2014

Efficient Tracing of Cold Code via Bias-Free Sampling.

Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

2013

Unified Modeling Language: The Teen Years and Growing Pains.

John Erickson, Keng Siau

Proceedings of the Human Interface and the Management of Information. Information and Interaction Design, 2013

Distributed Explicit State Model Checking of Deadlock Freedom.

Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Dynamic Analyses for Data-Race Detection.

John Erickson, Stephen N. Freund, Madanlal Musuvathi

Proceedings of the Runtime Verification, Third International Conference, 2012

2010

Effects of National Culture on Types of Knowledge Sharing in Virtual Communities.

Keng Siau, John Erickson, Fiona Fui-Hoon Nah

IEEE Trans. Prof. Commun., 2010

Effective Data-Race Detection for the Kernel.

John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Web Services, Service-Oriented Computing, and Service-Oriented Architecture.

John Erickson, Keng Siau

Proceedings of the Principle Advancements in Database Management Technologies: New Applications and Frameworks, 2010

2009

Industrial strength refinement checking.

Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Trust metrics.

John Erickson

Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems, 2009

Measuring Method Complexity: UML versus BPMN.

Jan Recker, Michael zur Muehlen, Keng Siau, John Erickson, Marta Indulska

Proceedings of the 15th Americas Conference on Information Systems, 2009

Service Oriented Architecture.

John Erickson, Keng Siau

Proceedings of the Innovations in Information Systems Modeling, 2009

2008

Web Services, Service-Oriented Computing, and Service-Oriented Architecture: Separating Hype from Reality.

John Erickson, Keng Siau

J. Database Manag., 2008

Critical Success Factors in SOA Implementation.

John Erickson, Keng Siau

Proceedings of the Learning from the past & charting the future of the discipline. 14th Americas Conference on Information Systems, 2008

2007

Theoretical and practical complexity of modeling methods.

John Erickson, Keng Siau

Commun. ACM, 2007

Can UML Be Simplified? Practitioner Use of UML in Separate Domains.

John Erickson, Keng Siau

Proceedings of the 12th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2007

Design Science Research on Systems Analysis and Design: The Case of UML.

Xin Tan, Keng Siau, John Erickson

Proceedings of the Reaching New Heights. 13th Americas Conference on Information Systems, 2007

2006

A requirements-based programming approach to developing a NASA autonomous ground control system.

James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson

Artif. Intell. Rev., 2006

2005

Theoretical vs. Practical Complexity: The Case of UML.

Keng Siau, John Erickson, Lihyunn Lee

J. Database Manag., 2005

Agile Modeling, Agile Software Development, and Extreme Programming: The State of Research.

John Erickson, Kalle Lyytinen, Keng Siau

J. Database Manag., 2005

Alternative means to implement ERP: Internal and ASP.

Silvana Trimi, Sang M. Lee, David L. Olson, John Erickson

Ind. Manag. Data Syst., 2005

Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System.

James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Toward Practical Measures of Complexity in Real Time Modeling Methods.

John Erickson, Keng Siau

Proceedings of the A Conference on a Human Scale. 11th Americas Conference on Information Systems, 2005

2004

Theoretical and Practical Complexity of Unified Modeling Language: Delphi Study and Metrics Analyses.

John Erickson, Keng Siau

Proceedings of the International Conference on Information Systems, 2004

The Complexity of UML: Differentiating Practical and Theoretical Complexity.

John Erickson, Keng Siau

Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

Theoretical and Practical Complexity of UML.

John Erickson, Keng Siau

Proceedings of the 10th Americas Conference on Information Systems, 2004

2003

<i>e</i>-ducation.

John Erickson, Keng Siau

Commun. ACM, 2003

Unified Modeling Language: Theoretical and Practical Complexity.

John Erickson, Keng Siau

Proceedings of the 9th Americas Conference on Information Systems, 2003

2002

Stability in a bidding/quotation system.

John Erickson, Yuhui Jiao, Yi Chen, Mohamed Fayad

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

2001

Deployment status and common technical specifications for a B-PON system.

Hiromi Ueda, Kenji Okada, Brian Ford, Glenn Mahony, Stephen Hornung, David Faulkner, Jacques Abiven, Sophie Durel, Ralph Ballart, John Erickson

IEEE Commun. Mag., 2001