BibSonomy publications for /author/Sokolsky http://www.bibsonomy.org/author/Sokolsky BibSonomy RSS Feed for /author/Sokolsky Autonomous geocaching: navigation and goal finding in outdoor domains. dblp http://www.bibsonomy.org/bibtex/2f11fc4165ea76a5d793ae49250a59e35/dblp dblp 2008-08-18T00:00:00+02:00 dblp
Autonomous geocaching: navigation and goal finding in outdoor domains.
James Neufeld and Michael Sokolsky and Jason Roberts and Adam Milstein and Stephen Walsh and Michael Bowling AAMAS (1) 47-54 (2008)
to dblp by dblp on 2008-08-18 00:00:00
]]> Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. dblp http://www.bibsonomy.org/bibtex/23a75b8710771686dfb1306e3578e7db4/dblp dblp 2008-08-12T00:00:00+02:00 dblp
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.
Nikhil Dinesh and Aravind Joshi and Insup Lee and Oleg Sokolsky DEON 110-124 (2008)
to dblp by dblp on 2008-08-12 00:00:00
]]> Runtime Verification for Wireless Sensor Network Applications. dblp http://www.bibsonomy.org/bibtex/2e3a514f2612d1c8daa33dcce3dea14cb/dblp dblp 2008-05-19T00:00:00+02:00 dblp
Runtime Verification for Wireless Sensor Network Applications.
Oleg Sokolsky and Usa Sammapun and John Regehr and Insup Lee Runtime Verification (2007)
to dblp by dblp on 2008-05-19 00:00:00
]]> 07011 Abstracts Collection -- Runtime Verification. dblp http://www.bibsonomy.org/bibtex/2755fdae3c3d290d37303b8e83eedc7fc/dblp dblp 2008-05-19T00:00:00+02:00 dblp
07011 Abstracts Collection -- Runtime Verification.
Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky Runtime Verification (2007)
to dblp by dblp on 2008-05-19 00:00:00
]]> Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. dblp http://www.bibsonomy.org/bibtex/242d523f04b267dd2593e16ac87cd06e6/dblp dblp 2008-05-19T00:00:00+02:00 dblp
Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks.
Stavros Tripakis Runtime Verification (2007)
to dblp by dblp on 2008-05-19 00:00:00
]]> 07011 Executive Summary -- Runtime Verification. dblp http://www.bibsonomy.org/bibtex/2df2c014a52dfb053584460d2044b0c05/dblp dblp 2008-05-19T00:00:00+02:00 dblp
07011 Executive Summary -- Runtime Verification.
Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky Runtime Verification (2007)
to dblp by dblp on 2008-05-19 00:00:00
]]> Runtime Verification, 02.01. - 06.01.2007 dblp http://www.bibsonomy.org/bibtex/23cab31f3e937112a9563d68121d7948b/dblp dblp 2008-05-19T00:00:00+02:00 dblp
Runtime Verification, 02.01. - 06.01.2007
Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky (eds.). Runtime Verification (2008)
to dblp by dblp on 2008-05-19 00:00:00
]]> Specification-based Testing with Linear Temporal Logic Computer Science Bibliography Collection http://www.bibsonomy.org/bibtex/2489f963043db59b7bf4d78128112420e/ist_spl ist_spl 2008-05-15T09:47:38+02:00 LTL automated generation singlesystem specification-based test
Specification-based Testing with Linear Temporal Logic
Li Tan and Oleg Sokolsky and Insup Lee IRI 493--498 (2004)
to LTL automated generation singlesystem specification-based test by ist_spl and 1 other person on 2008-05-15 09:47:38
]]> 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. dblp http://www.bibsonomy.org/bibtex/2f5ecf48eb893879800a1d85c3755ff70/dblp dblp 2008-05-14T00:00:00+02:00 dblp
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Grégory Batt and Jeremy T. Bradley and Roland Ewald and François Fages and Holger Hermanns and Jane Hillston and Peter Kemper and Alke Martens and Pieter J. Mosterman and Flemming Nielson and Oleg Sokolsky and Adelinde M. Uhrmacher Simulation and Verification of Dynamic Systems (2006)
to dblp by dblp on 2008-05-14 00:00:00
]]> Compositional Schedulability Analysis of Hierarchical Real-Time Systems. dblp http://www.bibsonomy.org/bibtex/2da8907643dd8971a3601a32e3f1ace88/dblp dblp 2008-05-07T00:00:00+02:00 dblp
Compositional Schedulability Analysis of Hierarchical Real-Time Systems.
Arvind Easwaran and Insup Lee and Insik Shin and Oleg Sokolsky ISORC 274-281 (2007)
to dblp by dblp on 2008-05-07 00:00:00
]]>