A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras von Li, Liyi, Gunter, Elsa

Volltext

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings von Gunter, Elsa L, Felty, Amy

Volltext

A reference model for requirements and specifications von Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.

Volltext

Toward a multi-method approach to formalizing human-automation interaction and human-human communications von Bass, E. J., Bolton, M. L., Feigh, K., Griffith, D., Gunter, E., Mansky, W., Rushby, J.

Volltext

Specifying and Executing Optimizations for Parallel Programs von Mansky, William, Griffith, Dennis, Gunter, Elsa L.

Volltext

Compositional message sequence charts von Gunter, Elsa L., Muscholl, Anca, Peled, Doron

Volltext

Types for Security in a Mobile World von Compagnoni, Adriana B., Gunter, Elsa L.

Volltext

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System von Gunter, Elsa L., Lee, Insup, Lee, Jaime, Nam, Wonhong, Pearce, Frederick, Van Albert, Steve, Zhou, Jiaxiang, Alur, Rajeev, Arney, David

Volltext

Per-Location Simulation von Li, Liyi, Gunter, Elsa L.

Volltext

Specifying and executing optimizations for generalized control flow graphs von Mansky, William, Gunter, Elsa L., Griffith, Dennis, Adams, Michael D.

Volltext

Recursion principles for syntax with bindings and substitution von Popescu, Andrei, Gunter, Elsa L.

Volltext

A Framework for Formal Verification of Compiler Optimizations von Mansky, William, Gunter, Elsa

Volltext

Safety of a Smart Classes-Used Regression Test Selection Algorithm von Mansky, Susannah, Gunter, Elsa L.

Volltext

Symbolic Analysis Tools for CSP von Li, Liyi, Gunter, Elsa, Mansky, William

Volltext

Role-based access control for boxed ambients von Compagnoni, Adriana, Gunter, Elsa L., Bidinger, Philippe

Volltext

Type classes and overloading in higher-order logic von Wenzel, Markus

Volltext

Unit checking: Symbolic model checking for a unit of code von GUNTER, Elsa, PELED, Doron

Volltext

A full formalisation of π-calculus theory in the calculus of constructions von Hirschkoff, Daniel

Volltext

Role-based access control for boxed ambients: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca von COMPAGNONI, Adriana, GUNTER, Elsa L, BIDINGER, Philippe

Volltext

Compositional Message Sequence Charts von Gunter, Elsa L., Muscholl, Anca, Peled, Doron A.

Volltext