default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMEDI Workshops 2021: Tallinn, Estonia
- Ladjel Bellatreche
, George A. Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain:
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings. Communications in Computer and Information Science 1481, Springer 2021, ISBN 978-3-030-87656-2
moDeling, vErification and Testing of dEpendable CriTical systems (DETECT)
- Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Refinable Record Structures in Formal Methods. 3-15 - Messaoud Abbas, Fatima Haloua, Ammar Boucherit:
Development of Critical Systems with UML/OCL and FoCaLiZe. 16-30 - Lorenzo Maldini, Stephen Wright:
Systematic Assessment of Formal Methods Based Models Quality Criteria. 31-45 - Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. 46-60
Symposium on Intelligent and Autonomous Systems (SIAS)
- Mads Mørk Beck, Jalil Boudjadar, Yousra Chougui:
Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings. 63-77 - Dadmehr Rahbari, Muhammad Mahtab Alam, Yannick Le Moullec, Maksim Jenihhin:
Edge-to-Fog Collaborative Computing in a Swarm of Drones. 78-87 - Khaoula Zaimen, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Laurent Moalic, Abdelhafid Abouaissa, Lhassane Idoumghar:
Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi Diagram. 88-100 - Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet:
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles. 101-111 - Emilia Cioroaica, Barbora Buhnova, Eda Marchetti, Daniel Schneider, Thomas Kuhn:
Bridging Trust in Runtime Open Evaluation Scenarios. 112-120 - Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa:
A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key. 121-137 - Sophie Robert, Lionel Vincent, Soraya Zertal, Philippe Couvée:
Record Linkage for Auto-tuning of High Performance Computing Systems. 138-151 - Fethi Imad Benaribi, Mimoun Malki, Kamel Mohamed Faraoun:
Protecting Sensitive Data in Web of Data. 152-165 - Nicolas Dimeglio, Sebastien Romano, Alexandre Vesseron, Vincent Pelegrin, Samir Ouchani:
COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection. 166-178
Control Software: Methods, Models, and Languages (CSMML)
- Damas P. Gruska:
Time Insertion Functions. 181-188 - Natalia Olegovna Garanina, Dmitry Koznov:
Static Checking Consistency of Temporal Requirements for Control Software. 189-203 - Eugeny Semenov, Sheng Kai, Chen Gen, Dmitry V. Luciv, Dmitry V. Koznov:
Visual Language for Device Management in Telecommunication Product Line. 204-216 - Vladimir Zyubin, Andrei Rozov:
Using Process-Oriented Structured Text for IEC 61499 Function Block Specification. 217-227
Blockchain for Inter-organizational Collaboration (BIOC)
- Elias Strehle, Martin Maurer:
The DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain Information. 231-247
The International Health Data Workshop (HEDA)
- Muhammad Rizwan Ali, Violet Ka I Pun:
Towards a Resource-Aware Formal Modelling Language for Workflow Planning. 251-258 - Marten Kask, Gunnar Piho, Peeter Ross:
Systematic Literature Review of Methods for Maintaining Data Integrity. 259-268 - Ann-Kristin Kock-Schoppenhauer, Björn Schreiweis, Hannes Ulrich, Niklas Reimer, Joshua Wiedekopf, Benjamin Kinast, Hauke Busch, Björn Bergh, Josef Ingenerf:
Medical Data Engineering - Theory and Practice. 269-284 - Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). 285-301 - Olga Vovk, Gunnar Piho, Peeter Ross:
Evaluation of Anonymization Tools for Health Data. 302-313 - Kristian Kankainen:
Usages of the ContSys Standard: A Position Paper. 314-324
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.
last updated on 2024-11-21 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
