Ian A. Mason

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