A. Prasad Sistla

Log. Methods Comput. Sci., 2011

Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State.

[BibT_eX]

[DOI]

Milos Zefran

Yao Feng

Proceedings of the Runtime Verification - Second International Conference, 2011

Answer-pairs and processing of continuous nearest-neighbor queries.

[BibT_eX]

[DOI]

Proceedings of the FOMC'11, 2011

Monitorability of Stochastic Dynamical Systems.

[BibT_eX]

[DOI]

Milos Zefran

Yao Feng

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Model Checking Concurrent Programs with Nondeterminism and Randomization.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Automatically Preparing Safe SQL Queries.

[BibT_eX]

[DOI]

Prithvi Bisht

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

Construction of a sentimental word dictionary.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

TAPS: automatically preparing safe SQL queries.

[BibT_eX]

[DOI]

Prithvi Bisht

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Stop Word and Related Problems in Web Interface Integration.

[BibT_eX]

[DOI]

Eduard Constantin Dragut

Proc. VLDB Endow., 2009

On the expressiveness and complexity of randomization in finite state monitors.

[BibT_eX]

[DOI]

J. ACM, 2009

Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.

[BibT_eX]

[DOI]

Kalpana Gondi

Yogeshkumar Patel

Proceedings of the Verification, 2009

A query processor for prediction-based monitoring of data streams.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2009, 2009

A data model for trip planning in multimodal transportation systems.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2009, 2009

2008

Analysis of dynamic policies.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Monitoring Temporal Properties of Stochastic Systems.

[BibT_eX]

[DOI]

Abhigna R. Srinivas

Proceedings of the Verification, 2008

CMV: automatic verification of complete mediation for java virtual machines.

[BibT_eX]

[DOI]

Michelle Zhou

Hilary Branske

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Preventing Information Leaks through Shadow Executions.

[BibT_eX]

[DOI]

Roberto Capizzi

Antonio Longo

Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008

2007

Checking extended <i>CTL</i> properties using guarded quotient structures.

[BibT_eX]

[DOI]

Xiaodong Wang

Formal Methods Syst. Des., 2007

Verification of Object Relational Maps.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006

Language based policy analysis in a SPKI Trust Management System.

[BibT_eX]

[DOI]

Arun K. Eamani

J. Comput. Secur., 2006

Monitoring Off-the-Shelf Components.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

Merging Source Query Interfaces onWeb Databases.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Data Engineering, 2006

2005

Model Checking of Systems Employing Commutative Functions.

[BibT_eX]

[DOI]

Xiaodong Wang

Proceedings of the Verification, 2005

Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Bo Xu

Proceedings of the Advances in Spatial and Temporal Databases, 9th International Symposium, 2005

Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Taming Interface Specifications.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Symmetry and reduced symmetry in model checking.

[BibT_eX]

[DOI]

Patrice Godefroid

ACM Trans. Program. Lang. Syst., 2004

Employing symmetry reductions in model checking.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2004

An Economic Model for Resource Exchange in Mobile Peer to Peer Networks.

[BibT_eX]

[DOI]

Bo Xu

Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 2004

Checking Extended CTL properties Using Guarded Quotient Structures.

[BibT_eX]

[DOI]

Xiaodong Wang

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003

Symmetry Reductions in Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2003

2002

Research Activities in Database Management and Information Retrieval at the University of Illinois at Chicago.

[BibT_eX]

[DOI]

SIGMOD Rec., 2002

Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases.

[BibT_eX]

[DOI]

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Similarity based retrieval from sequence databases using automata as queries.

[BibT_eX]

[DOI]

Tao Hu

Vikas Chowdhry

Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, 2002

2001

On model checking for the µ-calculus and its fragments.

[BibT_eX]

[DOI]

Charanjit S. Jutla

Theor. Comput. Sci., 2001

2000

SMC: a symmetry-based model checker for verification of safety and liveness properties.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2000

Formal methods in concurrent and distributed systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Reasoning about Qualitative Spatial Relationships.

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

1999

An Incremental Verification Algorithm for Real-Time Systems.

[BibT_eX]

[DOI]

Avinash Sahay

Jeffrey J. P. Tsai

Int. J. Softw. Eng. Knowl. Eng., 1999

On-the-Fly Model Checking Under Fairness that Exploits Symmetry.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1999

Parameterized Verification of Linear Networks using Automata as Invariants.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

Updating and Querying Databases that Track Mobile Units.

[BibT_eX]

[DOI]

Distributed Parallel Databases, 1999

DOMINO: Databases fOr MovINg Objects tracking.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1999, 1999

Tracking Moving Objects Using Database Technology in DOMINO.

[BibT_eX]

[DOI]

Proceedings of the Next Generation Information Technologies and Systems, 1999

Databases for Tracking Mobile Units in Real Time.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1999

1998

Minimization of Communication Cost Through Caching in Mobile Environments.

[BibT_eX]

[DOI]

Yixiu Huang

IEEE Trans. Parallel Distributed Syst., 1998

Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1998

Incremental Verification of Architecture Specification Language for Real-Time Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1998

Query Processing in a Video Retrieval System.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Data Engineering, 1998

Symmetry Reductions in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1997

Similarity Based Retrieval of Videos.

[BibT_eX]

[DOI]

R. Venkatasubrahmanian

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Modeling and Querying Moving Objects.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Querying the Uncertain Position of Moving Objects.

[BibT_eX]

[DOI]

Proceedings of the Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, 1997

SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.

[BibT_eX]

[DOI]

L. Miliades

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Parametrized Verification of Linear Networks Using Automata as Invariants.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Symmetry and Model Checking.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1996

Hybrid and Incremental Modelchecking Techniques.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

An Architecture for Consumer-Oriented Online Database Services.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Research Issues in Data Engineering, 1996

Performance Evaluation of G-tree and Its Application in Fuzzy Databases.

[BibT_eX]

[DOI]

Proceedings of the CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12, 1996

Retrieval of Pictures Using Approximate Matching.

[BibT_eX]

Proceedings of the Multimedia Database System: Issues and Research Direction, 1996

1995

Temporal Triggers in Active Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1995

View Maintenance in Mobile Computing.

[BibT_eX]

[DOI]

SIGMOD Rec., 1995

Similarity based Retrieval of Pictures Using Indices on Spatial Relationships.

[BibT_eX]

[DOI]

Proceedings of the VLDB'95, 1995

Temporal Conditions and Integrity Constraints in Active Database Systems.

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Temporal Conditions with Retroactive and Proactive Updates.

[BibT_eX]

[DOI]

Minglin Deng

Proceedings of the Active and Real-Time Database Systems (ARTDB-95), 1995

1994

Safety, Liveness and Fairness in Temporal Logic.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1994

Reasoning About Spatial Relationships in Picture Retrieval Systems.

[BibT_eX]

[DOI]

R. Haddad

Proceedings of the VLDB'94, 1994

Data Replication for Mobile Computers.

[BibT_eX]

[DOI]

Yixiu Huang

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking.

[BibT_eX]

[DOI]

Vivek G. Naik

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Reasoning in a Restricted Temporal Logic

[BibT_eX]

[DOI]

Inf. Comput., February, 1993

On Model-Checking for Fragments of µ-Calculus.

[BibT_eX]

[DOI]

Charanjit S. Jutla

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Quantitative Temporal Reasoning.

[BibT_eX]

[DOI]

Real Time Syst., 1992

Reasoning about Systems with Many Processes.

[BibT_eX]

[DOI]

Steven M. German

J. ACM, 1992

Triggers on Database Histories.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1992

1991

Proving Correctness with Respect to Nondeterministic Safety Specifications.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1991

Automatic Temporal Verification of Buffer Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1989

Efficient Distributed Recovery Using Message Logging.

[BibT_eX]

[DOI]

Jennifer L. Welch

Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

1987

The Complementation Problem for Büchi Automata with Appplications to Temporal Logic.

[BibT_eX]

[DOI]

Moshe Y. Vardi

Pierre Wolper

Theor. Comput. Sci., 1987

On the Eventuality Operator in Temporal Logic

[BibT_eX]

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

Reasoning with Many Processes

[BibT_eX]

Steven M. German

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications.

[BibT_eX]

[DOI]

Edmund M. Clarke

ACM Trans. Program. Lang. Syst., 1986

1985

The Complexity of Propositional Linear Temporal Logics

[BibT_eX]

[DOI]

Edmund M. Clarke

J. ACM, July, 1985

A Multiprocess Network Logic with Temporal and Spatial Modalities.

[BibT_eX]

[DOI]

John H. Reif

J. Comput. Syst. Sci., 1985

On Characterization of Safety and Liveness Properties in Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract).

[BibT_eX]

[DOI]

Moshe Y. Vardi

Pierre Wolper

Proceedings of the Automata, 1985

1984

Deciding Full Branching Time Logic

[BibT_eX]

[DOI]

Inf. Control., June, 1984

Can Message Buffers Be Axiomatized in Linear Temporal Logic?

[BibT_eX]

[DOI]

Inf. Control., 1984

Deciding Branching Time Logic

[BibT_eX]

[DOI]

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

Distributed Algorithms for Ensuring Fair Interprocess Communications.

[BibT_eX]

[DOI]

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Using Temporal Logic for Automatic Verification of Finite State Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics and Models of Concurrent Systems, 1984

1983

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach.

[BibT_eX]

[DOI]

Edmund M. Clarke

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, 1983

Reasoning about Infinite Computation Paths (Extended Abstract)

[BibT_eX]

[DOI]

Pierre Wolper

Moshe Y. Vardi