David A. Schmidt

Mohammad S. Khan

Brian T. Bennett

Internet Technol. Lett., 2020

2019

Spline Based Intrusion Detection in Vehicular Ad Hoc Networks (VANET).

[BibT_eX]

[DOI]

Mohammad S. Khan

Brian T. Bennett

CoRR, 2019

2018

Combining Model Checking and Data-Flow Analysis.

[BibT_eX]

[DOI]

Dirk Beyer

Sumit Gulwani

Proceedings of the Handbook of Model Checking., 2018

2016

Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Logics, and Calculi, 2016

2014

Programming Language Semantics.

[BibT_eX]

Proceedings of the Computing Handbook, 2014

2013

Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2013

Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing.

[BibT_eX]

[DOI]

Hyunha Kim

Proceedings of the Static Analysis - 20th International Symposium, 2013

2012

Inverse-limit and topological aspects of abstract interpretation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

2011

Algorithms for improper single-stream MIMO interference networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Wireless Communication Systems, 2011

Abstract LR-Parsing.

[BibT_eX]

[DOI]

Hyunha Kim

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Gradient projection based interference alignment for the MIMO X channel.

[BibT_eX]

[DOI]

Proceedings of the 2010 International ITG Workshop on Smart Antennas, 2010

Large System Performance of Interference Alignment in Single-Beam MIMO Networks.

[BibT_eX]

[DOI]

Michael L. Honig

Proceedings of the Global Communications Conference, 2010

Beamforming techniques for single-beam MIMO interference networks.

[BibT_eX]

[DOI]

Michael L. Honig

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009

Distributed resource allocation schemes.

[BibT_eX]

[DOI]

IEEE Signal Process. Mag., 2009

Abstract Interpretation From a Denotational-semantics Perspective.

[BibT_eX]

[DOI]

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Abstract Interpretation from a Topological Perspective.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 16th International Symposium, 2009

Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.

[BibT_eX]

[DOI]

Hyunha Kim

Proceedings of the Static Analysis, 16th International Symposium, 2009

Distributed Interference Pricing for the MIMO Interference Channel.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2009

An Action Semantics Based on Two Combinators.

[BibT_eX]

[DOI]

Proceedings of the Semantics and Algebraic Specification, 2009

2008

Information Theory Minimum mean square error vector precoding.

[BibT_eX]

[DOI]

Michael Joham

Eur. Trans. Telecommun., 2008

Distributed precoder optimization for interfering MISO channels.

[BibT_eX]

[DOI]

Proceedings of the 2008 International ITG Workshop on Smart Antennas, 2008

Internal and External Logics of Abstract Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2008

Point-to-point MIMO MMSE vector precoding and thp achieving capacity.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2008

A combinatorial approach to maximizing the sum rate in the MIMO BC with linear precoding.

[BibT_eX]

[DOI]

Raphaël Hunger

Michael Joham

Proceedings of the 42nd Asilomar Conference on Signals, Systems and Computers, 2008

2007

Finite-Length MMSE Tomlinson-Harashima Precoding for Frequency Selective Vector Channels.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2007

A calculus of logical relations for over- and underapproximating static analyses.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

State-transition machines, revisited.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2007

State-transition machines for lambda-calculus expressions.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2007

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations.

[BibT_eX]

[DOI]

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Sum-Capacity and MMSE for the MIMO Broadcast Channel without Eigenvalue Decompositions.

[BibT_eX]

[DOI]

Raphael Hunger

Proceedings of the IEEE International Symposium on Information Theory, 2007

Design of Single-Group Multicasting-Beamformers.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2007

2006

Underapproximating Predicate Transformers.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 13th International Symposium, 2006

Alternating Optimization for MMSE Broadcast Precoding.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

Automata-Based Confidentiality Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2006

Comparing Completeness Properties of Static Analyses and Their Logics.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Minimum Mean Square Error Vector Precoding.

[BibT_eX]

[DOI]

Michael Joham

Proceedings of the IEEE 16th International Symposium on Personal, 2005

2004

A domain equation for refinement of partial systems.

[BibT_eX]

[DOI]

Michael Huth

Radha Jagadeesan

Math. Struct. Comput. Sci., 2004

Closed and Logical Relations for Over- and Under-Approximation of Powersets.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 11th International Symposium, 2004

2002

Polymorphic lambda calculus and subtyping.

[BibT_eX]

[DOI]

Adrian Fiech

Theor. Comput. Sci., 2002

Structure-Preserving Binary Relations for Program Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Should UML Be Used for Declarative Programming?

[BibT_eX]

[DOI]

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Modal Transition Systems: A Foundation for Three-Valued Program Analysis.

[BibT_eX]

[DOI]

Michael Huth

Radha Jagadeesan

Proceedings of the Programming Languages and Systems, 2001

2000

Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2000

1999

Model-Checking: A Tutorial Introduction.

[BibT_eX]

[DOI]

Markus Müller-Olm

Bernhard Steffen

Proceedings of the Static Analysis, 6th International Symposium, 1999

A Return to Elegance: The Reapplication of Declarative Notation to Software Design.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 1999

1998

Stackability in the Simply-Typed Call-by-Value lambda Calculus.

[BibT_eX]

[DOI]

Anindya Banerjee

Sci. Comput. Program., 1998

Trace-Based Abstract Interpretation of Operational Semantics.

[BibT_eX]

LISP Symb. Comput., 1998

Program Analysis <i>as</i> Model Checking of Abstract Interpretations.

[BibT_eX]

[DOI]

Bernhard Steffen

Proceedings of the Static Analysis, 5th International Symposium, 1998

Data Flow Analysis is Model Checking of Abstract Interpretations.

[BibT_eX]

[DOI]

Proceedings of the POPL '98, 1998

1997

On the Need for a Popular Formal Semantics.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1997

Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations.

[BibT_eX]

[DOI]

Husain Ibraheem

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Programming Language Semantics.

[BibT_eX]

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Programming Language Semantics.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Structural Operational Semantics as a Basis for Static Program Analysis.

[BibT_eX]

[DOI]

Daniel Le Métayer

ACM Comput. Surv., 1996

Abstract Interpretation of Small-Step Semantics.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995

Natural-Semantics-Based Abstract Interpretation (Preliminary Version)

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 1995

1994

The structure of typed programming languages.

[BibT_eX]

Foundations of computing series, MIT Press, ISBN: 978-0-262-19349-8, 1994

1993

Action Semantics-Directed Prototyping.

[BibT_eX]

[DOI]

Comput. Lang., 1993

A Categorical Interpretation of Landin's Correspondence Principle.

[BibT_eX]

[DOI]

Anindya Banerjee

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992

A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof.

[BibT_eX]

Masaaki Mizuno

Formal Aspects Comput., 1992

Extraction of Strong Typing Laws from Action Semantics Definitions.

[BibT_eX]

[DOI]

Proceedings of the ESOP '92, 1992

1990

Category-Sorted Algebra-Based Action Semantics.

[BibT_eX]

[DOI]

Susan Even

Theor. Comput. Sci., 1990

Type Inference for Action Semantics.

[BibT_eX]

[DOI]

Susan Even

Proceedings of the ESOP'90, 1990

1988

Detecting Stack-Based Environments in Denotational Definitions.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1988

1985

Detecting Global Variables in Denotational Specifications.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1985

An implementation from a direct semantics definition.

[BibT_eX]

[DOI]

Proceedings of the Programs as Data Objects, 1985

A Topological Framework of cpos Lacking Bottom Elements.

[BibT_eX]

[DOI]

Austin Melton

Proceedings of the Mathematical Foundations of Programming Semantics, 1985

Calois Connections and Computer Science Applications.

[BibT_eX]

[DOI]

Austin Melton

George E. Strecker

Proceedings of the Category Theory and Computer Programming, 1985

1984

A Programming Notation for Tactical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

Approximation Properties of Abstract Data Types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1983

1980

Compiler generation from denotational semantics.

[BibT_eX]

[DOI]

Neil D. Jones