Остановите войну!
for scientists:
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 92 matches
- 2019
- Ang Hu, Dongsheng Liu, Zirui Jin, Cong Zhang, Ke-feng Zhang, Lan-qi Liu:
RF Transceiver System Design: From Protocols to Specifications. ASICON 2019: 1-4 - 2018
- Rafael Melo Macieira, Edna Barros:
Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification. IET Cyper-Phys. Syst.: Theory & Appl. 3(1): 11-23 (2018) - 2017
- Stefan Dziwok:
Specification and verification for real-time coordination protocols of cyber-physical systems. University of Paderborn, Germany, 2017 - 2016
- Benson Christalin, Michele Colledanchise, Petter Ögren, Richard M. Murray:
Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications. SSCI 2016: 1-8 - 2014
- Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero:
Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis. Ingénierie des Systèmes d Inf. 19(6): 9-32 (2014) - Yang Zhao, Kristin Yvonne Rozier:
Formal specification and verification of a coordination protocol for an automated air traffic control system. Sci. Comput. Program. 96: 337-353 (2014) - Seungoh Choi, Yeop Chang, Jeong-Han Yun, Woonyon Kim:
Multivariate Statistic Approach to Field Specifications of Binary Protocols in SCADA System. WISA 2014: 345-357 - 2013
- Jehad Al-Dallal, Kassem Saleh:
State-expansion-based techniques for synthesizing concurrent protocol specifications in distributed systems. Int. J. Commun. Syst. 26(9): 1176-1195 (2013) - Hui Lin, Adam J. Slagell, Catello Di Martino, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
Adapting Bro into SCADA: building a specification-based intrusion detection system for the DNP3 protocol. CSIIRW 2013: 5 - 2012
- Yang Zhao, Kristin Yvonne Rozier:
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012) - 2010
- Hui Chen, Chunjie Zhou, Xiongfeng Huang, Yuanqing Qing:
Formal specification and verification of reconfigurable protocol stack for networked control system. ICNSC 2010: 441-446 - Alexander Artikis:
A Formal Specification of Dynamic Protocols for Open Agent Systems. CoRR abs/1005.4815 (2010) - 2008
- Thyda Phit, Kôki Abe:
A Protocol Specification-Based Intrusion Detection System for VoIP and Its Evaluation. IEICE Trans. Commun. 91-B(12): 3956-3965 (2008) - Leila Jemni Ben Ayed, Fatma Siala:
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. COMPSAC 2008: 581-584 - Leila Jemni Ben Ayed, Fatma Siala:
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. DSV-IS 2008: 102-107 - Raul Barbosa, Johan Karlsson:
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems. SIES 2008: 192-199 - Daniel Dietterle:
Embedded system protocol design flow based on SDL: from specification to hardware/software implementation. SimuTools 2008: 59 - Leila Jemni Ben Ayed, Fatma Siala:
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. MSVVEIS 2008: 190-198 - 2007
- Constantin Werner:
UML profile for communicating systems: a new UML profile for the specification and description of internet communication and signaling protocols. University of Göttingen, 2007 - Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Comput. Pract. Exp. 8(1) (2007) - 2006
- Alexander A. Letichevsky:
Basic Protocols: Specification Language for Distributed Systems. Ershov Memorial Conference 2006: 21-25 - Gerald Wagenknecht, Daniel Dietterle, Jean-Pierre Ebert, Rolf Kraemer:
Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations. EWSN 2006: 228-243 - Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala:
Formal Verification of Abstract System and Protocol Specifications. SEW 2006: 207-211 - 2005
- Shinsook Lee, Seung-Il Yang, Sung-Hoon Park:
An Election Protocol in Asynchronous Distributed Systems with Practical Specifications. PDPTA 2005: 928-934 - 2004
- Noppadol Maneerat, Ruttikorn Varakulsiripunth, Bhed Bahadur Bista, Kaoru Takahashi, Yasushi Kato, Norio Shiratori:
Composition of Service and Protocol Specifications in Asynchronous Communication System. IEICE Trans. Inf. Syst. 87-D(10): 2306-2317 (2004) - Félix García Carballeira, Jesús Carretero, Alejandro Calderón, José María Pérez, José Daniel García:
An Adaptive Cache Coherence Protocol Specification for Parallel Input/Output Systems. IEEE Trans. Parallel Distributed Syst. 15(6): 533-545 (2004) - André Luiz de Freitas Francisco, Achim Rettberg, Andreas Hennig:
Hardware Design and Protocol Specification for the Control and Communication within a Mechatronic System. DIPES 2004: 113-122 - Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello:
Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78 - 2003
- Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park:
Experience with Applying Formal Methods to Protocol Specification and System Architecture. Formal Methods Syst. Des. 22(2): 109-116 (2003) - Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol. IEEE International Workshop on Rapid System Prototyping 2003: 86-92
skipping 62 more matches
loading more results
failed to load more results, please try again later
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-04-26 21:25 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