Abstract is missing.
- Refinable Record Structures in Formal MethodsAsieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler. 3-15 [doi]
- Development of Critical Systems with UML/OCL and FoCaLiZeMessaoud Abbas, Fatima Haloua, Ammar Boucherit. 16-30 [doi]
- Systematic Assessment of Formal Methods Based Models Quality CriteriaLorenzo Maldini, Stephen Wright. 31-45 [doi]
- Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic ExecutionBoutheina Bannour, Arnault Lapitre, Pascale Le Gall. 46-60 [doi]
- Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart BuildingsMads Mørk Beck, Jalil Boudjadar, Yousra Chougui. 63-77 [doi]
- Edge-to-Fog Collaborative Computing in a Swarm of DronesDadmehr Rahbari, Muhammad Mahtab Alam, Yannick Le Moullec, Maksim Jenihhin. 78-87 [doi]
- Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi DiagramKhaoula Zaimen, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Laurent Moalic, Abdelhafid Abouaissa, Lhassane Idoumghar. 88-100 [doi]
- EPSAAV: An Extensible Platform for Safety Analysis of Autonomous VehiclesJoelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet. 101-111 [doi]
- Bridging Trust in Runtime Open Evaluation ScenariosEmilia Cioroaica, Barbora Buhnova, Eda Marchetti, Daniel Schneider 0001, Thomas Kuhn 0001. 112-120 [doi]
- A Generation and Recovery Framework for Silicon PUFs Based Cryptographic KeyFahem Zerrouki, Samir Ouchani, Hafida Bouarfa. 121-137 [doi]
- Record Linkage for Auto-tuning of High Performance Computing SystemsSophie Robert 0002, Lionel Vincent, Soraya Zertal, Philippe Couvée. 138-151 [doi]
- Protecting Sensitive Data in Web of DataFethi Imad Benaribi, Mimoun Malki, Kamel Mohamed Faraoun. 152-165 [doi]
- COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 DetectionNicolas Dimeglio, Sebastien Romano, Alexandre Vesseron, Vincent Pelegrin, Samir Ouchani. 166-178 [doi]
- Time Insertion FunctionsDamas P. Gruska. 181-188 [doi]
- Static Checking Consistency of Temporal Requirements for Control SoftwareNatalia Olegovna Garanina, Dmitry Koznov. 189-203 [doi]
- Visual Language for Device Management in Telecommunication Product LineEugeny Semenov, Sheng Kai, Chen Gen, Dmitry V. Luciv, Dmitry V. Koznov. 204-216 [doi]
- Using Process-Oriented Structured Text for IEC 61499 Function Block SpecificationVladimir Zyubin, Andrei Rozov. 217-227 [doi]
- The DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain InformationElias Strehle, Martin Maurer. 231-247 [doi]
- Towards a Resource-Aware Formal Modelling Language for Workflow PlanningMuhammad Rizwan Ali, Violet Ka I Pun. 251-258 [doi]
- Systematic Literature Review of Methods for Maintaining Data IntegrityMarten Kask, Gunnar Piho, Peeter Ross. 259-268 [doi]
- Medical Data Engineering - Theory and PracticeAnn-Kristin Kock-Schoppenhauer, Björn Schreiweis, Hannes Ulrich, Niklas Reimer, Joshua Wiedekopf, Benjamin Kinast, Hauke Busch, Björn Bergh, Josef Ingenerf. 269-284 [doi]
- Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink. 285-301 [doi]
- Evaluation of Anonymization Tools for Health DataOlga Vovk, Gunnar Piho, Peeter Ross. 302-313 [doi]
- Usages of the ContSys Standard: A Position PaperKristian Kankainen. 314-324 [doi]