Mika Cohen

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 6

Top Topics

Space Efficient

Enterprise Architecture

Top Venues

Autom. Softw. Eng.

CAiSE Workshops

Publications

Joel Brynielsson, Mika Cohen, Patrik Hansen, Samuel Lavebrink, Madeleine Lindström, Edward Tjörnhammar
Comparison of Strategies for Honeypot Deployment. ASONAM (2023)
Farzad Kamrani, Andreas Elers, Mika Cohen, Amir H. Payberah
MarioDAgger: A Time and Space Efficient Autonomous Driver. ICMLA (2020)
Ulrik Franke, Mika Cohen, Johan Sigholm
What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development. Softw. Syst. Model. 17 (2) (2018)
Mika Cohen, Michael Minock, Daniel Oskarsson, Björn Pelzer
Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration. CAiSE Workshops (2015)
Mika Cohen, Ulrik Franke
An experiment in ontology use for command and control interoperability. Autom. Softw. Eng. 22 (2) (2015)
Michael Minock, Daniel Oskarsson, Björn Pelzer, Mika Cohen
Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases. EDBT (2015)
Mika Cohen
Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture. PoEM (2014)
Mika Cohen
Semantics for Mapping Relations in SKOS. RR (2013)
Mika Cohen, Andreas Horndahl, Christian Mårtenson
First steps towards a context aware ontology-driven reporting system. I-SEMANTICS (2012)
Mika Cohen, Alessio Lomuscio
Non-elementary speed up for model checking synchronous perfect recall. ECAI (2010)
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
Model checking detectability of attacks in multiagent systems. AAMAS (2010)
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI (2009)
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
Automatic verification of temporal-epistemic properties of cryptographic protocols. J. Appl. Non Class. Logics 19 (4) (2009)
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA (2009)
Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo
Abstraction in model checking multi-agent systems. AAMAS (2) (2009)
Mika Cohen, Mads Dam
A Complete Axiomatization of Knowledge and Cryptography. LICS (2007)