Остановите войну!
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
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 575 matches
- 2023
- Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske:
A property specification pattern catalog for real-time system verification with UPPAAL. Inf. Softw. Technol. 154: 107100 (2023) - José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert:
Spreadsheet-based Configuration of Families of Real-Time Specifications. TiCSA@ETAPS 2023: 27-39 - 2022
- Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata:
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(5): 823-832 (2022) - Kai Xie, Zijian Wei, Kang Yin, Songsong Li, Xinyan Yao, Xiaoyu Zhou:
Structural Synthesis of PLC Program for Real-Time Specification Patterns. Int. J. Found. Comput. Sci. 33(6&7): 903-929 (2022) - Tobias Dörr, Florian Schade, Alexander Ahlbrecht, Wanja Zaeske, Leonard Masing, Umut Durak, Jürgen Becker:
A Behavior Specification and Simulation Methodology for Embedded Real-Time Software. DS-RT 2022: 151-159 - Habibah Ismail, Dayang N. A. Jawawi, Ismail Ahmedy:
A Hybrid Real-Time Scheduling Mechanism Based on Multiprocessor for Real-Time Tasks in Weakly Hard Specification. SAI (1) 2022: 228-247 - Thomas Vogel, Marc Carwehl, Genaína Nunes Rodrigues, Lars Grunske:
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL. CoRR abs/2211.03817 (2022) - 2021
- Wafa Lakhdhar:
Software development of reconfigurable real-time systems: from specification to implementation. Saarland University, Saarbrücken, Germany, 2021 - Zuopeng Zhao, Kai Hao, Xiaoping Ma, Xiaofeng Liu, Tianci Zheng, Junjie Xu, Shuya Cui:
SAI-YOLO: A Lightweight Network for Real-Time Detection of Driver Mask-Wearing Specification on Resource-Constrained Devices. Comput. Intell. Neurosci. 2021: 4529107:1-4529107:15 (2021) - Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang:
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus. Sci. Comput. Program. 206: 102624 (2021) - Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and automated verification of atomic concurrent real-time transactions. Softw. Syst. Model. 20(2): 557-589 (2021) - Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau:
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. VaMoS 2021: 17:1-17:9 - 2020
- Lars Luthmann:
Specification and Analysis of Software Systems with Configurable Real-Time Behavior. Technical University of Darmstadt, Germany, 2020 - Nadia Chabbat, Djamel-Eddine Saïdouni, Radja Boukharrou, Salim Ghanemi:
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model. Comput. Informatics 39(5): 1022-1060 (2020) - Gabriel A. Wainer, Mohammad Moallemi:
Designing real-time systems using imprecise discrete-event system specifications. Softw. Pract. Exp. 50(8): 1327-1344 (2020) - Ahlem Assila, Taisa Guidini Gonçalves, Amira Dhouib, David Baudry, Vincent Havard:
Towards the Specification of an Integrated Measurement Model for Evaluating VR Cybersickness in Real Time. HCI (10) 2020: 381-396 - Areej Althubaity, Tao Gong, Kim-Kwang Raymond Choo, Mark Nixon, Reda Ammar, Song Han:
Specification-based Distributed Detection of Rank-related Attacks in RPL-based Resource-Constrained Real-Time Wireless Networks. ICPS 2020: 168-175 - Khaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche:
Requirement specification and model-checking of a real-time scheduler implementation. RTNS 2020: 89-99 - 2019
- Bijan Nouri, Stefan Wilbert, Pascal Kuhn, Natalie Hanrieder, Marion Schroedter-Homscheidt, Andreas Kazantzidis, Luis F. Zarzalejo, Philippe Blanc, Sharad Kumar, Neeraj Goswami, Ravi Shankar, Roman Affolter, Robert Pitz-Paal:
Real-Time Uncertainty Specification of All Sky Imager Derived Irradiance Nowcasts. Remote. Sens. 11(9): 1059 (2019) - Wattana Viriyasitavat, Li Da Xu, Zhuming Bi:
rmSWSpec: Real-Time Monitoring of Service Workflow Specification Language for Specification Patterns. IEEE Trans. Ind. Informatics 15(7): 4021-4032 (2019) - Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Zhiwu Li, Georg Frey, Abdulrahman Al-Ahmari:
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation. IEEE Trans. Syst. Man Cybern. Syst. 49(3): 623-637 (2019) - Charles Lesire, Stéphanie Roussel, David Doose, Christophe Grand:
Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification. ICRA 2019: 597-603 - 2018
- Dae S. Chang, Sang C. Park:
Configuration space-based discrete event system specification formalism for a smart factory with real-time flexibility. Concurr. Eng. Res. Appl. 26(3): 265-275 (2018) - Haikun Teng, Xinsheng Liu, Haitao Lv, Xiaoguang Yue:
Research and Application of the IOT Gateway Based on the Real-Time Specification for Java. Int. J. Online Eng. 14(3): 129-141 (2018) - Matteo Camilli, Angelo Gargantini, Patrizia Scandurra:
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159: 28-57 (2018) - Fabíola Gonçalves C. Ribeiro, Carlos Eduardo Pereira, Achim Rettberg, Michel S. Soares:
Model-based requirements specification of real-time systems with UML, SysML and MARTE. Softw. Syst. Model. 17(1): 343-361 (2018) - Maria A. Serrano, Sara Royuela, Eduardo Quiñones:
Towards an OpenMP Specification for Critical Real-Time Systems. IWOMP 2018: 143-159 - Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. PRDC 2018: 104-114 - Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie:
Formal Specification and Verification for Real-Time Scheduling Based on PAR. SOFL+MSVL 2018: 108-122 - 2017
- Stefan Dziwok:
Specification and verification for real-time coordination protocols of cyber-physical systems. University of Paderborn, Germany, 2017
skipping 545 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-24 12:12 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