31 – 40 of 56
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Relational reference attribute grammars: Improving continuous model validation
- Contribution to journal › Article
-
Mark
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Runtime Modeling and Analysis of IoT Systems
(2020) ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) p.1-5
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Feature-Oriented Control Programming
(2020) 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) p.1043-1046
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Where are you bob? privacy-preserving proximity testing with a napping party
(2020) 25th European Symposium on Research in Computer Security, ESORICS 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12308 LNCS. p.677-697
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Secure generalized deduplication via multi-key revealing encryption
(2020) 12th International Conference on Security and Cryptography for Networks, SCN 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12238 LNCS. p.298-318
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Energy Consumption for Securing Lightweight IoT Protocols
(2020)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Smart bikes: Gradual update of IoT systems
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluation of the HAVOSS software process maturity model
(2020) Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2020 p.137-140
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automated CPE Labeling of CVE Summaries with Machine Learning
(2020) 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12223 LNCS. p.3-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
