The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David C. Luckham" ( http://dblp.L3S.de/Authors/David_C._Luckham )

  Author page on DBLP  Author page in RDF  Community of David C. Luckham in ASPL-2

Publication years (Num. hits)
1964-1984 (15) 1985-1995 (17) 1996-2005 (6)
Publication types (Num. hits)
article(16) book(3) inproceedings(19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 9 keywords

Results
Found 39 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1David C. Luckham The power of events - an introduction to complex event processing in distributed enterprise systems. Search on Bibsonomy 2005   RDF
1James Vera, Louis Perrochon, David C. Luckham Event-Based Execution Architectures for Dynamic Software Systems. Search on Bibsonomy WICSA The full citation details ... 1999 DBLP  BibTeX  RDF
1Louis Perrochon, Walter Mann, Stephane Kasriel, David C. Luckham Event Mining with Event Processing Networks. Search on Bibsonomy PAKDD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1David C. Luckham Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures. Search on Bibsonomy WWCA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sigurd Meldal, David C. Luckham NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. Search on Bibsonomy Requirements Targeting Software and Systems Engineering The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1David C. Luckham Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann Correction to "Specification and Analysis of System Architecture Using Rapide". Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  BibTeX  RDF
1David C. Luckham, James Vera An Event-Based Architecture Definition Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF partially ordered event sets, formal constraints, event patterns, simulation, architecture, concurrency, prototyping, causality, Rapide, architecture definition languages
1David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann Specification and Analysis of System Architecture Using Rapide. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF partially ordered event sets, formal constraints, constraint-based specification, event patterns, simulation, architecture, concurrency, prototyping, causality, Rapide, architecture definition languages
1Dinesh Katiyar, David C. Luckham, John C. Mitchell Polymorphism and Subtyping in Interfaces. Search on Bibsonomy Workshop on Interface Definition Languages The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Dinesh Katiyar, David C. Luckham, John C. Mitchell A Type System for Prototyping Languages. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz Partial orderings of event sets and their application to prototyping concurrent, timed systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Benoit A. Gennart, David C. Luckham Validating Discrete Event Simulations Using Event Pattern Mappings. Search on Bibsonomy DAC The full citation details ... 1992 DBLP  BibTeX  RDF
1Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson Object-Oriented Megaprogramming (Panel). Search on Bibsonomy OOPSLA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1David C. Luckham, Sriram Sankar, Shuzo Takahashi Two-Dimensional Pinpointing: Debugging with Formal Specifications. Search on Bibsonomy IEEE Software The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Larry M. Augustin, David C. Luckham, Benoit A. Gennart, Youm Huh, Alec G. Stanculescu Hardware design and simulation in VAL/VHDL. Search on Bibsonomy 1991   RDF
1David S. Rosenblum, David C. Luckham Testing the Correctness of Tasking Supervisors with TSL Specifications. Search on Bibsonomy Symposium on Testing, Analysis, and Verification The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Ada
1Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu Verification of VHDL Designs Using VAL. Search on Bibsonomy DAC The full citation details ... 1988 DBLP  BibTeX  RDF
1David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe ANNA - A Language for Annotating Ada Programs, Reference Manual Search on Bibsonomy 1987   DOI  RDF
1David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler Task Sequencing Language for Specifying Distributed Ada Systems. Search on Bibsonomy PARLE (2) The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler Task Sequencing Languages for Specifying Distributed Ada Systems. Search on Bibsonomy System Development and Ada The full citation details ... 1986 DBLP  BibTeX  RDF
1David S. Rosenblum, Sriram Sankar, David C. Luckham Concurrent Runtime Checking of Annotated Ada Programs. Search on Bibsonomy FSTTCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1David C. Luckham, Friedrich W. von Henke An Overview of Anna, a Specification Language for Ada. Search on Bibsonomy IEEE Software The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson Adam: An Ada-based Language for Multiprocessing. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1David C. Luckham, Wolfgang Polak Ada Exception Handling: An Axiomatic Approach. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF Ada
1David C. Luckham, Norihisa Suzuki Verification of Array, Record, and Pointer Operations in Pascal. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1David C. Luckham A brief account: Implementation and applications of a Pascal program verifier (Position Statement). Search on Bibsonomy ACM Annual Conference (2) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Pascal
1David C. Luckham, Jorge J. Morales, Joachim F. Schreiber A Study in the Application of Theorem Proving. Search on Bibsonomy AISB/GI (ECAI) The full citation details ... 1978 DBLP  BibTeX  RDF
1David C. Luckham, Norihisa Suzuki Proof of Termination within a Weak Logic of Programs. Search on Bibsonomy Acta Inf. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1David C. Luckham Program Verification and Verification Oriented Programming. Search on Bibsonomy IFIP Congress The full citation details ... 1977 DBLP  BibTeX  RDF
1Richard Alan Karp, David C. Luckham Verification of Fairness in an Implementation of Monitors. Search on Bibsonomy ICSE The full citation details ... 1976 DBLP  BibTeX  RDF
1Shigeru Igarashi, Ralph L. London, David C. Luckham Automatic Program Verification I: A Logical Basis and its Implementation. Search on Bibsonomy Acta Inf. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
1Stephen J. Garland, David C. Luckham Program Schemes, Recursion Schemes, and Formal Languages. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
1Richard B. Kieburtz, David C. Luckham Compatibility and Complexity of Refinements of the Resolution Principle. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
1Stephen J. Garland, David C. Luckham On the Equivalence of Schemes Search on Bibsonomy STOC The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
1David C. Luckham, Nils J. Nilsson Extracting Information from Resolution Proof Trees. Search on Bibsonomy Artif. Intell. The full citation details ... 1971 DBLP  DOI  BibTeX  RDF
1David C. Luckham, David Michael Ritchie Park, Mike Paterson On Formalised Computer Programs. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1970 DBLP  DOI  BibTeX  RDF
1Herbert B. Enderton, David C. Luckham Hierarchies Over Recursive Well-Orderings. Search on Bibsonomy J. Symb. Log. The full citation details ... 1964 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license