![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.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 26 matches
- 2006
- Husain Aljazzar, Stefan Leue:
Extended Directed Search for Probabilistic Timed Reachability. FORMATS 2006: 33-51 - Béatrice Bérard, Paul Gastin, Antoine Petit:
Intersection of Regular Signal-Event (Timed) Languages. FORMATS 2006: 52-66 - Béatrice Bérard, Paul Gastin, Antoine Petit:
Refinements and Abstractions of Signal-Event (Timed) Languages. FORMATS 2006: 67-81 - Bernard Berthomieu, Florent Peres, François Vernadat:
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS 2006: 82-97 - Prakash Chandrasekaran, Madhavan Mukund:
Matching Scenarios with Timing Constraints. FORMATS 2006: 98-112 - Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu:
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. FORMATS 2006: 113-127 - Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
:
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142 - Conrado Daws, Piotr Kordy:
Symbolic Robustness Analysis of Timed Automata. FORMATS 2006: 143-155 - Adam Duguid:
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. FORMATS 2006: 156-170 - Georgios E. Fainekos
, Antoine Girard, George J. Pappas
:
Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186 - Olivier Finkel:
Undecidable Problems About Timed Automata. FORMATS 2006: 187-199 - Goran Frehse
:
On Timed Simulation Relations for Hybrid Systems and Compositionality. FORMATS 2006: 200-214 - Carlo A. Furia, Matteo Rossi:
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. FORMATS 2006: 215-229 - Serge Haddad, Laura Recalde, Manuel Silva Suárez:
On the Computational Power of Timed Differentiable Petri Nets. FORMATS 2006: 230-244 - Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Alternating-Time Temporal Logic. FORMATS 2006: 1-17 - François Laroussinie, Nicolas Markey
, Ghassan Oreiby:
Model-Checking Timed. FORMATS 2006: 245-259 - Edward A. Lee:
Concurrent Semantics Without the Notions of State or State Transitions. FORMATS 2006: 18-31 - Kamal Lodaya, Paritosh K. Pandya:
A Dose of Timed Logic, in Guarded Measure. FORMATS 2006: 260-273 - Oded Maler, Dejan Nickovic, Amir Pnueli:
From MITL to Timed Automata. FORMATS 2006: 274-289 - Peter Niebert, Hongyang Qu:
Adding Invariants to Event Zone Automata. FORMATS 2006: 290-305 - Gordon J. Pace, Gerardo Schneider:
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. FORMATS 2006: 306-321 - Pavithra Prabhakar, Deepak D'Souza:
On the Expressiveness of MTL with Past Operators. FORMATS 2006: 322-336 - Alexander Moshe Rabinovich:
Decidability and Expressive Power of Real Time Logics. FORMATS 2006: 32 - Pavel Vasilyev:
Simulator for Real-Time Abstract State Machines. FORMATS 2006: 337-351 - Nicolás Wolovick, Sven Johr:
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes. FORMATS 2006: 352-367 - Eugene Asarin, Patricia Bouyer:
Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings. Lecture Notes in Computer Science 4202, Springer 2006, ISBN 3-540-45026-2 [contents]
loading more results
failed to load more results, please try again later
![](https://dblp.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-22 16:09 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