![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 32 matches
- 2022
- Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design 2022: 407-437 - Daniel Hausmann
, Nir Piterman:
A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Principles of Systems Design 2022: 228-251 - Dirk Beyer
, Andreas Podelski
:
Software Model Checking: 20 Years and Beyond. Principles of Systems Design 2022: 554-582 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan:
Consistency and Persistency in Program Verification: Challenges and Opportunities. Principles of Systems Design 2022: 494-510 - Luca Aceto
, Antonis Achilleos
, Elli Anastasiadi
, Adrian Francalanza
, Anna Ingólfsdóttir
, Karoliina Lehtinen
, Mathias Ruggaard Pedersen
:
On Probabilistic Monitorability. Principles of Systems Design 2022: 325-342 - Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
:
A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design 2022: 604-624 - Giorgio Bacci
, Giovanni Bacci
, Mathias Claus Jensen, Kim G. Larsen
:
Convex Lattice Equation Systems. Principles of Systems Design 2022: 438-455 - Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Variance Reduction in Stochastic Reaction Networks Using Control Variates. Principles of Systems Design 2022: 456-474 - Christel Baier
, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
:
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design 2022: 343-363 - Albert Benveniste, Benoît Caillaud, Mathias Malandain:
From Hybrid Automata to DAE-Based Modeling. Principles of Systems Design 2022: 3-20 - Marius Bozga
, Joseph Sifakis
:
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design 2022: 85-106 - Miroslav Chodil
, Antonín Kucera
, Jan Kretínský
:
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. Principles of Systems Design 2022: 364-387 - Patrick Cousot
:
Asynchronous Correspondences Between Hybrid Trajectory Semantics. Principles of Systems Design 2022: 131-159 - Javier Esparza
, Rubén Rubio
, Salomon Sickert
:
A Simple Rewrite System for the Normalization of Linear Temporal Logic. Principles of Systems Design 2022: 208-227 - Goran Frehse
, Mirco Giacobbe
, Enea Zaffanella
:
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design 2022: 39-60 - Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald:
Automated Program Repair Using Formal Verification Techniques. Principles of Systems Design 2022: 511-534 - Matthias Függer
, Christoph Lenzen
, Ulrich Schmid
:
On Specifications and Proofs of Timed Circuits. Principles of Systems Design 2022: 107-130 - Márton Hajdú
, Petra Hozzová
, Laura Kovács
, Giles Reger
, Andrei Voronkov:
Getting Saturated with Induction. Principles of Systems Design 2022: 306-322 - Monika Henzinger:
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. Principles of Systems Design 2022: 292-305 - Inigo Incer
, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
From Interface Automata to Hypercontracts. Principles of Systems Design 2022: 477-493 - Ranjit Jhala:
Embedded Domain Specific Verifiers. Principles of Systems Design 2022: 535-553 - Marcin Jurdzinski
, Rémi Morvan
, K. S. Thejaswini:
Universal Algorithms for Parity Games and Nested Fixpoints. Principles of Systems Design 2022: 252-271 - Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell:
What's Decidable About Discrete Linear Dynamical Systems? Principles of Systems Design 2022: 21-38 - Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
:
Correct-by-Construction Runtime Enforcement in AI - A Survey. Principles of Systems Design 2022: 650-663 - Hermann Kopetz:
An Architecture for Safe Driving Automation. Principles of Systems Design 2022: 61-84 - Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design 2022: 388-406 - Kim G. Larsen
, Christian Schilling
, Jirí Srba
:
Simulation Relations and Applications in Formal Methods. Principles of Systems Design 2022: 272-291 - Edward A. Lee
, Marten Lohstroh
:
Generalizing Logical Execution Time. Principles of Systems Design 2022: 160-181 - Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee:
T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification. Principles of Systems Design 2022: 585-603 - Sophie A. Neubauer, Radu Grosu:
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques. Principles of Systems Design 2022: 625-649
skipping 2 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-18 12:59 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint