Howard Barringer

From MaRDI portal
Person:934705

Available identifiers

zbMath Open barringer.howardMaRDI QIDQ934705

List of research outcomes





PublicationDate of PublicationType
Reactivity and Grammars: An Exploration2015-02-10Paper
CTL\(^*\) model checking on a shared-memory architecture2013-09-25Paper
Effective state exploration for model checking on a shared memory architecture2013-08-16Paper
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors2012-11-08Paper
https://portal.mardi4nfdi.de/entity/Q30072462011-06-21Paper
https://portal.mardi4nfdi.de/entity/Q29998962011-05-18Paper
Modal and Temporal Argumentation Networks2010-09-07Paper
Rule Systems for Run-time Monitoring: from EAGLE to RULER2010-06-17Paper
Modelling evolvable component systems: Part I: A logical framework2009-12-18Paper
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems2009-08-20Paper
A Grammatical Representation of Visibly Pushdown Languages2009-03-10Paper
Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning2008-07-30Paper
CTL model checking on a shared-memory architecture2006-10-24Paper
Mechanizing Mathematical Reasoning2006-01-10Paper
Practical CTL* model checking: Should SPIN be extended?2000-01-01Paper
https://portal.mardi4nfdi.de/entity/Q43564461997-10-01Paper
https://portal.mardi4nfdi.de/entity/Q40281511993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40103501992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q38122101987-01-01Paper
Up and Down The Temporal Way1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47333811987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37255281986-01-01Paper
A Proof System for Ada Tasks1986-01-01Paper
A survey of verification techniques for parallel programs1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36802521985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39531391982-01-01Paper

Research outcomes over time

This page was built for person: Howard Barringer