Ian A. Mason

According to our database, Ian A. Mason authored at least 42 papers between 1985 and 2022.

Collaborative distances:

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

2022

Detection and diagnosis of deviations in distributed systems of autonomous agents.

Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott

Math. Struct. Comput. Sci., October, 2022

2020

Verification of an Optimized NTT Algorithm.

Jorge A. Navas, Bruno Dutertre, Ian A. Mason

Proceedings of the Software Verification - 12th International Conference, 2020

2019

Reasoning about effects: from lists to cyber-physical agents.

Ian A. Mason, Carolyn L. Talcott

Log. Methods Comput. Sci., 2019

2017

A Framework for Analyzing Adaptive Autonomous Aerial Vehicles.

Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito

Proceedings of the Software Engineering and Formal Methods, 2017

2016

Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery.

Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, Westley Weimer, Jonathan Burket, Gregory L. Frazier, Tiffany M. Frazier, Bruno Dutertre, Ian A. Mason, Natarajan Shankar, Stephanie Forrest

Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

2014

The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).

Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar

Proceedings of the Specification, Algebra, and Software, 2014

2008

Editorial.

Olivier Danvy, Ian A. Mason

High. Order Symb. Comput., 2008

2005

Actors and Logical Analysis of Interactive Systems.

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

ClusterGrind: Valgrinding LAM/MPI Applications.

Brett Carson, Ian A. Mason

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2005

2004

IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

2003

Formal Foundations of Operational Semantics.

Jonathan Ford, Ian A. Mason

High. Order Symb. Comput., 2003

2001

Operational Techniques in PVS - A Preliminary Evaluation.

Jonathan M. Ford, Ian A. Mason

Proceedings of the Computing: The Australasian Theory Symposium, 2001

2000

Simple Network Protocol Simulation within Maude.

Ian A. Mason, Carolyn L. Talcott

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

1999

Actor Languages Their Syntax, Semantics, Translation, and Equivalence.

Ian A. Mason, Carolyn L. Talcott

Theor. Comput. Sci., 1999

Computing with Contexts.

Ian A. Mason

High. Order Symb. Comput., 1999

1997

A First Order Logic of Effects.

Ian A. Mason

Theor. Comput. Sci., 1997

A Foundation for Actor Computation.

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

J. Funct. Program., 1997

A Semantically Sound Actor Tranlsation.

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996

From Operational Semantics to Domain Theory.

Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Inf. Comput., 1996

1995

A Variable Typed Logic of Effects

Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Inf. Comput., May, 1995

Special Issue on State in Programming Languages - Introduction.

Ian A. Mason, Martin Odersky

LISP Symb. Comput., 1995

Reasoning About Object Systems in VTLoE.

Ian A. Mason, Carolyn L. Talcott

Int. J. Found. Comput. Sci., 1995

Metamathematics of Contexts.

Sasa Buvac, Vanja Buvac, Ian A. Mason

Fundam. Informaticae, 1995

1994

The Semantics of Propositional Contexts.

Sasa Buvac, Vanja Buvac, Ian A. Mason

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

Extraction of events from 3D volumes of seismic data.

Peter H. Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox

Proceedings of the 12th IAPR International Conference on Pattern Recognition, 1994

Identification of Events from 3D Volumes of Seismic Data.

Peter Henry Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox

Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994

Program Transformation via Contextual Assertions.

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Logic, 1994

1993

Seismic Time Section Analysis Using Machine Vision.

Peter H. Tu, Andrew Zisserman, Ian A. Mason

Proceedings of the British Machine Vision Conference, 1993

Propositional Logic of Context.

Sasa Buvac, Ian A. Mason

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Inferring the Equivalence of Functional Programs That Mutate Data.

Ian A. Mason, Carolyn L. Talcott

Theor. Comput. Sci., 1992

Using Typed Lambda Calculus to Implement Formal Systems on a Machine.

Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack

J. Autom. Reason., 1992

References, Local Variables and Operational Reasoning

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

A Theory of Classes for a Functional Language with Effects.

Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Proceedings of the Computer Science Logic, 6th Workshop, 1992

Towards a Theory of Actor Computation.

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Proceedings of the CONCUR '92, 1992

1991

Equivalence in Functional Languages with Effects.

Ian A. Mason, Carolyn L. Talcott

J. Funct. Program., 1991

Program Transformations for Configuring Components.

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Reasoning About Programs with Effects.

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989

Axiomatizing Operational Equivalence in the Presence of Side Effects

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Programming, Transforming, and Providing with Function Abstractions and Memories.

Ian A. Mason, Carolyn L. Talcott

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

Verification of Programs That Destructively Manipulate Data.

Ian A. Mason

Sci. Comput. Program., 1988

1986

Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation

Ian A. Mason

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

The Metatheory of the Classical Propositional Calculus is not Axiomatizable.

Ian A. Mason

J. Symb. Log., 1985