Perry Alexander

Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, 2020

2019

Orchestrating Layered Attestations.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

A copland attestation manager.

[BibT_eX]

[DOI]

Adam Petz

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

2017

100 Years of Software - Adapting Cyber-Physical Systems to the Changing World.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

2015

Model Checking Distributed Mandatory Access Control Policies.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2015

2013

Verifying a Privacy CA Remote Attestation Protocol.

[BibT_eX]

[DOI]

Brigid Halling

Proceedings of the NASA Formal Methods, 2013

Stateless Higher-Order Logic with Quantified Types.

[BibT_eX]

[DOI]

Evan Austin

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Open Access: An Evolving Alternative.

[BibT_eX]

[DOI]

Lorraine J. Haricombe

L. Ada Emmett

Computer, 2012

A pattern for almost homomorphic functions.

[BibT_eX]

[DOI]

Nicolas Frisby

Andy Gill

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

2011

Model Composition in Rosetta.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

Constructing language processors with algebra combinators.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Monad Factory: Type-Indexed Monads.

[BibT_eX]

[DOI]

Mark Snyder

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

2009

Rosetta: Standardization at the System Level.

[BibT_eX]

[DOI]

Computer, 2009

Writing Composable Software with InterpreterLib.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 8th International Conference, 2009

2008

Synthesizing Software Defined Radio Components from Rosetta (invited).

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

2007

Modular and generic programming with interpreterlib.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Rosetta: language support for system-level design.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2005

Integrating formalism into undergraduate software engineering.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

Prufrock: a framework for constructing polytypic theorem provers.

[BibT_eX]

[DOI]

Justin Ward

Garrin Kimmell

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Building Compilers by Combining Algebras.

[BibT_eX]

[DOI]

Garrin Kimmell

Ed Komp

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

2004

SPARTACAS Automating Component Reuse and Adaptation.

[BibT_eX]

[DOI]

Brandon Morel

IEEE Trans. Software Eng., 2004

DVTG and Test Harnessing using Rosetta Specifications.

[BibT_eX]

[DOI]

Kalpesh Zinjuwadia

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

2003

Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language.

[BibT_eX]

[DOI]

Catherine Menon

J. Univers. Comput. Sci., 2003

Guest Editorial: ASE 2000 Special Issue.

[BibT_eX]

[DOI]

Pierre Flener

Autom. Softw. Eng., 2003

Automating Component Adaptation for Reuse.

[BibT_eX]

[DOI]

Brandon Morel

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

A Slicing Approach for Parallel Component Adaptation.

[BibT_eX]

[DOI]

Brandon Morel

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

The Rosetta Meta-Model Framework.

[BibT_eX]

[DOI]

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

2002

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.

[BibT_eX]

[DOI]

Harold W. Carter

IEEE Trans. Software Eng., 2002

Multi-Faceted Requirements Modeling.

[BibT_eX]

[DOI]

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

VSPEC and Its Integrated Tool Suite.

[BibT_eX]

[DOI]

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

2001

Rosetta: Semantic Support for Model-Centered Systems-Level Design.

[BibT_eX]

[DOI]

Computer, 2001

Heterogeneous Modeling Support for Embedded Systems Design.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, First International Workshop, 2001

A Practical Semantics for Design Facet Interaction.

[BibT_eX]

[DOI]

David Schonberger

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

2000

Composing Specifications in VSPEC.

[BibT_eX]

[DOI]

Arun Venkataraman

Murali Rangarajan

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Formal modeling of active network nodes using PVS.

[BibT_eX]

[DOI]

Darryl D. Dieckman

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

On the Design of ORBIT.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

System Specification in Rosetta.

[BibT_eX]

[DOI]

Roshan Kamath

David Barton

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

Abstract Architecture Representation Using VSPEC.

[BibT_eX]

[DOI]

VLSI Design, 1999

Efficient Specification-Based Component Retrieval.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 1999

A Formal Framework for Specifying and Verifying Time Warp Optimizations.

[BibT_eX]

[DOI]

Victoria Chernyakhovsky

Harold W. Carter

Proceedings of the Parallel and Distributed Processing, 1999

An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol.

[BibT_eX]

[DOI]

Harold W. Carter

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

A Brief Summary of VSPEC.

[BibT_eX]

[DOI]

Murali Rangarajan

Proceedings of the FM'99 - Formal Methods, 1999

Using Automatable Proof Obligations for Component-Based Design Checking.

[BibT_eX]

[DOI]

Murali Rangarajan

Nael B. Abu-Ghazaleh

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

VSPEC Constraints Modeling and Evaluation.

[BibT_eX]

[DOI]

Amitvikram Rajkhowa

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1998

Formal verification and empirical analysis of rollback relaxation.

[BibT_eX]

[DOI]

Kothanda Umamageswaran

Krishnan Subramani

J. Syst. Archit., 1998

Task Analysis and Design Plans in Formal Specification Design.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1998

Large Scale Active Networks Simulation.

[BibT_eX]

[DOI]

Karthik Swaminathan

Proceedings of the Applied Parallel Computing, 1998

Using Formal Specifications for Component Retrieval and Reuse.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Experiences in verifying parallel simulation algorithms.

[BibT_eX]

[DOI]

Dale E. Martin

Ramanan Radhakrishnan

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997

Declarative Specification of Software Architectures.

[BibT_eX]

[DOI]

Klaus Havelund

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Representing abstract architectures with axiomatic specifications and activation conditions.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

Insertion of formalism into systems level design.

[BibT_eX]

[DOI]

Balakrishnan Kannikeswaran

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 30st Annual Simulation Symposium (SS '97), April 7-9, 1997, 1997

1996

Formal Specification and Verification of the pGVT Algorithm.

[BibT_eX]

[DOI]

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Classification and Retrieval of Reusable Components Using Semantic Features.

[BibT_eX]

[DOI]

Proceedings of the Proceedings KBSE'95, 1995

1994

Combining transformational and derivational analogy in Larch specification generation.

[BibT_eX]

Proceedings of the SEKE'94, 1994

1993

BENTON: A Multi-Agent System for Larch Specification Generation.

[BibT_eX]