![](https://dblp.uni-trier.de/img/logo.320x120.png)
![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 53 matches
- 2013
- Maurice H. ter Beek
, Fabio Gadducci
, Francesco Santini
:
Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS 2013: 39-48 - Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet:
Formalization of design patterns for security and dependability. ISARCS 2013: 17-26 - Wojtek Kozaczynski:
Monitoring and diagnosing cloud infrastructure. ISARCS 2013: 59-60 - Manuel Oriol, Thomas Gamer
, Thijmen de Gooijer, Michael Wahler, Ettore Ferranti:
Fault-tolerant fault tolerance for component-based automation systems. ISARCS 2013: 49-58 - Teerat Pitakrat, André van Hoorn, Lars Grunske
:
A comparison of machine learning algorithms for proactive hard disk drive failure detection. ISARCS 2013: 1-10 - Marc Ronell:
Safety concerns regarding the use of visual programming in civilian avionics software. ISARCS 2013: 33-38 - Roshanak Roshandel, Payman Arabshahi, Radha Poovendran
:
LIDAR: a layered intrusion detection and remediationframework for smartphones. ISARCS 2013: 27-32 - Xiwei Xu, Qinghua Lu, Liming Zhu
, Zhanwen Li, Sherif Sakr
, Hiroshi Wada, Ingo Weber:
Availability analysis for deployment of in-cloud applications. ISARCS 2013: 11-16 - Philippe Kruchten, Sam Malek:
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013. ACM 2013, ISBN 978-1-4503-2123-5 [contents] - 2012
- Benjamin Aziz
:
Application of formal analysis to enhancing trust in a complex grid-based operating system. ISARCS 2012: 41-50 - Funmilade Faniyi, Rami Bahsoon:
Self-managing SLA compliance in cloud architectures: a market-based approach. ISARCS 2012: 61-70 - Milena Guessi
, Elisa Yumi Nakagawa
, Flávio Oquendo, José Carlos Maldonado:
Architectural description of embedded systems: a systematic review. ISARCS 2012: 31-40 - Manuel Oriol, Michael Wahler, Robin Steiger, Sascha Stoeter, Egemen Vardar, Heiko Koziolek, Atul Kumar:
FASA: a scalable software framework for distributed control systems. ISARCS 2012: 51-60 - Ricardo J. Rodríguez
, Catia Trubiani
, José Merseguer
:
Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems. ISARCS 2012: 21-30 - Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois C. Knoll, Gernot Spiegelberg:
Early safety evaluation of design decisions in E/E architecture according to ISO 26262. ISARCS 2012: 1-10 - Christopher Staite, Rami Bahsoon:
Evaluating identity management architectures. ISARCS 2012: 11-20 - Vincenzo Grassi, Raffaela Mirandola, Jorge Cuéllar, Javier López:
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012. ACM 2012, ISBN 978-1-4503-1347-6 [contents] - 2011
- Omar el Ariss, Dianxiang Xu:
Modeling security attacks with statecharts. QoSA/ISARCS 2011: 123-132 - Franz Brosch, Barbora Buhnova, Heiko Koziolek, Ralf H. Reussner
:
Reliability prediction for fault-tolerant software architectures. QoSA/ISARCS 2011: 75-84 - Ricardo de Oliveira Cavalcanti, Eduardo Santana de Almeida, Silvio R. L. Meira:
Extending the RiPLE-DE process with quality attribute variability realization. QoSA/ISARCS 2011: 159-164 - Gabriele Costa
, Ilaria Matteucci
:
Elective temporal logic. QoSA/ISARCS 2011: 143-152 - Markus von Detten, Steffen Becker:
Combining clustering and pattern detection for the reengineering of component-based software systems. QoSA/ISARCS 2011: 23-32 - Zoya Durdik:
Towards a process for architectural modelling in agile software development. QoSA/ISARCS 2011: 183-192 - Greg Franks, Danny H. Lau, Curtis E. Hrischuk:
Performance measurements and modeling of a java-based session initiation protocol (SIP) application server. QoSA/ISARCS 2011: 63-72 - Matthias Galster, Paris Avgeriou
:
Empirically-grounded reference architectures: a proposal. QoSA/ISARCS 2011: 153-158 - Michael Hauck, Michael Kuperberg
, Nikolaus Huber, Ralf H. Reussner
:
Ginpex: deriving performance-relevant infrastructure properties through goal-oriented experiments. QoSA/ISARCS 2011: 53-62 - Martin Hillenbrand, Matthias Heinz, Klaus D. Müller-Glaser, Nico Adler:
A metric-based safety workflow for electric/electronic architectures of vehicles. QoSA/ISARCS 2011: 105-114 - Kai Höfig, Dominik Domis:
Failure-dependent execution time analysis. QoSA/ISARCS 2011: 115-122 - Amogh Kavimandan, Aniruddha S. Gokhale
, Gabor Karsai
, Jeff Gray
:
Managing the quality of software product line architectures through reusable model transformations. QoSA/ISARCS 2011: 13-22 - Muhammad Umair Ahmed Khan, Mohammad Zulkernine:
Building components with embedded security monitors. QoSA/ISARCS 2011: 133-142
skipping 23 more matches
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-09-12 15:37 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