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
https://portal.mardi4nfdi.de/entity/Q2848152	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2842857	2013-08-16	Paper
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors	2012-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q3007246	2011-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q2999896	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: Part 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
Up and Down The Temporal Way	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3812210	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Howard Barringer