| Refinable Record Structures in Formal Methods
|
2021 |
Fathabadi, Asieh Salehi |
| Energy Efficient Real-Time Calibration of Wireless Sensor Networks for Smart Buildings
|
2021 |
Beck, Mads Mork |
| EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
|
2021 |
Faysal, Joelle Abou |
| Time Insertion Functions
|
2021 |
Gruska, Damas P. |
| Using Process-Oriented Structured Text for IEC 61499 Function Block Specification
|
2021 |
Zyubin, Vladimir |
| Systematic Literature Review of Methods for Maintaining Data Integrity
|
2021 |
Kask, Marten |
| The DibiChain Protocol: Privacy-Preserving Discovery and Exchange of Supply Chain Information
|
2021 |
Strehle, Elias |
| Development of Critical Systems with UML/OCL and FoCaLiZe
|
2021 |
Abbas, Messaoud |
| Static Checking Consistency of Temporal Requirements for Control Software
|
2021 |
Garanina, Natalia |
| Usages of the ContSys Standard: A Position Paper
|
2021 |
Kankainen, Kristian |
| Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution
|
2021 |
Bannour, Boutheina |
| Systematic Assessment of Formal Methods Based Models Quality Criteria
|
2021 |
Maldini, Lorenzo |
| Coverage Maximization in WSN Deployment Using Particle Swarm Optimization with Voronoi Diagram
|
2021 |
Zaimen, Khaoula |
| Bridging Trust in Runtime Open Evaluation Scenarios
|
2021 |
Cioroaica, Emilia |
| A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key
|
2021 |
Zerrouki, Fahem |
| Protecting Sensitive Data in Web of Data
|
2021 |
Benaribi, Fethi Imad |
| Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)
|
2021 |
Belmonte, Gina |
| Edge-to-Fog Collaborative Computing in a Swarm of Drones
|
2021 |
Rahbari, Dadmehr |
| Record Linkage for Auto-tuning of High Performance Computing System
|
2021 |
Robert, Sophie |
| COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection
|
2021 |
Dimeglio, Nicolas |
Tag hinzufügen