sign in · help · news · about ·

BibSonomy :: author :: Barringer ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(57)

<< < 1 | 2 | 3 > >>

FormatGuard: Automatic Protection From printf Format String Vulnerabilities.
Crispin Cowan, Matt Barringer, Steve Beattie, Greg Kroah-Hartman, Michael Frantzen, and Jamie Lokier USENIX Security Symposium, USENIX, (2001)
to dblp by dblp on Jan 19, 2012, 12:00 AM
URL | BibTeX
Now You May Compose Temporal Logic Specifications
Howard Barringer, Ruurd Kuiper, and Amir Pnueli STOC, page 51-63. ACM, (1984)
to dblp by dblp on Oct 17, 2011, 12:00 AM
URL | BibTeX
Combining test case generation and runtime verification
C. Artho, H. Barringer, A. Goldberg, K. Havelund, S. Khurshid, M. Lowry, C. Pasareanu, G. Rosu, K. Sen, W. Visser, and others Theoretical Computer Science 336(2-3):209--234 (2005)
to testing by mhwombat on Oct 14, 2011, 4:51 PM
BibTeX
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.
Marius C. Bujorianu, Manuela L. Bujorianu, and Howard Barringer CLIMA, volume 5405 of Lecture Notes in Computer Science, page 97-116. Springer, (2008)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
High-quality spatio-temporal rendering using semi-analytical visibility.
Carl Johan Gribel, Rasmus Barringer, and Tomas Akenine-Möller ACM Trans. Graph. 30(4):54 (2011)
to dblp by dblp on Aug 9, 2011, 12:00 AM
URL | BibTeX
Rule-Based Runtime Verification.
Howard Barringer, Allen Goldberg, Klaus Havelund, and Koushik Sen VMCAI, volume 2937 of Lecture Notes in Computer Science, page 44-57. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.
Howard Barringer, Dov M. Gabbay, and John Woods Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 59-98. Springer, (2005)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Editorial.
Howard Barringer J. Log. Comput. 1(5):573-574 (1991)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Up and Down The Temporal Wey.
Howard Barringer Comput. J. 30(2):134-148 (1987)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
A Process Algebra Foundation for Reasoning about Core ELLA.
Howard Barringer, Graham Gough, Brian Monahan, and Alan Williams Comput. J. 39(4):303-324 (1996)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design.
Howard Barringer, Donal Fellows, Graham Gough, and Alan Williams Comput. J. 45(1):2-11 (2002)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
A Proof System for Ada Tasks.
Howard Barringer, and I. Mearns Comput. J. 29(5):404-415 (1986)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
TraceContract: A Scala DSL for Trace Analysis.
Howard Barringer, and Klaus Havelund FM, volume 6664 of Lecture Notes in Computer Science, page 57-72. Springer, (2011)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
A foundation for formal reuse of hardware.
Ana Cristina Vieira de Melo, and Howard Barringer CHARME, volume 987 of Lecture Notes in Computer Science, page 124-145. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Formal support for the ELLA hardwar description language.
Howard Barringer, Graham Gough, Brian Monahan, and Alan Williams CHARME, volume 987 of Lecture Notes in Computer Science, page 225-245. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Effective State Exploration for Model Checking on a Shared Memory Architecture.
Cornelia P. Inggs, and Howard Barringer Electr. Notes Theor. Comput. Sci. 68(4):605-620 (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Towards the Hierarchical, Temporal Logic, Specification.
Howard Barringer, and Ruurd Kuiper The Analysis of Concurrent Systems, volume 207 of Lecture Notes in Computer Science, page 157-183. Springer, (1983)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Practical CTL* Model Checking: Should SPIN be Extended?
Willem Visser, and Howard Barringer STTT 2(4):350-365 (2000)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
METATEM: An Introduction.
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, and Richard Owens Formal Asp. Comput. 7(5):533-549 (1995)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
A Logic Covering Undefinedness in Program Proofs.
Howard Barringer, J. H. Cheng, and Cliff B. Jones Acta Inf. (1984)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper