Ian A. Mason

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 6

Top Topics

Fault Tolerance

Fixpoint Semantics

Top Venues

Math. Struct. Comput. Sci.

Specification, Algebra, and Software

Publications

Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott
Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. 32 (9) (2022)
Jorge A. Navas, Bruno Dutertre, Ian A. Mason
Verification of an Optimized NTT Algorithm. VSTTE (2020)
Ian A. Mason, Carolyn L. Talcott
Reasoning about effects: from lists to cyber-physical agents. Log. Methods Comput. Sci. 15 (2) (2019)
Ian A. Mason, Carolyn L. Talcott
Reasoning about effects: from lists to cyber-physical agents. CoRR (2018)
Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos De Brito
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops (2017)
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
Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC (2016)
Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). Specification, Algebra, and Software (2014)
Olivier Danvy, Ian A. Mason
Editorial. High. Order Symb. Comput. 21 (4) (2008)
Brett Carson, Ian A. Mason
ClusterGrind: Valgrinding LAM/MPI Applications. PVM/MPI (2005)
Ian A. Mason, Carolyn L. Talcott
Actors and Logical Analysis of Interactive Systems. Electron. Notes Theor. Comput. Sci. 141 (5) (2005)
Olivier Danvy, Ian A. Mason
Editorial. High. Order Symb. Comput. 17 (4) (2004)
Ian A. Mason, Carolyn L. Talcott
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. WRLA (2004)
Jonathan Ford, Ian A. Mason
Formal Foundations of Operational Semantics. High. Order Symb. Comput. 16 (3) (2003)
Jonathan M. Ford, Ian A. Mason
Operational Techniques in PVS - A Preliminary Evaluation. Electron. Notes Theor. Comput. Sci. 42 (2001)
Ian A. Mason, Carolyn L. Talcott
Simple Network Protocol Simulation within Maude. WRLA (2000)
Ian A. Mason, Carolyn L. Talcott
Actor Languages Their Syntax, Semantics, Translation, and Equivalence. Theor. Comput. Sci. 220 (2) (1999)
Ian A. Mason
Computing with Contexts. High. Order Symb. Comput. 12 (2) (1999)
Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
A Foundation for Actor Computation. J. Funct. Program. 7 (1) (1997)
Ian A. Mason
A First Order Logic of Effects. Theor. Comput. Sci. 185 (2) (1997)
Ian A. Mason, Carolyn L. Talcott
A Semantically Sound Actor Tranlsation. ICALP (1997)
Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
From Operational Semantics to Domain Theory. Inf. Comput. 128 (1) (1996)
Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
A Variable Typed Logic of Effects Inf. Comput. 119 (1) (1995)
Ian A. Mason, Martin Odersky
Special Issue on State in Programming Languages - Introduction. LISP Symb. Comput. 8 (4) (1995)
Ian A. Mason, Carolyn L. Talcott
Reasoning About Object Systems in VTLoE. Int. J. Found. Comput. Sci. 6 (3) (1995)
Sasa Buvac, Vanja Buvac, Ian A. Mason
Metamathematics of Contexts. Fundam. Informaticae 23 (2/3/4) (1995)
Ian A. Mason, Carolyn L. Talcott
Program Transformation via Contextual Assertions. Logic, Language and Computation (1994)
Peter Henry Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox
Identification of Events from 3D Volumes of Seismic Data. ICIP (3) (1994)
Sasa Buvac, Vanja Buvac, Ian A. Mason
The Semantics of Propositional Contexts. ISMIS (1994)
Peter H. Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox
Extraction of events from 3D volumes of seismic data. ICPR (3) (1994)
Peter H. Tu, Andrew Zisserman, Ian A. Mason
Seismic Time Section Analysis Using Machine Vision. BMVC (1993)
Sasa Buvac, Ian A. Mason
Propositional Logic of Context. AAAI (1993)
Ian A. Mason, Carolyn L. Talcott
References, Local Variables and Operational Reasoning LICS (1992)
Ian A. Mason, Carolyn L. Talcott
Inferring the Equivalence of Functional Programs That Mutate Data. Theor. Comput. Sci. 105 (2) (1992)
Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
A Theory of Classes for a Functional Language with Effects. CSL (1992)
Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
Using Typed Lambda Calculus to Implement Formal Systems on a Machine. J. Autom. Reason. 9 (3) (1992)
Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
Towards a Theory of Actor Computation. CONCUR (1992)
Ian A. Mason, Carolyn L. Talcott
Equivalence in Functional Languages with Effects. J. Funct. Program. 1 (3) (1991)
Ian A. Mason, Carolyn L. Talcott
Program Transformations for Configuring Components. PEPM (1991)
Ian A. Mason, Carolyn L. Talcott
Reasoning About Programs with Effects. PLILP (1990)
Ian A. Mason, Carolyn L. Talcott
Axiomatizing Operational Equivalence in the Presence of Side Effects LICS (1989)
Ian A. Mason, Carolyn L. Talcott
Programming, Transforming, and Providing with Function Abstractions and Memories. ICALP (1989)
Ian A. Mason
Verification of Programs That Destructively Manipulate Data. Sci. Comput. Program. 10 (1) (1988)
Ian A. Mason
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation LICS (1986)
Ian A. Mason
The Metatheory of the Classical Propositional Calculus is not Axiomatizable. J. Symb. Log. 50 (2) (1985)