|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 22 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing |
Verification and Validation for Trustworthy Software Systems.  |
IEEE Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Validating quality attribute requirements via execution-based model checking. |
International Symposium on Rapid System Prototyping |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Removing the Boundaries: Steps Toward a Cloud Nirvana. |
GrC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Using UML Statecharts with Knowledge Logic Guards. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior |
| 1 | Doron Drusinsky, James Bret Michael, Man-tak Shing |
A framework for computer-aided validation. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Runtime verification, Validation and verification |
| 1 | Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
Formal Specifications, Validation, Patterns, Statecharts, Assertions |
| 1 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Creating and Validating Embedded Assertion Statecharts. |
IEEE Distributed Systems Online |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing |
A design pattern for using non-developmental items in real-time Java. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
non-developmental items, real-time system, design pattern, garbage collection, Java programming language |
| 1 | Doron Drusinsky |
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Doron Drusinsky |
Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking. |
|
2006 |
RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Creation and Validation of Embedded Assertion Statecharts. |
IEEE International Workshop on Rapid System Prototyping |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky |
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Man-tak Shing, Doron Drusinsky |
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems. |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington |
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
mars flight software, model checking, testing, static analysis, runtime analysis |
| 1 | Doron Drusinsky, Man-tak Shing |
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky |
Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Monitoring Temporal Logic Specifications Combined with Time Series Constraints. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Doron Drusinsky, Man-tak Shing |
Verification of Timing Properties in Rapid System Prototyping. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, Garth Watney |
Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky |
Monitoring Temporal Rules Combined with Time Series. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser |
Experiments with Test Case Generation and Runtime Analysis. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky |
The Temporal Rover and the ATG Rover. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, David Harel |
On the Power of Bounded Concurrency I: Finite Automata. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata |
| 1 | Doron Drusinsky, David Harel |
Using statecharts for hardware description and synthesis. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, David Harel |
On the Power of Cooperative Concurrency. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")