Ian Stark

According to our database1, Ian Stark authored at least 40 papers between 1993 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic.
CoRR, 2020

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Modelling Patterns of Gene Regulation in the bond-calculus.
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

Property-Directed Verified Monitoring of Signal Temporal Logic.
Proceedings of the Runtime Verification - 20th International Conference, 2020

2019
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang., 2019

2018
Foreword.
Theor. Comput. Sci., 2018

The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics.
CoRR, 2018

Triangulating context lemmas.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017
A More Sensitive Context.
CoRR, 2017

2016
Randomised testing of a microprocessor model using SMT-solver state generation.
Sci. Comput. Program., 2016

Extracting behaviour from an executable instruction set model.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic.
Proceedings of the Computational Methods in Systems Biology, 2015

2014
A logic of behaviour in context.
Inf. Comput., 2014

2013
Stochastic Modelling of the Kai-based Circadian Clock.
Electron. Notes Theor. Comput. Sci., 2013


2011
Certified Complexity.
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

2008
Free-algebra models for the pi -calculus.
Theor. Comput. Sci., 2008

Monitoring External Resources in Java MIDP.
Electron. Notes Theor. Comput. Sci., 2008

The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007
Safety Guarantees from Explicit Resource Management.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
MOBIUS: Mobility, Ubiquity, Security.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005
Reducibility and TT-Lifting for Computation Types.
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Mobile Resource Guarantees (project evaluation paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Automatic verification of design patterns in Java.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Free-Algebra Models for the <i>pi</i>-Calculus.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004
Nominal Games and Full Abstraction for the Nu-Calculus.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

A Dependent Type Theory with Names and Binding.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

Mobile Resource Guarantees for Smart Devices.
Proceedings of the Construction and Analysis of Safe, 2004

2003
Grail: a functional form for imperative mobile code.
Electron. Notes Theor. Comput. Sci., 2003

2001
Encoding Distributed Areas and Local Communication into the pi-Calculus.
Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

Automatic Verification of Java Design Patterns.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
A Distributed Pi-Calculus with Local Areas of Communication.
Electron. Notes Theor. Comput. Sci., 2000

1998
Names, Equations, Relations: Practical Ways to Reason About New.
Fundam. Informaticae, 1998

1997
Names, Equations, Relations: Practical Ways to Reason about <i>new</i>.
Proceedings of the Typed Lambda Calculi and Applications, 1997

Presheaf Models for the pi-Calculus.
Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996
Categorical Models for Local Names.
LISP Symb. Comput., 1996

A Fully Abstract Domain Model for the pi-Calculus.
Proceedings of the Proceedings, 1996

1994
Names and higher-order functions.
PhD thesis, 1994

1993
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993


  Loading...