Searching for authors named "Mikhail Auguston" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Run Time Monitoring of Reactive System Models
- …Run Time Monitoring of Reactive System Models Mikhail Auguston Naval Postgraduate School Monterey…
- Add To MetaCart
-
Building Program Behaviour Models
- … behavior becomes Building Program Behavior Models Mikhail Auguston Department of Computer Science New…
- Add To MetaCart
-
Decidability of Program Verification Can Be Achieved by Replacing the Equality Predicate by the "constructive" One
- … be achieved by replacing the equality predicate by the "constructive" one Mikhail Auguston Computer Science…
- Add To MetaCart
-
"Lightweight" Semantics Models for Program Testing and Debugging Automation
- … (Extended Abstract) Mikhail Auguston Computer Science Department, New Mexico State University, Las Cruces…
- Cited by 2 (2 self) – Add To MetaCart
-
Tools for Program Dynamic Analysis, Testing, and Debugging Based on Event Grammars
- … grammars Mikhail Auguston Computer Science Department, New Mexico State University, Las Cruces, NM 88003…
- Cited by 1 (0 self) – Add To MetaCart
-
A Program Behavior Model Based on Event Grammar and its Application for Debugging Automation
- … Application for Debugging Automation 1 Mikhail Auguston Department of Computer Science New Mexico State…
- Cited by 23 (6 self) – Add To MetaCart
-
Compiling Data Flow Diagrams into Functional Programs
- … Programs Mikhail Auguston, Ravindra Mathur Department of Computer Science, New Mexico State University Las…
- Add To MetaCart
-
Iterative Constructs in the Visual Data Flow Language
- … Data Flow Language Mikhail Auguston, Alfredo Delgado Department of Computer Science, New Mexico State…
- Cited by 9 (1 self) – Add To MetaCart
-
PARFORMAN - an Assertion Language for Specifying Behavior when Debugging Parallel Applications
- … Mikhail Auguston, New Mexico State University 1 , mikau@(email omitted); Peter Fritzson, Link��ping University…
- Cited by 9 (4 self) – Add To MetaCart
-
The V experimental visual programming language
- …1 The V experimental visual programming language Mikhail Auguston Alfredo Delgado Computer…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
