Howard Barringer

Available identifiers

zbMath Open barringer.howardMaRDI QIDQ934705

List of research outcomes

Publication	Date of Publication	Type
Reactivity and grammars: an exploration	2015-02-10	Paper
CTL\(^*\) model checking on a shared-memory architecture	2013-09-25	Paper
Effective state exploration for model checking on a shared memory architecture	2013-08-16	Paper
Quantified event automata: towards expressive and efficient runtime monitors	2012-11-08	Paper
Modelling evolvable systems: a temporal logic view	2011-06-21	Paper
Network modalities: an exploration paper	2011-05-18	Paper
Modal and temporal argumentation networks	2010-09-07	Paper
Rule systems for run-time monitoring: from EAGLE to RULER	2010-06-17	Paper
Modelling evolvable component systems. I: A logical framework	2009-12-18	Paper
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems	2009-08-20	Paper
A Grammatical Representation of Visibly Pushdown Languages	2009-03-10	Paper
Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning	2008-07-30	Paper
CTL model checking on a shared-memory architecture	2006-10-24	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Practical CTL* model checking: Should SPIN be extended?	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4356446	1997-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4028151	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4010350	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3812210	1987-01-01	Paper
Up and Down The Temporal Way	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733381	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3725528	1986-01-01	Paper
A Proof System for Ada Tasks	1986-01-01	Paper
A survey of verification techniques for parallel programs	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680252	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3953139	1982-01-01	Paper

Research outcomes over time

This page was built for person: Howard Barringer