![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.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 39 matches
- 2018
- Antonio Cerone, Marco Roveri
:
Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10729, Springer 2018, ISBN 978-3-319-74780-4 [contents] - 2017
- Oana Andrei, Muffy Calder:
Temporal Analytics for Software Usage Models. SEFM Workshops 2017: 9-24 - Michael Backenköhler, Verena Wolf:
Student Performance Prediction and Optimal Course Selection: An MDP Approach. SEFM Workshops 2017: 40-47 - Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops 2017: 267-283 - Alessandro Bianchi
, Sebastiano Pizzutilo
, Gennaro Vessio
:
Intercepting Blackhole Attacks in MANETs: An ASM-based Model. SEFM Workshops 2017: 137-152 - Giovanna Broccia, Paolo Milazzo
, Peter Csaba Ölveczky:
An Algorithm for Simulating Human Selective Attention. SEFM Workshops 2017: 48-55 - Antonio Brogi, Andrea Canciani, Davide Neri
, Luca Rinaldi, Jacopo Soldani
:
Towards a Reference Dataset of Microservice-Based Applications. SEFM Workshops 2017: 219-229 - Antonio Brogi, Davide Neri
, Luca Rinaldi, Jacopo Soldani
:
From (Incomplete) TOSCA Specifications to Running Applications, with Docker. SEFM Workshops 2017: 491-506 - Andreea Buga, Sorana Tania Nemes:
Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. SEFM Workshops 2017: 153-167 - Javier Cámara, Wenxin Peng, David Garlan, Bradley R. Schmerl:
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation. SEFM Workshops 2017: 523-540 - Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
:
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). SEFM Workshops 2017: 168-173 - Matteo Camilli
, Carlo Bellettini
, Lorenzo Capra
, Mattia Monga
:
A Formal Framework for Specifying and Verifying Microservices Based Process Flows. SEFM Workshops 2017: 187-202 - Peter Carmichael, Charles Morisset:
Learning Decision Trees from Synthetic Data Models for Human Security Behaviour. SEFM Workshops 2017: 56-71 - Roberto Casadei
, Alessandro Aldini
, Mirko Viroli:
Combining Trust and Aggregate Computing. SEFM Workshops 2017: 507-522 - Carlo Castagnari, Jacopo de Berardinis
, Giorgio Forcina, Ali Jafari, Marjan Sirjani:
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives. SEFM Workshops 2017: 541-557 - Luís Diogo Couto, Stylianos Basagiannis
, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
:
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. SEFM Workshops 2017: 284-299 - Michele D'Andreagiovanni, Fabrizio Baiardi
, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli:
Sequential Pattern Mining for ICT Risk Assessment and Prevention. SEFM Workshops 2017: 25-39 - Andrea Domenici
, Adriano Fagiolini
, Maurizio Palmieri
:
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. SEFM Workshops 2017: 300-314 - Georg P. Engel
, Ajay Sathya Chakkaravarthy, Gerald Schweiger:
Co-simulation Between Trnsys and Simulink Based on Type155. SEFM Workshops 2017: 315-329 - Sélinde van Engelenburg
, Marijn Janssen
, Bram Klievink
:
What Belongs to Context? - A Definition, a Criterion and a Method for Deciding on What Context-Aware Systems Should Sense and Adapt to. SEFM Workshops 2017: 101-116 - Frederik F. Foldager, Peter Gorm Larsen
, Ole Green:
Development of a Driverless Lawn Mower Using Co-simulation. SEFM Workshops 2017: 330-344 - Martin Garriga:
Towards a Taxonomy of Microservices Architectures. SEFM Workshops 2017: 203-218 - Cláudio Gomes
, Paschalis Karalis, Eva M. Navarro-López, Hans Vangheluwe
:
Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. SEFM Workshops 2017: 345-360 - Paul Griffioen, Rob Christiaanse
, Joris Hulstijn
:
Controlling Production Variances in Complex Business Processes. SEFM Workshops 2017: 72-85 - Weijiang Hong, M. Saqib Nawaz
, Xiyue Zhang
, Yi Li, Meng Sun:
Using Coq for Formal Modeling and Verification of Timed Connectors. SEFM Workshops 2017: 558-573 - Mark Jackson, John S. Fitzgerald
:
Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems. SEFM Workshops 2017: 361-376 - Eva Kühn, Sophie Therese Radschek:
An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation. SEFM Workshops 2017: 574-590 - Peter Gorm Larsen
, John S. Fitzgerald
, Jim Woodcock
, Carl Gamble, Richard John Payne, Kenneth Pierce:
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops 2017: 377-390 - Jinzhi Lu
, Martin Törngren
, De-Jiu Chen
, Jian Wang:
A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS). SEFM Workshops 2017: 391-405 - Ian A. Mason, Vivek Nigam
, Carolyn L. Talcott, Alisson Vasconcelos de Brito
:
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops 2017: 406-422
skipping 9 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.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-07-19 08:07 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