The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mikhail Auguston: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mikhail Auguston
    Assertion checker for the C programming language based on computations over event traces. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  2. Mikhail Auguston
    Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:277-291 [Conf]
  3. Mikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad
    AUI - the Debugger and Assertion Checker for the Awk Programming Language. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:309-310 [Conf]
  4. Mikhail Auguston, Miu Har Hon
    Assertions for Dynamic Shape Analysis of List Data Structures. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:37-42 [Conf]
  5. Mikhail Auguston
    RIGAL - a Programming Language for Compiler Writing. [Citation Graph (0, 0)][DBLP]
    Baltic Computer Science, 1991, pp:529-564 [Conf]
  6. Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:202-209 [Conf]
  7. Nanditha N. Siram, Rajeev R. Raje, Andrew M. Olson, Barrett R. Bryant, Carol C. Burt, Mikhail Auguston
    An Architecture for the UniFrame Resource Discovery Service. [Citation Graph (0, 0)][DBLP]
    SEM, 2002, pp:20-35 [Conf]
  8. Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    Quality of Service Issues Related to Transforming Platform Independent Models to Platform Specific Models. [Citation Graph (0, 0)][DBLP]
    EDOC, 2002, pp:212-0 [Conf]
  9. Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control. [Citation Graph (0, 0)][DBLP]
    EDOC, 2003, pp:159-173 [Conf]
  10. Wei Zhao, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components. [Citation Graph (0, 0)][DBLP]
    EDOC, 2004, pp:275-285 [Conf]
  11. Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt
    Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:103-107 [Conf]
  12. Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    A Meta-Modeling Approach to Web Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2004, pp:796-799 [Conf]
  13. Mikhail Auguston, Clinton Jeffery, Scott Underwood
    A Framework for Automatic Debugging. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:217-222 [Conf]
  14. Mikhail Auguston
    Writing and Verifying Sequential Files Updating Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:102-111 [Conf]
  15. Clinton Jeffery, Mikhail Auguston, Scott Underwood
    Towards Fully Automatic Execution Monitoring. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:204-218 [Conf]
  16. Mikhail Auguston, James Bret Michael, Man-tak Shing
    Test Automation and Safety Assessment in Rapid Systems Prototyping. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2005, pp:188-194 [Conf]
  17. Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin
    DCAPS - Architecture for Distributed Computer Aided Prototyping System. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:103-109 [Conf]
  18. Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    Marshaling and unmarshaling models using the entity-relationship model. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1553-1557 [Conf]
  19. Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    Two-level assurance of QoS requirements for distributed real-time and embedded systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:903-904 [Conf]
  20. James Bret Michael, Georgios Fragkos, Mikhail Auguston
    An Experiment in Software Decoy Design. [Citation Graph (0, 0)][DBLP]
    SEC, 2003, pp:253-264 [Conf]
  21. Barrett R. Bryant, Carol C. Burt, Mikhail Auguston, Rajeev R. Raje, Andrew M. Olson
    Formal specification of generative component assembly using two-level grammar. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:209-212 [Conf]
  22. Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Raje, Mikhail Auguston, Carol C. Burt, Andrew M. Olson
    Grammatically Interpreting Feature Compositions. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:185-191 [Conf]
  23. Mikhail Auguston
    Programming language RIGAL as a compiler writing tool. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:500- [Conf]
  24. Mikhail Auguston
    A language for debugging automation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:108-115 [Conf]
  25. Shih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:731-734 [Conf]
  26. Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Mihran Tuceryan, Andrew M. Olson, Mikhail Auguston
    QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:724-729 [Conf]
  27. Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhisheng Huang, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    Automating Feature-Oriented Domain Analysis. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:944-949 [Conf]
  28. Mikhail Auguston, Alfredo Delgado
    Iterative Constructs in the Visual Data Flow Language. [Citation Graph (0, 0)][DBLP]
    VL, 1997, pp:154-161 [Conf]
  29. Rajeev R. Raje, Barrett R. Bryant, Andrew M. Olson, Mikhail Auguston, Carol C. Burt
    A quality-of-service-based framework for creating distributed heterogeneous software components. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2002, v:14, n:12, pp:1009-1034 [Journal]
  30. Mikhail Auguston, Clinton Jeffery, Scott Underwood
    A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  31. Fei Cao, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston
    A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:114, n:, pp:119-136 [Journal]
  32. Mikhail Auguston, James Bret Michael, Man-tak Shing
    Environment behavior models for automation of testing and assessment of system safety. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:10, pp:971-980 [Journal]
  33. Peter Fritzson, Mikhail Auguston, Nahid Shahmehri
    Using assertions in declarative and operational models for automated debugging. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1994, v:25, n:3, pp:223-239 [Journal]
  34. Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston, Wei Zhao, Carol C. Burt
    A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:10, pp:1645-1675 [Journal]
  35. Mikhail Auguston
    Programming language RIGAL as a compiler writing tool. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1990, v:25, n:12, pp:61-69 [Journal]

  36. Synthesis of Monitors for Real-Time Analysis of Reactive Systems. [Citation Graph (, )][DBLP]


  37. Monterey Phoenix, or how to make software architecture executable. [Citation Graph (, )][DBLP]


  38. A security domain model to assess software for exploitable covert channels. [Citation Graph (, )][DBLP]


  39. Environment behavior models for scenario generation and testing automation. [Citation Graph (, )][DBLP]


  40. A design pattern for using non-developmental items in real-time Java. [Citation Graph (, )][DBLP]


  41. Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002