![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![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 50 matches
- 2009
- Idir Aït-Sadoune, Yamine Aït Ameur:
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. ICECCS 2009: 1-10 - Marco Bakera, Sven Jörges
, Tiziana Margaria
:
Test your Strategy: Graphical Construction of Strategies for Connect-Four. ICECCS 2009: 172-181 - Vieri Del Bianco, Luigi Lavazza
:
Applying the COSMIC Functional Size Measurement Method to Problem Frames. ICECCS 2009: 282-290 - Niklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria
:
Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations. ICECCS 2009: 240-247 - Fateh Boutekkouk, Mohamed Benmohammed:
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. ICECCS 2009: 311-316 - Jeremy W. Bryans
, John S. Fitzgerald
, Alexander B. Romanovsky
, Andreas Roth:
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. ICECCS 2009: 68-77 - Marius C. Bujorianu, Howard Barringer:
An Integrated Specification Logic for Cyber-Physical Systems. ICECCS 2009: 291-300 - Fernando Carvalho, Silvio R. L. Meira:
Towards an Embedded Software Component Quality Verification Framework. ICECCS 2009: 248-257 - Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier:
Automating the Generation of Platform Specific Models. ICECCS 2009: 383-388 - Tsong Yueh Chen
, Fei-Ching Kuo, Robert G. Merkel
, Wing K. Tam:
Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique. ICECCS 2009: 23-29 - Yuhui Chen, Alexander B. Romanovsky
, Anatoliy Gorbenko
, Vyacheslav S. Kharchenko
, Seyran Mamutov, Olga Tarasyuk
:
Benchmarking Dependability of a System Biology Application. ICECCS 2009: 146-153 - Xiaofeng Cui, Yanchun Sun, Sai Xiao, Hong Mei:
Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the Experience. ICECCS 2009: 30-39 - Peter H. Feiler:
Modeling the Implementation of State-Based System Architectures. ICECCS 2009: 377-382 - Nelson Duarte Filho, Silvia Silva da Costa Botelho
, Jônata Tyska Carvalho
, Pedro de Botelho Marcos, Renan de Queiroz Maffei
, Rodrigo Ruas Oliveira, Vinicius Alves Hax:
An Automated Platform for Immersive and Collaborative Visualization of Industrial Models. ICECCS 2009: 258-264 - Christine Gertosio:
Computational Trust to Insure the Quality of Assistance Given to Human Actors. ICECCS 2009: 136-145 - Ali Nasrat Haidar, Ali E. Abdallah:
Abstractions of Web Services. ICECCS 2009: 182-191 - Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair
, Paul Grace
, Marta Z. Kwiatkowska, Radu Calinescu
, Paola Inverardi, Massimo Tivoli
, Antonia Bertolino
, Antonino Sabetta:
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS 2009: 154-161 - Aleksandra Karimaa:
Security Aspect of the Complexity of Modern Surveillance Systems - An Experience Report. ICECCS 2009: 120-125 - Asta Krupaviciute, Jocelyne Fayn, Paul Rubel, Christine Verdier, Eric McAdams, Chris D. Nugent
:
Information System Architecture for Wearable Cardiac Sensors Personalization. ICECCS 2009: 265-272 - Angelika Kusel, Wieland Schwinger, Manuel Wimmer, Werner Retschitzegger:
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy. ICECCS 2009: 329-334 - Anna-Lena Lamprecht, Tiziana Margaria
, Bernhard Steffen:
From Bio-jETI Process Models to Native Code. ICECCS 2009: 95-101 - Thomas Magedanz:
Keynote: On the Increasing Complexity of Multimedia Service Provision in Next Generation Networks and the Future Internet. ICECCS 2009 - Ivano Malavolta
, Henry Muccini
, Patrizio Pelliccione
:
Integrating AADL within a Multi-domain Modeling Framework. ICECCS 2009: 341-346 - Frédéric Mallet
, Charles André, Julien DeAntoni
:
Executing AADL Models with UML/MARTE. ICECCS 2009: 371-376 - Francisco Montero Simarro
, Elena Navarro
:
ATRIUM: Software Architecture Driven by Requirements. ICECCS 2009: 230-239 - Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford:
ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs. ICECCS 2009: 11-22 - Dionisio de Niz, Peter H. Feiler:
Verification of Replication Architectures in AADL. ICECCS 2009: 365-370 - Kleinner S. F. Oliveira, Karin K. Breitman
, Toacy Cavalcante de Oliveira
:
Ontology Aided Model Comparison. ICECCS 2009: 78-83 - Richard F. Paige, Dimitrios S. Kolovos
, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack:
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171 - Isabelle Perseil, Laurent Pautet:
An Emerging Need for a New Software Engineering Method. ICECCS 2009: 359-364
skipping 20 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-06-20 10:28 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