The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karl Lermer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Karl Lermer
    A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:152-171 [Conf]
  2. Karl Lermer, Colin J. Fidge
    A Formal Model of Real-Time Program Compilation. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:192-210 [Conf]
  3. Karl Lermer, Colin J. Fidge
    A Methodology for Compilation of High-Integrity Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1274-1281 [Conf]
  4. Peter Baumann, Karl Lermer
    A Framework for the Specification of Reactive and Concurrent Systems in Z. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:62-79 [Conf]
  5. Karl Lermer, Paul A. Strooper
    A Single Complete Refinement Rule for Demonic Specifications. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:564-579 [Conf]
  6. Karl Lermer, Colin J. Fidge, Ian J. Hayes
    Formal Semantics for Program Paths. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
  7. Karl Lermer, Colin J. Fidge
    Procedure compilation in the refinement calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:2, pp:152-180 [Journal]
  8. Karl Lermer, Colin J. Fidge, Ian J. Hayes
    Linear Approximation of Execution-Time Constraints. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:319-348 [Journal]
  9. Ian J. Hayes, Colin J. Fidge, Karl Lermer
    Semantic characterisation of dead control-flow paths. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2001, v:148, n:6, pp:175-186 [Journal]
  10. Karl Lermer, Colin J. Fidge
    A formal model of real-time program compilation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:151-190 [Journal]
  11. Karl Lermer, Colin J. Fidge, Ian J. Hayes
    A theory for execution-time derivation in real-time programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:3-27 [Journal]
  12. Karl Lermer, Paul A. Strooper
    Refinement and state machine abstraction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:195-235 [Journal]

Search in 0.003secs, Finished in 0.004secs
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