Остановите войну!
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 36 matches
- 2014
- Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda:
WiP abstract: Conformance testing as falsification for cyber-physical systems. ICCPS 2014: 211 - Mohamed Abdelkader, Mohammad Shaqura, Mehdi Ghommem:
WiP abstract: Optimal multi-agent path planning for fast inverse modeling in UAV-based flood sensing applications. ICCPS 2014: 212 - Seyed (Reza) Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige:
STIP: Spatio-temporal intersection protocols for autonomous vehicles. ICCPS 2014: 1-12 - Markus Becker, Christoph Kuznik, Wolfgang Müller:
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. ICCPS 2014: 213 - Madhur Behl, Truong X. Nghiem, Rahul Mangharam:
Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings. ICCPS 2014: 13-24 - Nicola Bezzo, Junkil Park, Andrew L. King, Peter Gebhard, Radoslav Ivanov, Insup Lee:
Demo abstract: ROSLab - A modular programming environment for robotic applications. ICCPS 2014: 214 - Hongxu Chen, Sayan Mitra:
Synthesis and verification of motor-transmission shift controller for electric vehicles. ICCPS 2014: 25-35 - Samuel Coogan, Murat Arcak:
Freeway traffic control from linear temporal logic specifications. ICCPS 2014: 36-47 - Peng Deng, Anastasios I. Mourikis, Qi Zhu, Xue Liu, Abhijit Davare, Marco Di Natale:
WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems. ICCPS 2014: 215 - Alireza Dirafzoon, Joseph Betthauser, Jeff Schornick, Jeremy Cole, Alper Bozkurt, Edgar J. Lobaton:
Poster abstract: Cyborg-insect networks for mapping of unknown environments. ICCPS 2014: 216 - Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas:
Opportunistic scheduling of control tasks over shared wireless channels. ICCPS 2014: 48-59 - Matthew Harker, Christoph Gugg, Paul O'Leary:
WiP abstract: Model based design for the real-time solution of inverse problems in cyber-physical systems. ICCPS 2014: 217 - Liang He, Linghe Kong, Siyu Lin, Shaodong Ying, Yu Gu, Tian He, Cong Liu:
Reconfiguration-assisted charging in large-scale Lithium-ion battery systems. ICCPS 2014: 60-71 - Yu Ikemoto, Koichiro Iijima, Takashi Fukumoto, Masahiro Yoshioka:
WiP abstract: Supply-demand planning method in cooperation with factory production schedule aimed at the realization of Symbiosis-autonomous decentralized system. ICCPS 2014: 218 - Junsung Kim, Young-Woo Seo, Hyoseung Kim, Ragunathan Rajkumar:
WiP abstract: Can cyber-physical systems be predictable? Inferring cyber-workloads from physical attributes. ICCPS 2014: 219 - Eugene Kim, Kang G. Shin, Jinkyu Lee:
Real-time battery thermal management for electric vehicles. ICCPS 2014: 72-83 - Amy LaViers, Magnus Egerstedt:
Style-based abstractions for human motion classification. ICCPS 2014: 84-91 - Maxime Louvel, Anca Molnos, Julien Mottin, François Pacull, Tiana A. Rakotovao:
Poster abstract: Distributed coordination of sub-systems power-modes and software-modes. ICCPS 2014: 220 - Renato Mancuso, Or D. Dantsker, Marco Caccamo, Michael S. Selig:
A low-power architecture for high frequency sensor acquisition in many-DOF UAVs. ICCPS 2014: 103-114 - Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister:
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. ICCPS 2014: 115-126 - Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers:
Supervisor synthesis in model-based automotive systems engineering. ICCPS 2014: 187-198 - Sirajum Munir, John A. Stankovic:
DepSys: Dependency aware integration of cyber-physical systems for smart homes. ICCPS 2014: 127-138 - Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee:
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS 2014: 139-150 - Hoang Hai Nguyen, Rui Tan, David K. Y. Yau:
Safety-assured collaborative load management in smart grids. ICCPS 2014: 151-162 - Jerome Le Ny, Ahmed Touati, George J. Pappas:
Real-time privacy-preserving model-based estimation of traffic flows. ICCPS 2014: 92-102 - Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas:
Robustness of attack-resilient state estimators. ICCPS 2014: 163-174 - Jeffrey Plourde, David Arney, Julian M. Goldman:
OpenICE: An open, interoperable platform for medical cyber-physical systems. ICCPS 2014: 221 - Mohammad Ashiqur Rahman, Ehab Al-Shaer, Rajesh G. Kavasseri:
A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids. ICCPS 2014: 175-186 - Yannis Soupionis, Thierry Benoist:
Demo abstract: Demonstrating cyber-attacks impact on cyber-physical simulated environment. ICCPS 2014: 222 - Erik Steinmetz, Matthias Wildemeersch, Henk Wymeersch:
WiP abstract: Reception probability model for vehicular ad-hoc networks in the vicinity of intersections. ICCPS 2014: 223
skipping 6 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-05-30 19:56 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