Skip to contents

Alur, Rajeev [Author]; Mamouras, Konstantinos [Author]; Stanford, Caleb [Author] ; Rajeev Alur and Konstantinos Mamouras and Caleb Stanford [Contributor]

Automata-Based Stream Processing

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Alur, Rajeev [Author]; Bojańczyk, Mikołaj [Author]; Filiot, Emmanuel [Author]; Muscholl, Anca [Author]; Winter, Sarah [Author] ; Rajeev Alur and Mikołaj Bojańczyk and Emmanuel Filiot and Anca Muscholl and Sarah Winter [Contributor]

Regular Transformations (Dagstuhl Seminar 23202)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Alur, Rajeev [Author]; Faella, Marco [Author]; Kannan, Sampath [Author]; Singhania, Nimit [Author] ; Rajeev Alur and Marco Faella and Sampath Kannan and Nimit Singhania [Contributor]

Hedging Bets in Markov Decision Processes

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Cerny, Pavol [Author]; Radhakrishna, Arjun [Author]; Zufferey, Damien [Author]; Chaudhuri, Swarat [Author]; Alur, Rajeev [Author]

Model checking of linearizability of concurrent list implementations ; IST Austria Technical Report

View online
Schließen

Links

https://research-explorer.ista.ac.at/record/5391

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IST Austria, 2010

Published in: Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations . IST Austria; 2010. doi: 10.15479/AT:IST-2010-0001
Alur, Rajeev

Quantitative Policies over Streaming Data : Invited Presentation at the 4th International Workshop on Strategic Reasoning : Invited Presentation at the 4th International Workshop on Strategic Reasoning

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2016

Published in: Electronic Proceedings in Theoretical Computer Science
Alur, Rajeev

Can we verify cyber-physical systems? : technical perspective : technical perspective

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2013

Published in: Communications of the ACM
Alur, Rajeev

Lecture Notes in Computer Science: Interfaces for Control Components

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Lecture Notes in Computer Science
Alur, Rajeev

Logic, Language, Information and Computation: Streaming String Transducers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Logic, Language, Information and Computation
Alur, Rajeev

Foundations of Software Science and Computational Structures: Temporal Reasoning about Program Executions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Foundations of Software Science and Computational Structures
Alur, Rajeev

Verified Software: Theories, Tools, Experiments: Trends and Challenges in Algorithmic Software Verification

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2008

Published in: Verified Software: Theories, Tools, Experiments
Alur, Rajeev

Lecture Notes in Computer Science: The Benefits of Exposing Calls and Returns

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Lecture Notes in Computer Science
Alur, Rajeev

Automated Technology for Verification and Analysis: Games for Formal Design and Verification of Reactive Systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: Automated Technology for Verification and Analysis
Alur, Rajeev

Lecture Notes in Computer Science: Formal Analysis of Hierarchical State Machines

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Lecture Notes in Computer Science
Alur, Rajeev

Computer Aided Verification: Timed Automata

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1999

Published in: Computer Aided Verification
Alur, Rajeev

Computer-aided verification of reactive systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2000

Published in: ACM SIGSOFT Software Engineering Notes
Alur, Rajeev

CONCUR 2000 — Concurrency Theory: Exploiting Hierarchical Structure for Efficient Formal Verification

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2000

Published in: CONCUR 2000 — Concurrency Theory
Alur, Rajeev

Lecture Notes in Computer Science: Efficient Formal Verification of Hierarchical Descriptions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1998

Published in: Lecture Notes in Computer Science
Alur, Rajeev

Next steps in formal verification

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1996

Published in: ACM Computing Surveys
Alur, Rajeev; Fisman, Dana

Colored nested words

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2021

Published in: Formal Methods in System Design
Alur, Rajeev; Tripakis, Stavros

Automatic Synthesis of Distributed Protocols

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2017

Published in: ACM SIGACT News

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication