David C. Luckham

53 papers A* 5A 1B 1Journal 19Unranked 23

Year	Rank	Type	Title / Venue / Authors
2008	—	`conf`	The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. RuleML David C. Luckham
2005	—	`book`	The power of events - an introduction to complex event processing in distributed enterprise systems. David C. Luckham
2000	J	`jnl`	Complex event processing (CEP). ACM SIGSOFT Softw. Eng. Notes David C. Luckham
1999	B	`conf`	Event Mining with Event Processing Networks. PAKDD Louis Perrochon, Walter Mann, Stephane Kasriel, David C. Luckham
1999	—	`conf`	Event-Based Execution Architectures for Dynamic Software Systems. WICSA James Vera, Louis Perrochon, David C. Luckham
1998	—	`conf`	Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures. WWCA David C. Luckham
1997	—	`conf`	NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification. Requirements Targeting Software and Systems Engineering Sigurd Meldal, David C. Luckham
1996	—	`conf`	Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. Partial Order Methods in Verification David C. Luckham
1995	J	`jnl`	An Event-Based Architecture Definition Language. IEEE Trans. Software Eng. David C. Luckham, James Vera
1995	J	`jnl`	Correction to "Specification and Analysis of System Architecture Using Rapide". IEEE Trans. Software Eng. David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
1995	J	`jnl`	Specification and Analysis of System Architecture Using Rapide. IEEE Trans. Software Eng. David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
1994	A*	`conf`	A Type System for Prototyping Languages. POPL Dinesh Katiyar, David C. Luckham, John C. Mitchell
1994	—	`conf`	Polymorphism and Subtyping in Interfaces. Workshop on Interface Definition Languages Dinesh Katiyar, David C. Luckham, John C. Mitchell
1993	J	`jnl`	Partial orderings of event sets and their application to prototyping concurrent, timed systems. J. Syst. Softw. David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz
1992	A	`conf`	Object-Oriented Megaprogramming (Panel). OOPSLA Peter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson
1992	A*	`conf`	Validating Discrete Event Simulations Using Event Pattern Mappings. DAC Benoit A. Gennart, David C. Luckham
1991	—	`book`	Hardware design and simulation in VAL/VHDL. Larry M. Augustin, David C. Luckham, Benoit A. Gennart, Youm Huh, Alec G. Stanculescu
1991	—	`conf`	The use of anna specification technology in ada software development. TRI-Ada Tutorial Sriram Sankar, David C. Luckham, Walter Mann
1991	J	`jnl`	Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Softw. David C. Luckham, Sriram Sankar, Shuzo Takahashi
1990	—	`conf`	A new approach to prototyping Ada-based hardware/software systems. TRI-Ada Frank C. Belz, David C. Luckham
1990	—	`book`	Programming with Specifications - An Introduction to ANNA, A Language for Specifying Ada Programs David C. Luckham
1989	—	`conf`	Testing the Correctness of Tasking Supervisors with TSL Specifications. Symposium on Testing, Analysis, and Verification David S. Rosenblum, David C. Luckham
1988	A*	`conf`	Verification of VHDL Designs Using VAL. DAC Larry M. Augustin, Benoit A. Gennart, Youm Huh, David C. Luckham, Alec G. Stanculescu
1987	—	`book`	ANNA - A Language for Annotating Ada Programs, Reference Manual David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe
1987	—	`conf`	Task Sequencing Language for Specifying Distributed Ada Systems. PARLE (2) David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler
1986	—	`conf`	Concurrent Runtime Checking of Annotated Ada Programs. FSTTCS David S. Rosenblum, Sriram Sankar, David C. Luckham
1986	—	`conf`	Task Sequencing Languages for Specifying Distributed Ada Systems. System Development and Ada David C. Luckham, David P. Helmbold, Sigurd Meldal, D. L. Bryan, M. A. Haberler
1985	J	`jnl`	An Overview of Anna, a Specification Language for Ada. IEEE Softw. David C. Luckham, Friedrich W. von Henke
1985	J	`jnl`	Debugging Ada Tasking Programs. IEEE Softw. David Heimbold, David C. Luckham
1985	—	`conf`	Semantic specification of Ada packages. SIGAda Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe
1985	—	`conf`	TSL: task sequencing language. SIGAda David P. Helmbold, David C. Luckham
1984	J	`jnl`	Adam: An Ada-based Language for Multiprocessing. Softw. Pract. Exp. David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson
1982	—	`conf`	Monitoring for deadlocks in Ada tasking. AdaTEC Conference on Ada Steven M. German, David P. Helmbold, David C. Luckham
1981	J	`jnl`	Program verification at Stanford. ACM SIGSOFT Softw. Eng. Notes David C. Luckham, Friedrich W. von Henke
1980	—	`conf`	A practical method of documenting and verifying Ada programs with packages. SIGPLAN David C. Luckham, Wolfgang Polak
1980	—	`conf`	ANNA: towards a language for annotating Ada programs. SIGPLAN Bernd Krieg-Brückner, David C. Luckham
1980	J	`jnl`	Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. David C. Luckham, Wolfgang Polak
1979	J	`jnl`	Verification of Array, Record, and Pointer Operations in Pascal. ACM Trans. Program. Lang. Syst. David C. Luckham, Norihisa Suzuki
1978	—	`conf`	A Study in the Application of Theorem Proving. AISB/GI (ECAI) David C. Luckham, Jorge J. Morales, Joachim F. Schreiber
1978	—	`conf`	A brief account: Implementation and applications of a Pascal program verifier (Position Statement). ACM Annual Conference (2) David C. Luckham
1978	—	`conf`	Software validation and verification - a state of the art report(Panel Discussion). ACM Annual Conference (2) Terry A. Straeter, Carlo Broglio, Marilyn Fujii, Leon G. Stucki, Sabina H. Saib, David C. Luckham
1977	—	`conf`	Program Verification and Verification Oriented Programming. IFIP Congress David C. Luckham
1977	J	`jnl`	Proof of Termination within a Weak Logic of Programs. Acta Informatica David C. Luckham, Norihisa Suzuki
1976	A*	`conf`	Verification of Fairness in an Implementation of Monitors. ICSE Richard Alan Karp, David C. Luckham
1975	—	`conf`	A methodology for verifying programs. Reliable Software Friedrich W. von Henke, David C. Luckham
1974	J	`jnl`	Automatic Program Verification I: A Logical Basis and its Implementation. Acta Informatica Shigeru Igarashi, Ralph L. London, David C. Luckham
1973	J	`jnl`	Program Schemes, Recursion Schemes, and Formal Languages. J. Comput. Syst. Sci. Stephen J. Garland, David C. Luckham
1972	J	`jnl`	Compatibility and Complexity of Refinements of the Resolution Principle. SIAM J. Comput. Richard B. Kieburtz, David C. Luckham
1972	A*	`conf`	On the Equivalence of Schemes STOC Stephen J. Garland, David C. Luckham
1972	—	`conf`	Translating recursion schemes into program schemes. Proving Assertions About Programs Stephen J. Garland, David C. Luckham
1971	J	`jnl`	Extracting Information from Resolution Proof Trees. Artif. Intell. David C. Luckham, Nils J. Nilsson
1970	J	`jnl`	On Formalised Computer Programs. J. Comput. Syst. Sci. David C. Luckham, David Michael Ritchie Park, Mike Paterson
1964	J	`jnl`	Hierarchies Over Recursive Well-Orderings. J. Symb. Log. Herbert B. Enderton, David C. Luckham