![](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 38 matches
- 2003
- Behzad Akbarpour, Sofiène Tahar:
Modeling System C Fixed-Point Arithmetic in HOL. ICFEM 2003: 206-225 - Johan Bengtsson, Wang Yi:
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ICFEM 2003: 491-503 - Behzad Bordbar, Kozo Okano:
Verification of Timeliness QoS Properties in Multimedia Systems. ICFEM 2003: 523-540 - Peter T. Breuer
:
A Formal Model for the Block Device Subsystem of the Linux Kernel. ICFEM 2003: 599-619 - Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
From Specification to Hardware Device: A Synthesis Algorithm. ICFEM 2003: 665-681 - Jessica Chen:
Using Formal Methods to Serialize Synchronization Events. ICFEM 2003: 34-47 - Hamdan Dammag, Nimal Nissanke:
A Mathematical Framework for Safecharts. ICFEM 2003: 620-640 - Jim Davies, Charles Crichton
:
Using State Diagrams to Describe Concurrent Behaviour. ICFEM 2003: 105-124 - Yuyue Du, Changjun Jiang:
Towards a Workflow Model of Real-Time Cooperative Systems. ICFEM 2003: 452-470 - Berndt Farwer, Saraswati Kalvala, Kundan Misra:
Controller Synthesis for Object Petri Nets. ICFEM 2003: 432-451 - Jörn Freiheit, Jonathan Billington:
New Developments in Closed-Form Computation for GSPN Aggregation. ICFEM 2003: 471-490 - Angela F. Freitas, Carla Nascimento, Ana Cavalcanti:
A Refinement Tool for Z. ICFEM 2003: 396-415 - Ian J. Hayes
:
Programs as Paths: An Approach to Timing Constraint Analysis. ICFEM 2003: 1-15 - Mathai Joseph:
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. ICFEM 2003: 26-33 - Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin:
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374 - Lars Michael Kristensen, Thomas Mailund:
Efficient Path Finding with the Sweep-Line Method Using External Storage. ICFEM 2003: 319-337 - Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664 - Benjamin W. Long, Colin J. Fidge
, Antonio Cerone:
A Z Based Approach to Verifying Security Protocols. ICFEM 2003: 375-395 - Quan Long, Zongyan Qiu, Shengchao Qin
:
The Equivalence of Statecharts. ICFEM 2003: 125-143 - Mila E. Majster-Cederbaum, Jinzhao Wu:
Adding Action Refinement to Stochastic True Concurrency Models. ICFEM 2003: 226-245 - Colin O'Halloran:
Model Based Code Verification. ICFEM 2003: 16-25 - David von Oheimb, Volkmar Lotz:
Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM 2003: 144-166 - Jun Pang, Bart Karstens, Wan J. Fokkink:
Analyzing the Redesign of a Distributed Lift System in UPPAAL. ICFEM 2003: 504-522 - Hong Peng, Sofiène Tahar, Yassine Mokhtari:
Compositional Verification of a Switch Fabric from Nortel Networks. ICFEM 2003: 560-578 - Yuechen Qian:
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. ICFEM 2003: 338-358 - Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl:
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM 2003: 167-186 - Steve Reeves
, David Streader:
Comparison of Data and Process Refinement. ICFEM 2003: 266-285 - Neil J. Robinson:
Incremental Derivation of Abstraction Relations for Data Refinement. ICFEM 2003: 246-265 - Gwen Salaün, J. Christian Attiogbé:
Formalising an Integrated Language in PVS. ICFEM 2003: 187-205 - Beata Sarna-Starosta, C. R. Ramakrishnan:
Constraint-Based Model Checking of Data-Independent Systems. ICFEM 2003: 579-598
skipping 8 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 22:19 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