PSY - Reliable Systems

Publications 2012-2024

2024

Integrating Data Privacy Compliance in Active Object Languages. Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth & Owe, Olaf. 2024, Lecture Notes in Computer Science (LNCS). (Academic article)

Simulating User Journeys with Active Objects. Kobialka, Paul; Schlatte, Rudolf; Bergersen, Gunnar R.; Johnsen, Einar Broch & Tapia Tarifa, Silvia Lizeth. 2024, Lecture Notes in Computer Science (LNCS). (Academic article)

2023

A Geological Case Study on Semantically Triggered Processes. Qu, Yuanwei; Kamburjan, Eduard & Giese, Martin. 2023, Springer. (Academic chapter/article/Conference paper)

A Methodological Framework for Designing Personalised Training Programs to Support Personnel Upskilling in Industry 5.0. Fraile, Francisco; Psarommatis Giannakopoulos, Foivos; Alarcón, Faustino & Joan, Jordi. 2023, Computers. https://doi.org/10.3390/computers12110224 (Academic article)

A Need for Privacy-Assistive Technology in Notice and Consent Paradigm in IoT. Tokas, Shukun & Erdogan, Gencer. 2023, Springer. https://doi.org/10.1007/978-3-031-36096-1_3 (Academic chapter/article/Conference paper)

Adapting Cyber-Risk Assessment for the Planning of Cyber-Physical Smart Grids Based on Industrial Needs. Erdogan, Gencer; Sperstad, Iver Bakken; Garau, Michele; Gjerde, Oddbjørn; Tøndel, Inger Anne; Tokas, Shukun & Jaatun, Martin Gilje. 2023, Springer. https://doi.org/10.1007/978-3-031-37231-5_5 (Academic chapter/article/Conference paper)

Application of automation for in-line quality inspection, a zero-defect manufacturing approach. Azamfirei, Victor; Psarommatis Giannakopoulos, Foivos & Lagrosen, Yvonne. 2023, Journal of manufacturing systems. https://doi.org/10.1016/j.jmsy.2022.12.010 (Academic literature review)

Attribute-based encryption with enforceable obligations. Arshad, Hamed; Picazo Sanchez, Pablo; Johansen, Christian & Schneider, Gerardo. 2023, Journal of Cryptographic Engineering (JCEN). https://doi.org/10.1007/s13389-023-00317-1 (Academic article)

Behavior Trees and State Machines in Robotics Applications. Ghzouli, Razan; Berger, Thorsten; Johnsen, Einar Broch; Wasowski, Andrzej & Dragule, Swaib. 2023, IEEE Transactions on Software Engineering. https://doi.org/10.1109/TSE.2023.3269081 (Academic article)

Building User Journey Games from Multi-party Event Logs. Kobialka, Paul; Mannhardt, Felix; Tapia Tarifa, Silvia Lizeth & Johnsen, Einar Broch. 2023, Lecture Notes in Business Information Processing. https://doi.org/10.1007/978-3-031-27815-0_6 (Academic article)

Compositional Correctness and Completeness for Symbolic Partial Order Reduction. Kløvstad, Åsmund Aqissiaq Arild; Kamburjan, Eduard & Johnsen, Einar Broch. 2023, Leibniz International Proceedings in Informatics. https://doi.org/10.4230/LIPIcs.CONCUR.2023.9 (Academic article)

Deductive verification of active objects with Crowbar. Kamburjan, Eduard; Scaletta, Marco & Rollshausen, Nils. 2023, Science of Computer Programming. https://doi.org/10.1016/j.scico.2023.102928 (Academic article)

Denotational Semantics for Symbolic Execution. Voogd, Eisse Hendrik; Kløvstad, Åsmund Aqissiaq Arild & Johnsen, Einar Broch. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-47963-2_22 (Academic article)

Envisioning maintenance 5.0: Insights from a systematic literature review of Industry 4.0 and a proposed framework. Psarommatis Giannakopoulos, Foivos; May, Gökan & Azamfirei, Victor. 2023, Journal of manufacturing systems. https://doi.org/10.1016/j.jmsy.2023.04.009 (Academic literature review)

Expert Opinions as a Method of Validating Ideas: Applied to Making GDPR Usable. Fischer-Hubner, Simone & Johansen, Johanna. 2023, Springer. https://doi.org/https://doi.org/10.1007/978-3-031-28643-8_7 (Academic chapter/article/Conference paper)

Formal Modelling and Analysis of a Self-Adaptive Robotic System. Pässler, Juliane Linda; ter Beek, Maurice H.; Damiani, Ferruccio; Tapia Tarifa, Silvia Lizeth & Johnsen, Einar Broch. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-47705-8_18 (Academic article)

Formal Specification and Testing for Reinforcement Learning. Varshosaz, Mahsa; Ghaffari, Mohsen; Johnsen, Einar Broch & Wasowski, Andrzej. 2023, Proceedings of the ACM on Programming Languages (PACMPL). https://doi.org/10.1145/3607835 (Academic article)

How to avoid a local epidemic becoming a global pandemic. Stenseth, Nils Christian; Schlatte, Rudolf; Liu, Xiaoli; Pielke, Roger; Li, Ruiyun; Chen, Bin; Bjørnstad, Ottar Nordal; Kusnezov, Dimitri; Gao, George F.; Fraser, Christophe et al.. 2023, Proceedings of the National Academy of Sciences of the United States of America. https://doi.org/10.1073/pnas.2220080120 (Academic article)

Maximizing Energy Efficiency in Additive Manufacturing: A Review and Framework for Future Research. May, Gokan & Psarommatis Giannakopoulos, Foivos. 2023, Energies. https://doi.org/10.3390/en16104179 (Academic literature review)

NebulOuS: A Meta-Operating System with Cloud Continuum Brokerage Capabilities. Verginadis, Yiannis; Sarros, Christos-Alexandros; Reyes de Los Mozos, Mario; Veloudis, Simeon; Piliszek, Radosław; Kourtellis, Nicolas & Horn, Geir. 2023, IEEE conference proceedings. https://doi.org/10.1109/FMEC59375.2023.10306090 (Academic chapter/article/Conference paper)

Planning With Ontology-Enhanced States Using Problem-Dependent Rewritings. John, Tobias & Koopmann, Patrick. 2023, CEUR Workshop Proceedings. (Academic article)

Predicting resource consumption of Kubernetes container systems using resource models. Turin, Gianluca; Borgarelli, Andrea; Donetti, Simone; Damiani, Ferruccio; Tapia Tarifa, Silvia Lizeth & Johnsen, Einar Broch. 2023, Journal of Systems and Software. https://doi.org/10.1016/j.jss.2023.111750 (Academic article)

Privacy-Aware IoT: State-of-the-Art and Challenges. Tokas, Shukun; Erdogan, Gencer & Stølen, Ketil. 2023, SciTePress. https://doi.org/10.5220/0011656400003405 (Academic chapter/article/Conference paper)

Programming Paradigms for the Cloud Continuum. Horn, Geir; Di Martino, Beniamino; D’Angelo, Salvatore & Esposito, Antonio. 2023, Springer. https://doi.org/10.1007/978-3-031-28694-0_14 (Academic chapter/article/Conference paper)

Real-Time Event Detection with Random Forests and Temporal Convolutional Networks for More Sustainable Petroleum Industry. Qu, Yuanwei; Zhou, Baifan; Waaler, Arild Torolv Søetorp & Cameron, David B.. 2023, Springer. https://doi.org/10.1007/978-981-99-7025-4_41 (Academic chapter/article/Conference paper)

Reply to Ekström and Ottersen: Real-time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic. Stenseth, Nils Christian; Schlatte, Rudolf; Liu, Xiaoli; Pielke, Roger Jr.; Chen, Ben; Bjørnstad, Ottar Nordal; Kusnezov, Dimitri; Gao, George F.; Fraser, Christophe; Whittington, Jason D et al.. 2023, Proceedings of the National Academy of Sciences of the United States of America. https://doi.org/10.1073/pnas.2312649120 (Short communication)

Runtime Enforcement Using Knowledge Bases. Kamburjan, Eduard & Din, Crystal Chang. 2023, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-30826-0_12 (Academic article)

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. Rezende Silva, Gustavo; Pässler, Juliane Linda; Zwanepol, Jeroen; Alberts, Elvin; Tapia Tarifa, Silvia Lizeth; Gerostathopoulos, Ilias; Johnsen, Einar Broch & Hernández Corbato, Carlos. 2023, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/SEAMS59076.2023.00031 (Academic chapter/article/Conference paper)

Towards Ontology-Mediated Planning with OWL DL Ontologies. John, Tobias & Koopmann, Patrick. 2023, CEUR Workshop Proceedings. (Academic article)

Utility Function Creator for Cloud Application Optimization. Różańska, Marta; Kritikos, Kyriakos; Marchel, Jan; Folga, Damian & Horn, Geir. 2023, Springer. https://doi.org/10.1007/978-3-031-28694-0_58 (Academic chapter/article/Conference paper)

Zero Defect Manufacturing ontology: A preliminary version based on standardized terms. Psarommatis Giannakopoulos, Foivos; Fraile, Francisco & Ameri, Farhad. 2023, Computers in industry (Print). https://doi.org/10.1016/j.compind.2022.103832 (Academic article)

2022

A Formal Model of Metacontrol in Maude. Päßler, Juliane; Aguado, Esther; Rezende Silva, Gustavo; Tapia Tarifa, Silvia Lizeth; Hernández Corbato, Carlos & Johnsen, Einar Broch. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-19849-6_32 (Academic article)

A holistic approach for achieving Sustainable manufacturing using Zero Defect Manufacturing: a conceptual Framework. Psarommatis Giannakopoulos, Foivos & Bravos, George. 2022, Procedia CIRP. https://doi.org/10.1016/j.procir.2022.04.018 (Academic article)

A hybrid Decision Support System for automating decision making in the event of defects in the era of Zero Defect Manufacturing. Psarommatis Giannakopoulos, Foivos & Kiritsis, Dimitris. 2022, Journal of Industrial Information Integration. https://doi.org/10.1016/j.jii.2021.100263 (Academic article)

A lightweight approach to smart contracts supporting safety, security, and privacy. Owe, Olaf & Fazeldehkordi, Elahe. 2022, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2022.100772 (Academic article)

A literature review and design methodology for digital twins in the era of zero defect manufacturing. Psarommatis Giannakopoulos, Foivos & May, Gokan. 2022, International Journal of Production Research. https://doi.org/10.1080/00207543.2022.2101960 (Academic literature review)

A multidisciplinary definition of privacy labels. Johansen, Johanna; Pedersen, Tore; Fischer-Hübner, Simone; Johansen, Christian; Schneider, Gerardo; Roosendaal, Arnold; Zwingelberg, Harald; Sivesind, Anders Jakob & Noll, Josef. 2022, Information and Computer Security. https://doi.org/10.1108/ICS-06-2021-0080 (Academic article)

A Note on Idleness Detection of Actor Systems. Schlatte, Rudolf. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-08166-8_21 (Academic article)

A Notion of Equivalence for Refactorings with Abstract Execution . Abusdal, Ole Jørgen; Kamburjan, Eduard; Pun, Violet Ka I & Stolz, Volker. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-19756-7_15 (Academic article)

A Policy Language to Capture Compliance of Data Protection Requirements. Baramashetru, Chinmayi; Tapia Tarifa, Silvia Lizeth; Owe, Olaf & Gruschka, Nils. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-07727-2_16 (Academic article)

A semantic systems engineering framework for zero-defect engineering and operations in the continuous process industries. Cameron, David B.; Waaler, Arild Torolv Søetorp; Fjøsna, Erlend; Hole, Monica & Psarommatis Giannakopoulos, Foivos. 2022, Frontiers in Manufacturing Technology. https://doi.org/10.3389/fmtec.2022.945717 (Academic article)

A Specification Logic for Programs in the Probabilistic Guarded Command Language. Pardo, Raul; Johnsen, Einar Broch; Schaefer, Ina & Wasowski, Andrzej. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-17715-6_24 (Academic article)

A standardized approach for measuring the performance and flexibility of digital twins. Psarommatis Giannakopoulos, Foivos & May, Gokan. 2022, International Journal of Production Research. https://doi.org/10.1080/00207543.2022.2139005 (Academic article)

A Supervised Learning Solver for Proactive Optimization of Cross-Cloud Applications. Różańska, Marta; Karnas, Katarzyna & Horn, Geir. 2022, IEEE conference proceedings. https://doi.org/10.1109/CCGrid54584.2022.00103 (Academic chapter/article/Conference paper)

Achieving Global Sustainability Through Sustainable Product Life Cycle. Psarommatis Giannakopoulos, Foivos & May, Gokan. 2022, IFIP Advances in Information and Communication Technology. https://doi.org/10.1007/978-3-031-16407-1_46 (Academic article)

AFSD: Adaptive Feature Space Distillation for Distributed Deep Learning. Khaleghian, Salman; Ullah, Habib; Johnsen, Einar Broch; Andersen, Anders & Marinoni, Andrea. 2022, IEEE Access. https://doi.org/10.1109/ACCESS.2022.3197646 (Academic article)

An Architecture for Autonomous Proactive and Polymorphic Optimization of Cloud Applications. Różańska, Marta; Skrzypek, Paweł; Materka, Katarzyna & Horn, Geir. 2022, Springer. https://doi.org/10.1007/978-3-030-99619-2_53 (Academic chapter/article/Conference paper)

An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. Lee, Jaehun; Bae, Kyungmin & Ölveczky, Peter Csaba. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-19759-8_4 (Academic article)

Bridging the semantic gap between qualitative and quantitative models of distributed systems. Li, Siu; Meseguer, Jose; Ölveczky, Peter Csaba; Zhang, Min & Basin, David. 2022, Proceedings of the ACM on Programming Languages (PACMPL). https://doi.org/10.1145/3563299 (Academic article)

Data-based model maintenance in the era of industry 4.0: A methodology. Dreyfus, Paul-Arthur; Pélissier, Antoine; Psarommatis Giannakopoulos, Foivos & Kiritsis, Dimitris. 2022, Journal of manufacturing systems. https://doi.org/10.1016/j.jmsy.2022.03.015 (Academic article)

Digital Twin for the Prediction of Extreme Loads on a Wave Energy Conversion System. Katsidoniotaki, Eirini; Psarommatis Giannakopoulos, Foivos & Göteman, Malin. 2022, Energies. https://doi.org/10.3390/en15155464 (Academic article)

Digital Twin Reconfiguration Using Asset Models. Kamburjan, Eduard; Klungre, Vidar Norstein; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Cameron, David & Johnsen, Einar Broch. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-19762-8_6 (Academic article)

Digital Twins for Autonomic Cloud Application Management. Horn, Geir; Schlatte, Rudolf & Johnsen, Einar Broch. 2022, Springer. https://doi.org/10.1007/978-3-030-99619-2_14 (Academic chapter/article/Conference paper)

DPL: A Language for GDPR Enforcement. Karami, Farzane; Basin, David & Johnsen, Einar Broch. 2022, IEEE Press. https://doi.org/10.1109/CSF54842.2022.9919687 (Academic chapter/article/Conference paper)

Empirical study of day-ahead electricity spot-price forecasting: Insights into a novel loss function for training neural networks. Loutfi, Ahmad Amine; Sun, Mengtao; Loutfi, Ijlal & Solibakke, Per Bjarte. 2022, Applied Energy. https://doi.org/10.1016/j.apenergy.2022.119182 (Academic article)

From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. John, Tobias; Jantsch, Simon; Baier, Christel & Klüppelholz, Sascha. 2022, Innovations in Systems and Software Engineering. https://doi.org/10.1007/s11334-022-00445-7 (Academic article)

Industrial ontologies for interoperability in agile and resilient manufacturing. Ameri, Farhad; Sormaz, Dusan; Psarommatis Giannakopoulos, Foivos & Kiritsis, Dimitris. 2022, International Journal of Production Research. https://doi.org/10.1080/00207543.2021.1987553 (Academic article)

Knowledge Structures Over Simulation Units. Kamburjan, Eduard & Johnsen, Einar Broch. 2022, IEEE Press. https://doi.org/10.23919/ANNSIM55834.2022.9859490 (Academic chapter/article/Conference paper)

Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. Tapia Tarifa, Silvia Lizeth. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-08166-8_23 (Academic article)

Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. Lee, Jaehun; Bae, Kyungmin; Ölveczky, Peter Csaba; Kim, Sharon & Kang, Minseok. 2022, International Journal on Software Tools for Technology Transfer (STTT). https://doi.org/10.1007/s10009-022-00665-z (Academic article)

Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. Hansen, Simon Thrane & Ölveczky, Peter Csaba. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-12441-9_7 (Academic article)

Needs and Challenges Concerning Cyber-Risk Assessment in the Cyber-Physical Smart Grid. Erdogan, Gencer; Tøndel, Inger Anne; Tokas, Shukun; Garau, Michele & Jaatun, Martin Gilje. 2022, SciTePress. https://doi.org/https://doi.org/10.5220/0011137100003266 (Academic chapter/article/Conference paper)

Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data. Kamburjan, Eduard; Klungre, Vidar Norstein & Giese, Martin. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-06981-9_12 (Academic article)

On the Notion of Naturalness in Formal Modeling . Kamburjan, Eduard & Rama Fiorini, Sandro. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-08166-8_13 (Academic article)

Proactive Autonomic Cloud Application Management. Różańska, Marta & Horn, Geir. 2022, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/UCC56403.2022.00021 (Academic chapter/article/Conference paper)

Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. Arshad, Hamed; Horne, Ross; Johansen, Christian; Owe, Olaf & Willemse, Tim A. C.. 2022, Springer. https://doi.org/10.1007/978-3-031-08679-3_2 (Academic chapter/article/Conference paper)

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. Arias, Jaime; Bae, Kyungmin; Olarte, Carlos; Ölveczky, Peter Csaba; Petrucci, Laure & Rømming, Fredrik. 2022, Association for Computing Machinery (ACM). https://doi.org/10.1145/3563822.3569923 (Academic chapter/article/Conference paper)

Semantic Attribute-Based Access Control: A review on current status and future perspectives. Arshad, Hamed; Johansen, Christian & Owe, Olaf. 2022, Journal of systems architecture. https://doi.org/10.1016/j.sysarc.2022.102625 (Academic literature review)

Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies. Arshad, Hamed; Johansen, Christian; Owe, Olaf; Picazo-Sanchez, Pablo & Schneider, Gerardo. 2022, Information Sciences. https://doi.org/10.1016/j.ins.2022.10.132 (Academic article)

Subsurface Evaluation Through Multi-scenario Reasoning. Yu, Ingrid Chieh; Pene, Irina; Din, Crystal Chang; Karlsen, Leif Harald; Nguyen, Chi Mai; Stahl, Oliver & Latif, Adnan. 2022, Springer Nature. https://doi.org/10.1007/978-3-030-90716-7_10 (Academic chapter/article/Conference paper)

Systematic Development of a Powder Deposition System for an Open Selective Laser Sintering Machine Using Analytic Hierarchy Process. Psarommatis Giannakopoulos, Foivos & Vosniakos, George-Christopher. 2022, Journal of Manufacturing and Materials Processing (JMMP). https://doi.org/10.3390/jmmp6010022 (Academic article)

Teaching Formal Methods to Undergraduate Students Using Maude. Ölveczky, Peter Csaba. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-12441-9_5 (Academic article)

The ABS simulator toolchain. Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard & Tapia Tarifa, Silvia Lizeth. 2022, Science of Computer Programming. https://doi.org/10.1016/j.scico.2022.102861 (Academic article)

The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics . Kamburjan, Eduard & Wasser, Nathan. 2022, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.365.1 (Academic article)

The role of big data analytics in the context of modeling design and operation of manufacturing systems. Psarommatis Giannakopoulos, Foivos; Kiritsis, Dimitris & Dreyfus, Paul-Arthur. 2022, System (Linköping). https://doi.org/10.1016/B978-0-12-823657-4.00012-9 (Academic article)

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Johnsen, Einar Broch. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-19849-6_12 (Academic article)

Variability Modules . Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael & Paolini, Luca. 2022, Journal of Systems and Software. https://doi.org/10.1016/j.jss.2022.111510 (Academic article)

Virtual metrology as an approach for product quality estimation in Industry 4.0: a systematic review and integrative conceptual framework. Dreyfus, Paul-Arthur; Psarommatis Giannakopoulos, Foivos; May, Gokan & Kiritsis, Dimitris. 2022, International Journal of Production Research. https://doi.org/10.1080/00207543.2021.1976433 (Academic article)

Weighted Games for User Journeys. Kobialka, Paul; Tapia Tarifa, Silvia Lizeth; Bergersen, Gunnar R. & Johnsen, Einar Broch. 2022, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-031-17108-6_16 (Academic article)

Zero-defect manufacturing the approach for higher manufacturing sustainability in the era of industry 4.0: A position paper. Psarommatis Giannakopoulos, Foivos; Sousa, João; Mendonça, João Pedro & Kiritsis, Dimitris. 2022, International Journal of Production Research. https://doi.org/10.1080/00207543.2021.1987551 (Academic article)

2021

A Semantic Approach to Identifier Management in Engineering Systems . Mehmandarov, Rustam Karim; Waaler, Arild Torolv Søetorp; Cameron, David; Fjellheim, Roar & Pettersen, Thomas B.. 2021, IEEE Press. https://doi.org/10.1109/BigData52589.2021.9671515 (Academic chapter/article/Conference paper)

A Systematic Mapping Study on Cyber Security Indicator Data. Meland, Per Håkon; Tokas, Shukun; Erdogan, Gencer; Bernsmed, Karin & Omerovic, Aida. 2021, Electronics. https://doi.org/10.3390/electronics10091092 (Academic literature review)

Boreas – A Service Scheduler for Optimal Kubernetes Deployment. Lebesbye, Torgeir; Mauro, Jacopo; Turin, Gianluca & Yu, Ingrid Chieh. 2021, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-91431-8_14 (Academic article)

Designing Distributed Control with Hybrid Active Objects. Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch & Tapia Tarifa, Silvia Lizeth. 2021, Springer. https://doi.org/10.1007/978-3-030-83723-5_7 (Academic chapter/article/Conference paper)

Determinization and Limit-Determinization of Emerson-Lei Automata. John, Tobias; Jantsch, Simon; Baier, Christel & Klüppelholz, Sascha. 2021, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-88885-5_2 (Academic article)

Formal Aspects of Computing, Volume 33, Number 6, December 2021. Extended versions of papers presented at iFM 2019.. Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth & Wehrheim, Heike. 2021, Formal Aspects of Computing. https://doi.org/10.1007/s00165-021-00569-w (Editoral)

Formal Relations over Ontology Patterns in Templating Frameworks. Kindermann, Christian; Lupp, Daniel P.; Skjæveland, Martin G & Karlsen, Leif Harald. 2021, IOS Press. https://doi.org/ 10.3233/SSW210010 (Academic chapter/article/Conference paper)

Formal Techniques for Safety-Critical Systems (FTSCS 2018) . Artho, Cyrillo & Ølveczky, Peter Csaba. 2021, Science of Computer Programming. https://doi.org/10.1016/j.scico.2021.102658 (Editoral)

Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL . Gonzalez Burgueno, Antonio & Ølveczky, Peter Csaba. 2021, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2021.100685 (Academic article)

From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects. Kamburjan, Eduard. 2021, Association for Computing Machinery (ACM). https://doi.org/https://doi.org/10.1145/3447928.3456633 (Academic chapter/article/Conference paper)

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. Lee, Jaehun; Kim, Sharon; Bae, Kyungmin & Ølveczky, Peter Csaba. 2021, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-81685-8_23 (Academic article)

IAVS: Intelligent Active Network Vulnerability Scanner. Bazrafkan, Mohammad H.; Nowroozi, Alireza; Ramezanifarkhani, Toktam & Teymoori, Peyman. 2021, Norsk Informasjonssikkerhetskonferanse (NISK). (Academic article)

Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. Kamburjan, Eduard & Grätz, Lukas. 2021, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-91550-6_4 (Academic article)

InfoInternet for education in the Global South: A study of applications enabled by free information-only internet access in technologically disadvantaged areas. Johansen, Johanna; Noll, Josef & Johansen, Christian. 2021, African Journal of Science, Technology, Innovation and Development (AJSTID). https://doi.org/10.1080/20421338.2021.1884326 (Academic article)

Marginal metric utility for autonomic cloud application management. Różańska, Marta & Horn, Geir. 2021, Association for Computing Machinery (ACM). https://doi.org/10.1145/3492323.3495587 (Academic chapter/article/Conference paper)

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard & Tapia Tarifa, Silvia Lizeth. 2021, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-78142-2_1 (Academic article)

MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems.. Bae, Kyungmin & Ølveczky, Peter Csaba. 2021, ACM Transactions on Embedded Computing Systems. https://doi.org/10.1145/3477036 (Academic article)

OTTR: Formal Templates for Pattern-Based Ontology Engineering. Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Kluwer, Johan Wilhelm. 2021, IOS Press. https://doi.org/ 10.3233/SSW210025 (Academic chapter/article/Conference paper)

Programming and Debugging with Semantically Lifted States (Full Paper). Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin. 2021, Springer. (Report)

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —. Cerone, Antonio; Roggenbach, Markus; Davenport, James; Denner, Casey; Farrell, Marie; Haveraaen, Magne; Moller, Faron; Körner, Philipp; Krings, Sebastian; Ölveczky, Peter Csaba et al.. 2021, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-030-71374-4_1 (Academic article)

SAT modulo discrete event simulation applied to railway design capacity analysis. Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian & Steffen, Martin. 2021, Formal methods in system design. https://doi.org/10.1007/s10703-021-00368-2 (Academic article)

SemML: Facilitating development of ML models for condition monitoring with semantics. Zhou, Baifan; Svetashova, Yulia; Silva Gusmao, Andre; Soylu, Ahmet; Cheng, Gong; Mikut, Ralf; Waaler, Arild Torolv Søetorp & Kharlamov, Evgeny. 2021, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2021.100664 (Academic article)

Smart Journey Mining for Improved Service Quality. Halvorsrud, Ragnhild; Mannhardt, Felix; Johnsen, Einar Broch & Tapia Tarifa, Silvia Lizeth. 2021, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/SCC53864.2021.00051 (Academic chapter/article/Conference paper)

Software engineering and formal methods: SEFM 2019 special section I tidsskriftet "Software and Systems Modeling” (. Ølveczky, Peter Csaba & Salaün, Gwen. 2021, Software and Systems Modeling (SoSyM). https://doi.org/10.1007/s10270-021-00874-1 (Editoral)

Static checking of GDPR-related privacy compliance for object-oriented distributed systems. Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam. 2021, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2021.100733 (Academic article)

Studying human-to-computer bias transference. Johansen, Johanna; Pedersen, Tore & Johansen, Christian. 2021, AI & Society: The Journal of Human-Centred Systems and Machine Intelligence. https://doi.org/10.1007/s00146-021-01328-4 (Academic article)

Teaching Formal Methods for Fun Using Maude. Ølveczky, Peter Csaba. 2021, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-030-71374-4_3 (Academic article)

The Snowden Phone: A Comparative Survey of Secure Instant Messaging Mobile Applications . Johansen, Christian; Aulon, Mujaj; Arshad, Hamed & Noll, Josef. 2021, Security and Communication Networks. https://doi.org/10.1155/2021/9965573 (Academic literature review)

Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. Kamburjan, Eduard & Kostylev, Egor. 2021, CEUR Workshop Proceedings. (Academic article)

Variability Modules for Java-like Languages. Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael & Paolini, Luca. 2021, Association for Computing Machinery (ACM). https://doi.org/10.1145/3461001.3471143 (Academic chapter/article/Conference paper)

2020

A Configurable and Executable Model of Spark Streaming on Apache YARN. Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh & Johnsen, Einar Broch. 2020, International Journal of Grid and Utility Computing (IJGUC). https://doi.org/10.1504/IJGUC.2020.105531 (Academic article)

A Crisis Situations Decision-Making Systems Software Development Process with Rescue Experiences. Nowroozi, Alireza; Teymoori, Peyman; Ramezanifarkhani, Toktam; Besharati, Mohammad Reza & Izadi, Mohammad. 2020, IEEE Access. https://doi.org/10.1109/ACCESS.2020.2981789 (Academic article)

A Formal Framework for Consent Management. Tokas, Shukun & Owe, Olaf. 2020, Springer Nature. https://doi.org/10.1007/978-3-030-50086-3_10 (Academic chapter/article/Conference paper)

A Formal Model of the Kubernetes Container Framework. Turin, Gianluca; Borgarelli, Andrea; Donetti, Simone; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth & Damiani, Ferruccio. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-61362-4_32 (Academic article)

A Framework for Flexible Program Evolution and Verification of Distributed Systems. Owe, Olaf; Fazeldehkordi, Elahe & Lin, Jia-Chun. 2020, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-030-37873-8_14 (Academic article)

A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. Fazeldehkordi, Elahe; Owe, Olaf & Ramezanifarkhani, Toktam. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-42051-2_18 (Academic article)

Active Objects with Deterministic Behavior. Henrio, Ludovic; Johnsen, Einar Broch & Pun, Ka I. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-63461-2_10 (Academic article)

An Event-Driven Multi Agent System for Scalable Traffic Optimization. Horn, Geir; Przeźdiȩk, Tomasz; Büscher, Monika; Venticinque, Salvatore; Aversa, Rocco; Di Martino, Beniamino; Esposito, Antonio; Skrzypek, Paweł & Leznik, Mark. 2020, Springer. https://doi.org/10.1007/978-3-030-44038-1_125 (Academic chapter/article/Conference paper)

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients. Johnsen, Einar Broch; Steffen, Martin & Stumpf, Johanna Beate. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-61362-4_6 (Academic article)

Behavior Trees in Action: A Study of Robotics Applications. Ghzouli, Razan; Berger, Thorsten; Johnsen, Einar Broch; Dragule, Swaib & Wąsowski, Andrzej. 2020, Association for Computing Machinery (ACM). https://doi.org/https://doi.org/10.1145/3426425.3426942 (Academic chapter/article/Conference paper)

Behavioral Contracts for Cooperative Scheduling. Kamburjan, Eduard; Din, Crystal Chang; Hähnle, Reiner & Johnsen, Einar Broch. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-64354-6_4 (Academic article)

Consistency-Preserving Evolution Planning on Feature Models. Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik; Motzfeldt, Ida; Din, Crystal Chang; Yu, Ingrid Chieh & Schaefer, Ina. 2020, Association for Computing Machinery (ACM). https://doi.org/10.1145/3382025.3414964 (Academic chapter/article/Conference paper)

Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector. Fava, Daniel Schnetzer. 2020, Springer. https://doi.org/10.1007/978-3-030-58768-0_2 (Academic chapter/article/Conference paper)

Formal aspects of component software (FACS 2018). Bae, Kyungmin & Ölveczky, Peter Csaba. 2020, Science of Computer Programming. https://doi.org/10.1016/j.scico.2020.102547 (Editoral)

From SOS to asynchronously communicating actors. de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-57506-9_20 (Academic article)

Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter Csaba & Qi, Wang. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-55754-6_2 (Academic article)

Global Reproducibility Through Local Control for Distributed Active Objects. Tveito, Lars; Johnsen, Einar Broch & Schlatte, Rudolf. 2020, Springer. https://doi.org/10.1007/978-3-030-45234-6_7 (Academic chapter/article/Conference paper)

Language-based mechanisms for privacy-by-design. Tokas, Shukun; Owe, Olaf & Ramezanifarkhani, Toktam. 2020, Springer Nature. https://doi.org/10.1007/978-3-030-42504-3_10 (Academic chapter/article/Conference paper)

Lazy product discovery in huge configuration spaces. Lienhardt, Michael; Damiani, Ferruccio; Johnsen, Einar Broch & Mauro, Jacopo. 2020, Proceedings - International Conference on Software Engineering. https://doi.org/10.1145/3377811.3380372 (Academic article)

Making GDPR usable: A model to support usability evaluations of privacy. Johansen, Johanna & Fischer-Hübner, Simone. 2020, Springer Nature. https://doi.org/10.1007/978-3-030-42504-3_18 (Academic chapter/article/Conference paper)

Model checking starvation for resource-aware active objects with coloured petri nets. Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh. 2020, CEUR Workshop Proceedings. (Academic article)

Modelling human reasoning in practical behavioural contexts using real-time maude. Cerone, Antonio & Ølveczky, Peter Csaba. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-54994-7_32 (Academic article)

Ready, set, Go! Data-race detection and the Go language. Fava, Daniel Schnetzer & Steffen, Martin. 2020, Science of Computer Programming. https://doi.org/10.1016/j.scico.2020.102473 (Academic article)

Security and Privacy Functionalities in IoT. Fazeldehkordi, Elahe; Owe, Olaf & Noll, Josef. 2020, IEEE conference proceedings. https://doi.org/10.1109/PST47121.2019.8949054 (Chapter)

Software and Reversible Systems: A Survey of Recent Activities. Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Cservenka, Martin Holm; Lanese, Ivan; Mogensen, Torben Æ.; Siljak, Harun; Schultz, Ulrik Pagh et al.. 2020, Springer. https://doi.org/https://doi.org/10.1007/978-3-030-47361-7_2 (Chapter)

SymPaths: Symbolic Execution Meets Partial Order Reduction. de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth & Tveito, Lars. 2020, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-64354-6_13 (Academic article)

Template Libraries for Industrial Asset Maintenance: A Methodology for Scalable and Maintainable Ontologies. Lupp, Daniel P.; Hodkiewicz, Melinda & Skjæveland, Martin G. 2020, CEUR Workshop Proceedings. (Academic article)

2019

A Flexible Framework for Program Evolution and Verification. Owe, Olaf; Lin, Jia-Chun & Fazeldehkordi, Elahe. 2019, SciTePress. https://doi.org/10.5220/0007690301770189 (Academic chapter/article/Conference paper)

A formal model of data access for multicore architectures with multilevel caches. Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2019, Science of Computer Programming. https://doi.org/10.1016/j.scico.2019.04.003 (Academic article)

A Higehr-Level View of Ontological Modeling: Rule-Based Appraoches for Data Transformation, Modeling, and Maintenance. Lupp, Daniel P.. 2019, Unipub forlag. (Doctoral dissertation)

An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data. Kharlamov, Evgeny; Kotidis, Yannis; Mailis, Theofilos; Neuenstadt, Christian; Nikolaou, Charalampos; Özcep, Özgür; Svingos, Christoforos; Zheleznyakov, Dmitriy; Ioannidis, Yannis; Lamparter, Steffen et al.. 2019, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2019.01.001 (Academic article)

Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv. de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I & Zavattaro, Gianluigi. 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.302.1 (Academic article)

Asynchronous Cooperative Contracts for Cooperative Scheduling. Kamburjan, Eduard; Din, Crystal Chang; Hahnle, Reiner & Johnsen, Einar Broch. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-30446-1_3 (Academic article)

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. Luteberget, Bjørnar Steinnes; Claessen, Koen & Johansen, Christian. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-34968-4_19 (Academic article)

Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. Liu, Si; Ölveczky, Peter Csaba; Zhang, Min; Wang, Qi & Meseguer, Jose. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-17465-1_3 (Academic article)

Cost Benefits of Multi-cloud Deployment of Dynamic Computational Intelligence Applications. Horn, Geir; Skrzypek, Paweł; Materka, Katarzyna & Przeździȩk, Tomasz. 2019, Springer. https://doi.org/10.1007/978-3-030-15035-8_102 (Academic chapter/article/Conference paper)

Dynamic Patterns for Cloud Application Life-Cycle Management. Horn, Geir; Arrieta, Leire Orue-Echevarria; Di Martino, Beniamino; Skrzypek, Paweł & Kyriazis, Dimosthenis. 2019, Springer. https://doi.org/10.1007/978-3-030-33509-0_59 (Academic chapter/article/Conference paper)

Dynamic Structural Operational Semantics. Johansen, Christian & Owe, Olaf. 2019, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2019.05.006 (Academic article)

Formal modeling and analysis of safety-critical human multitasking. Broccia, Giovanna; Milazzo, Paolo & Ölveczky, Peter Csaba. 2019, Innovations in Systems and Software Engineering. https://doi.org/10.1007/s11334-019-00333-7 (Academic article)

Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL. González-Burgueño, Antonio & Ölveczky, Peter Csaba. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-31517-7_9 (Academic article)

Geological Multi-scenario Reasoning. Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh & Østerlie, Thomas. 2019, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Godot: All the benefits of implicit and explicit futures. Fernandez-Reyes, Kiko; Clarke, Dave; Henrio, Ludovic; Johnsen, Einar Broch & Wrigstad, Tobias. 2019, Leibniz International Proceedings in Informatics. https://doi.org/10.4230/LIPIcs.ECOOP.2019.2 (Academic article)

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-16722-6_20 (Academic article)

MELODIC: Selection and Integration of Open Source to Build an Autonomic Cross-Cloud Deployment Platform. Horn, Geir; Skrzypek, Paweł; Prusinski, Marcin; Materka, Katarzyna; Stefanidis, Vassilis & Verginadis, Yiannis. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-29852-4_31 (Academic article)

Operational semantics of a weak memory model with channel synchronization. Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker. 2019, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2018.10.004 (Academic article)

PDS: Deduce elder privacy from smart homes. Lee, Ming-Chang; Lin, Jia-Chun & Owe, Olaf. 2019, Internet of Things: Engineering Cyber Physical Human Systems. https://doi.org/10.1016/j.iot.2019.100072 (Academic article)

Preface. Borda, Aimée; Cimini, Matteo; Cirstea, Corina; Dardha, Ornela; Fowler, Simon; Jakši ć, Svetlana; Knight, Sophia; Lanese, Ivan; Lange, Julien; López, HugoAndrés et al.. 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS). (Editoral)

Preface. Artho, Cyrille & Ölveczky, Peter Csaba. 2019, Communications in Computer and Information Science (CCIS). (Editoral)

Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Liu, Si; Ölveczky, Peter Csaba; Wang, Qi; Gupta, Indranil & Meseguer, José. 2019, Formal Aspects of Computing. https://doi.org/10.1007/s00165-019-00489-w (Academic article)

Security and privacy in iot systems: A case study of healthcare products. Fazeldehkordi, Elahe; Owe, Olaf & Noll, Josef. 2019, International Symposium on Medical Information and Communication Technology. https://doi.org/10.1109/ISMICT.2019.8743971 (Academic article)

Summary of: An Evaluation of Interaction Paradigms for Active Objects. Karami, Farzane; Owe, Olaf & Ramezanifarkhani, Toktam. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-34968-4_31 (Academic article)

Summary of: Dynamic Structural Operational Semantics. Johansen, Christian & Owe, Olaf. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-34968-4_30 (Academic article)

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. Lienhardt, Michael; Damiani, Ferruccio; Testa, Lorenzo & Turin, Gianluca. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-34968-4_32 (Short communication)

Synthesis of railway signaling layout from local capacity specifications. Luteberget, Bjørnar; Johansen, Christian & Steffen, Martin. 2019, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-30942-8_9 (Academic article)

Three party secure data transmission in IoT networks through design of a lightweight authenticated key agreement scheme. Ostad-Sharif, Arezou; Arshad, Hamed; Nikooghadam, Morteza & Abbasinezhad-Mood, Dariush. 2019, Future Generation Computer Systems. https://doi.org/10.1016/j.future.2019.04.019 (Academic article)

Translating active objects into colored Petri nets for communication analysis. Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin & Yu, Ingrid Chieh. 2019, Science of Computer Programming. https://doi.org/10.1016/j.scico.2019.04.002 (Academic article)

2018

A Model-Centric Approach to the Design of Resource-Aware Cloud Applications. Hähnle, Reiner & Johnsen, Einar Broch. 2018, Wiley-Blackwell. https://doi.org/10.1002/9781119174240.ch18 (Academic chapter/article/Conference paper)

A modular reasoning system using uninterpreted predicates for code reuse. Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh. 2018, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2017.11.004 (Academic article)

A secrecy-preserving language for distributed and object-oriented systems. Ramezanifarkhani, Toktam; Owe, Olaf & Tokas, Shukun. 2018, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2018.04.001 (Academic article)

An Algorithm for Simulating Human Selective Attention. Broccia, Giovanna; Milazzo, Paolo & Ölveczky, Peter Csaba. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-74781-1_4 (Academic article)

An Analysis Tool for Models of Virtualized Systems. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

An Evaluation of Interaction Paradigms for Active Objects. Karami, Farzane; Owe, Olaf & Ramezanifarkhani, Toktam. 2018, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2018.11.008 (Academic article)

An executable formal framework for safety-critical human multitasking. Broccia, Giovanna; Milazzo, Paolo & Ölveczky, Peter Csaba. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-77935-5_4 (Academic article)

Automatic Parameter Optimisation of Service Quality and Resource Usage. Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Checking Modal Contracts for Virtually Timed Ambients. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-02508-3_14 (Academic article)

Context-Driven and Real-Time Provisioning of Data-Centric IoT Services in the Cloud. Taherkordi, Amirhosein; Eliassen, Frank; McDonald, Michael & Horn, Geir. 2018, ACM Transactions on Internet Technology. https://doi.org/10.1145/3151006 (Academic article)

Deployment by Construction for Multicore Architectures. Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph & Tapia Tarifa, Silvia Lizeth. 2018, Springer. https://doi.org/10.1007/978-3-030-03418-4_26 (Academic chapter/article/Conference paper)

EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN. Lee, Ming-Chang; Lin, Jia-Chun & Owe, Olaf. 2018, Advanced Information Networking and Applications. https://doi.org/10.1109/AINA.2018.00145 (Academic article)

Finding Data Should be Easier than Finding Oil. Kharlamov, Evgeny; Skjæveland, Martin G; Hovland, Dag; Mailis, Theofilos; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Horrocks, Ian & Waaler, Arild. 2018, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/BigData.2018.8622035 (Academic chapter/article/Conference paper)

Formal modeling and analysis of the walter transactional data store. Liu, Si; Ölveczky, Peter Csaba; Wang, Qi & Meseguer, José. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-99840-4_8 (Academic article)

Formal Techniques for Safety-Critical Systems (FTSCS 2015). Artho, Cyrille & Ölveczky, Peter Csaba. 2018, Science of Computer Programming. (Editoral)

Future Cloud Systems Design: Challenges and Research Directions. Taherkordi, Amirhosein; Zahid, Feroz; Verginadis, Yiannis & Horn, Geir. 2018, IEEE Access. https://doi.org/10.1109/ACCESS.2018.2883149 (Academic article)

Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. Kindermann, Christian; Lupp, Daniel P.; Sattler, Ulrike & Thorstensen, Evgenij. 2018, CEUR Workshop Proceedings. (Academic article)

HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems. Røst, Thomas Brox; Seidl, Christoph; Yu, Ingrid Chieh; Damiani, Ferruccio; Johnsen, Einar Broch & Chesta, Cristina. 2018, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-319-79090-9_12 (Academic article)

IaaS Service Selection Revisited. Kritikos, Kyriakos & Horn, Geir Henrik. 2018, Springer. https://doi.org/10.1007/978-3-319-99819-0_13 (Academic chapter/article/Conference paper)

Making a Case for Formal Relations over Ontology Patterns. Lupp, Daniel Paul; Karlsen, Leif Harald & Skjæveland, Martin G. 2018, CEUR Workshop Proceedings. (Academic article)

Mapping Data to Ontologies with Exceptions Using Answer Set Programming. Lupp, Daniel Paul & Thorstensen, Evgenij. 2018, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Modeling and simulation of spark streaming. Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh & Johnsen, Einar Broch. 2018, Advanced Information Networking and Applications. https://doi.org/10.1109/AINA.2018.00068 (Academic article)

Oil and Gas digital twins after twenty years. How can they be made sustainable, maintainable and useful?. Cameron, David B.; Waaler, Arild & Komulainen, Tiina M.. 2018, Linköping Electronic Conference Proceedings. https://doi.org/10.3384/ecp181539 (Academic article)

On Enhancing Visual Query Building over KGs Using Query Logs. Klungre, Vidar Norstein; Soylu, Ahmet; Giese, Martin; Waaler, Arild & Kharlamov, Evgeny. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-04284-4_6 (Academic article)

Operational Semantics of a Weak Memory Model with Channel Synchronization. Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-95582-7_15 (Academic article)

Parallel Cost Analysis. Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun & Roman-Diez, Guillermo. 2018, ACM Transactions on Computational Logic. https://doi.org/10.1145/3274278 (Academic article)

Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper. Skjæveland, Martin G; Karlsen, Leif Harald & Lupp, Daniel P.. 2018, CEUR Workshop Proceedings. (Academic article)

Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. Skjæveland, Martin G; Lupp, Daniel P.; Karlsen, Leif Harald & Forssell, Jon Henrik. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-00671-6_28 (Academic article)

Privacy Mining from IoT-based Smart Homes (Online version). Lee, Ming-Chang; Lin, Jia-Chun & Owe, Olaf. 2018, Lecture Notes on Data Engineering and Communications Technologies. https://doi.org/10.1007/978-3-030-02613-4_27 (Academic article)

Program Verification for Exception Handling on Active Objects Using Futures. Chang Din, Crystal; Schlatte, Rudolf & Chen, Tzu-Chun. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-92970-5_5 (Academic article)

Release the Beasts: When Formal Methods Meet Real World Data. Schlatte, Rudolf; Johnsen, Einar Broch; Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-90089-6_8 (Academic article)

Resource-Aware Virtually Timed Ambients. Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate & Tveito, Lars. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-98938-9_12 (Academic article)

ROLA: A new distributed transaction protocol and its formal analysis. Liu, Si; Ölveczky, Peter Csaba; Santhanam, Keshav; Wang, Qi; Gupta, Indranil & Meseguer, José. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-89363-1_5 (Academic article)

Securing the Internet of Things with Recursive InterNetwork Architecture (RINA). Ramezanifarkhani, Toktam & Teymoori, Peyman. 2018, IEEE conference proceedings. https://doi.org/10.1109/ICCNC.2018.8390263 (Academic chapter/article/Conference paper)

Semantic Material Master Data Management at Aibel. Skjæveland, Martin G; Gjerver, Anders; Hansen, Christian Mahesh; Kluwer, Johan Wilhelm; Strand, Morten Rørvik; Waaler, Arild & Øverli, Per Øyvind. 2018, CEUR Workshop Proceedings. (Academic article)

Smart Communities of Intelligent Software Agents for Collaborating and Semantically Interoperable Micro-Grids. Aversa, Rocco; Di Martino, Beniamino; Horn, Geir Henrik; Hallsteinsen, Svein Olav; Venticinque, Salvatore & Jiang, Shanshan. 2018, Advances in Intelligent Systems and Computing. https://doi.org/10.1007/978-3-319-61566-0_79 (Academic article)

Using coloured Petri nets for resource analysis of active objects. Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh. 2018, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-030-02146-7_8 (Academic article)

Virtually timed ambients: A calculus of nested virtualization. Johnsen, Einar Broch; Steffen, Martin & Stumpf, Johanna Beate. 2018, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2017.10.001 (Academic article)

2017

A Calculus of Virtually Timed Ambients. Johnsen, Einar Broch; Steffen, Martin & Stumpf, Johanna Beate. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-72044-9_7 (Academic article)

A formal model of cloud-deployed software and its application to workflow processing. Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2017, IEEE Sarnoff Symposium. https://doi.org/10.23919/SOFTCOM.2017.8115501 (Academic chapter/article/Conference paper)

A formal model of parallel execution on multicore architectures with multilevel caches. Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-68034-7_4 (Academic article)

A model-Based Scalability Optimization Methodology for Cloud Applications. Lin, Jia-Chun; Mauro, Jacopo; Røst, Thomas Brox & Yu, Ingrid Chieh. 2017, Proceedings of the IEEE. https://doi.org/10.1109/SC2.2017.32 (Academic article)

A secure authentication and key agreement scheme for roaming service with user anonymity. Arshad, Hamed & Abbas, R. 2017, International Journal of Communication Systems. https://doi.org/10.1002/dac.3361 (Academic article)

A secure authentication and key agreement scheme for roaming service with user anonymity. Arshad, Hamed & Abbas, R. 2017, International Journal of Communication Systems. https://doi.org/10.1002/dac.3361 (Academic article)

A Survey of Active Object Languages. de Boer, Frank; Serbanescu, Vlad; Hähnle, Reiner; Henrio, Ludovic; Rochas, Justine; Din, Crystal Chang; Johnsen, Einar Broch; Sirjani, Marjan; Khamespanah, Ehsan; Fernandez-Reyes, Kiko et al.. 2017, ACM Computing Surveys. https://doi.org/10.1145/3122848 (Academic article)

An Improved SIP Authentication Scheme Based on Server-Oriented Biometric Verification. Irshad, A; Kumari, S; Li, X; Wu, F; Chaudhry, S A & Arshad, Hamed. 2017, Wireless Personal Communications. https://doi.org/10.1007/s11277-017-4601-9 (Academic article)

An Improved SIP Authentication Scheme Based on Server-Oriented Biometric Verification. Irshad, A; Kumari, S; Li, X; Wu, F; Chaudhry, S A & Arshad, Hamed. 2017, Wireless Personal Communications. https://doi.org/10.1007/s11277-017-4601-9 (Academic article)

Confidentiality of Interactions in Concurrent Object-Oriented Systems. Owe, Olaf & Ramezanifarkhani, Toktam. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-67816-0_2 (Academic article)

Design and FPGA implementation of an efficient security mechanism for mobile pay TV systems. Arshad, Hamed; Nikooghadam, Morteza; Avezverdi, S & Nazari, M. 2017, International Journal of Communication Systems. https://doi.org/10.1002/dac.3305 (Academic article)

Design and FPGA implementation of an efficient security mechanism for mobile pay TV systems. Arshad, Hamed; Nikooghadam, Morteza; Avezverdi, S & Nazari, M. 2017, International Journal of Communication Systems. https://doi.org/10.1002/dac.3305 (Academic article)

Design and validation of cloud storage systems using formal methods. Ölveczky, Peter Csaba. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-68953-1_1 (Academic article)

EASYINTERFACE: A toolkit for rapid development of GUIs for research prototype tools. Domenech, Jesus; Genaim, Samir; Johnsen, Einar Broch & Schlatte, Rudolf. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-662-54494-5_22 (Academic article)

Efficient verification of railway infrastructure designs against standard regulations. Luteberget, Bjørnar Steinnes & Johansen, Christian. 2017, Formal methods in system design. https://doi.org/10.1007/s10703-017-0281-z (Academic article)

Exploring Design Alternatives for RAMP Transactions Through Statistical Model, Checking. Liu, Si; Ölveczky, Peter Csaba; Ganhotra, Jatin; Gupta, Indranil & Meseguer, José. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-68690-5_18 (Academic article)

Formal Techniques for Safety-Critical Systems (FTSCS 2014). Artho, Cyrille & Ölveczky, Peter Csaba. 2017, Science of Computer Programming. https://doi.org/10.1016/j.scico.2016.10.002 (Editoral)

Formalizing and Validating the P-Store Replicated Data Store in Maude. Ölveczky, Peter Csaba. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-72044-9_13 (Academic article)

From IoT big data to IoT Big Services. Taherkordi, Amirhosein; Eliassen, Frank & Horn, Geir Henrik. 2017, Association for Computing Machinery (ACM). https://doi.org/10.1145/3019612.3019700 (Academic chapter/article/Conference paper)

Game-Theoretic Analysis of Markovian Play Order in Wireless Networks. Teymoori, Peyman & Ramezanifarkhani, Toktam. 2017, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/NetSys.2017.7903951 (Academic chapter/article/Conference paper)

Hoare-style Reasoning from Multiple Contracts. Owe, Olaf; Ramezanifarkhani, Toktam & Fazeldehkordi, Elahe. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-66845-1_17 (Academic article)

Locally abstract, globally concrete semantics of concurrent programming languages. Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-66902-1_2 (Academic article)

Matching disease and phenotype ontologies in the ontology alignment evaluation initiative. Harrow, Ian; Jimenez-Ruiz, Ernesto; Splendiani, Andrea; Romacker, Martin; Woollard, Peter; Markel, Scott; Alam-Faruque, Yasmin; Koch, Martin; Malone, James & Waaler, Arild Torolv Søetorp. 2017, Journal of Biomedical Semantics. https://doi.org/10.1186/s13326-017-0162-9 (Academic article)

On adopting ontology alignment techniques within the phenotype acquisition process. Jimenez-Ruiz, Ernesto; Hovland, Dag; Slaughter, Laura; Håndstad, Tony & Waaler, Arild. 2017, CEUR Workshop Proceedings. (Abstract)

On Detecting Over-Eager Concurrency in Asynchronously Communicating Concurrent Object Systems. Owe, Olaf & McDowell, Charlie. 2017, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2017.02.005 (Academic article)

Ontology Based Data Access in Statoil. Kharlamov, Evgeny; Hovland, Dag; Skjæveland, Martin G; Bilidas, Dimitris; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Lanti, Davide; Rezk, Martin; Zheleznyakov, Dmitriy et al.. 2017, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2017.05.005 (Academic article)

Ontology-Based Data Access to Slegge. Hovland, Dag; Kontchakov, Roman; Skjæveland, Martin G; Waaler, Arild & Zakharyaschev, Michael. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-68204-4_12 (Academic article)

OptiqueVQS: a Visual Query System over Ontologies for Industry . Soylu, Ahmet; Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Jimenez-Ruiz, Ernesto; Giese, Martin; Skjæveland, Martin G; Hovland, Dag; Schlatte, Rudolf; Brandt, Sebastian; Lie, Hallstein et al.. 2017, Semantic Web Journal. https://doi.org/10.3233/sw-180293 (Academic article)

Participatory verification of railway infrastructure by representing regulations in RailCNL. Luteberget, Bjørnar Steinnes; Camilleri, John J.; Johansen, Christian & Schneider, Gerardo. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-66197-1_6 (Academic article)

Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. Skjæveland, Martin G; Forssell, Jon Henrik; Kluwer, Johan Wilhelm; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild. 2017, CEUR Workshop Proceedings. (Academic article)

Preface. Gabmeyer, Sebastian & Johnsen, Einar Broch. 2017, Lecture Notes in Computer Science (LNCS). (Editoral)

Querying industrial stream-temporal data: An ontology-based visual approach. Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Özçep, Özgür; Neuenstadt, Christian & Brandt, Sebastian. 2017, Journal of Ambient Intelligence and Smart Environments. https://doi.org/10.3233/AIS-160415 (Academic article)

Reasonable macros for ontology construction and maintenance. Forssell, Jon Henrik; Lupp, Daniel Paul; Skjæveland, Martin G & Thorstensen, Evgenij. 2017, CEUR Workshop Proceedings. (Academic article)

Reasonable ontology templates: APIs for OWL: Efficient and practical ontology design and maintenance. Skjæveland, Martin G; Forssell, Jon Henrik; Klüwer, Johan W.; Lupp, Daniel Paul; Thorstensen, Evgenij & Waaler, Arild. 2017, CEUR Workshop Proceedings. (Academic article)

Semantic access to streaming and static data at Siemens. Kharlamov, Evgeny; Mailis, Theofilos; Mehdi, Gulnar; Neuenstadt, Christian; Özçep, Özgür Lütfü; Roshchin, Mikhail; Solomakhina, Nina; Soylu, Ahmet; Svingos, Christoforos; Brandt, Sebastian et al.. 2017, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2017.02.001 (Academic article)

Translating Active Objects into Colored Petri Nets for Communication Analysis. Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin & Yu, Ingrid Chieh. 2017, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-68972-2_6 (Academic article)

X86 root of trust: Technical vs. political considerations. Loutfi, Ijlal & Jøsang, Audun. 2017, Proceedings of the ... European conference on information warfare and security. (Academic article)

2016

A Distributed Agent-based System For Coordinating Smart Solar-powered Microgrids. Jiang, Shanshan; Venticinque, Salvatore; Horn, Geir Henrik; Hallsteinsen, Svein Olav & Noebels, Matthias. 2016, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/SAI.2016.7555964 (Academic chapter/article/Conference paper)

A formal model of service-oriented dynamic object groups. Johnsen, Einar Broch; Owe, Olaf; Clarke, Dave & Bjørk, Joakim. 2016, Science of Computer Programming. https://doi.org/10.1016/j.scico.2014.11.014 (Academic article)

A lightweight authentication and key agreement protocol preserving user anonymity . Nikooghadam, Morteza; Jahantigh, R & Arshad, Hamed. 2016, Multimedia Tools and Applications. https://doi.org/10.1007/s11042-016-3704-8 (Academic article)

A Maude Framework for Cache Coherent Multicore Architectures. Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-44802-2_3 (Academic article)

A Semantic Approach to Polystores. Kharlamov, Evgeny; Mailis, Theofilis P.; Bereta, Konstantina; Bilidas, Dimitris; Brandt, Sebastian; Jimenez-Ruiz, Ernesto; Lamparter, Steffen; Neuenstadt, Christian; Özcep, Özgür; Soylu, Ahmet et al.. 2016, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/BigData.2016.7840898 (Academic chapter/article/Conference paper)

A small-step semantics of a concurrent calculus with goroutines and deferred functions. Steffen, Martin. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-30734-3_26 (Academic article)

A user friendly mutual authentication and key agreement scheme for wireless sensor networks using chaotic maps. Kumari, S; Li, X; Wu, F; Das, AK; Arshad, Hamed & Khan, MK. 2016, Future Generation Computer Systems. https://doi.org/10.1016/j.future.2016.04.016 (Academic article)

A visual query system for stream data access over ontologies. Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Özcep, Özgür & Brandt, Sebastian. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47602-5_32 (Academic article)

ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch & Lee, Ming-Chang. 2016, Springer. https://doi.org/10.1007/978-3-662-49665-7_4 (Academic chapter/article/Conference paper)

An architecture for using commodity devices and smart phones in health systems. Horn, Geir Henrik; Eliassen, Frank; Taherkordi, Amirhosein; Venticinque, Salvatore; Di Martino, Beniamino; Bücher, Monika & Wood, Lisa. 2016, Proceedings of the IEEE Symposium on Computers and Communications. https://doi.org/10.1109/ISCC.2016.7543749 (Academic article)

An efficient and secure authentication and key agreement scheme for session initiation protocol using ECC. Arshad, Hamed & Nikooghadam, Morteza. 2016, Multimedia Tools and Applications. https://doi.org/10.1007/s11042-014-2282-x (Academic article)

An operational semantics of cache coherent multicore architectures. Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2016, Association for Computing Machinery (ACM). https://doi.org/10.1145/2851613.2851718 (Academic chapter/article/Conference paper)

Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. Li, Jingyue; Qeriqi, Altin; Steffen, Martin & Yu, Ingrid Chieh. 2016, NIKT: Norsk IKT-konferanse for forskning og utdanning. (Academic article)

Comparing AWS Deployments Using Model-Based Predictions. Johnsen, Einar Broch; Lin, Jia-Chun & Yu, Ingrid Chieh. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47169-3_39 (Academic article)

Design of a Secure Authentication and Key Agreement Scheme Preserving User Privacy Usable in Telecare Medicine Information Systems. Arshad, Hamed & Abbas, R. 2016, Journal of Medical Systems. https://doi.org/10.1007/s10916-016-0585-3 (Academic article)

Domain experts surfing on stream sensor data over ontologies. Soylu, Ahmet; Giese, Martin; Schlatte, Rudolf; Jiménez-Ruiz, Ernesto; Ozcep, Ozgur & Brandt, Sebastian. 2016, CEUR Workshop Proceedings. (Academic article)

Effect-Polymorphic Behaviour Inference for Deadlock Checking. Pun, Ka I; Steffen, Martin & Stolz, Volker. 2016, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2016.05.003 (Academic article)

Enabling semantic access to static and streaming distributed data with optique: demo. Kharlamov, Evgeny; Brandt, Sebastian; Giese, Martin; Jimenez-Ruiz, Ernesto; Kotidis, Yannis; Lamparter, Steffen; Mailis, Theofilis P.; Neuenstadt, Christian; Özcep, Özgür; Pinkel, Christoph et al.. 2016, ACM Publications. https://doi.org/10.1145/2933267.2933290 (Academic chapter/article/Conference paper)

Formal modeling and analysis of RAMP transaction systems. Liu, Si; Ølveczky, Peter Csaba; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil & Meseguer, Jose. 2016, Association for Computing Machinery (ACM). https://doi.org/10.1145/2851613.2851838 (Academic chapter/article/Conference paper)

Hey TPM, Sign My Transaction. Loutfi, Ijlal & Jøsang, Audun. 2016, Norsk Informasjonssikkerhetskonferanse (NISK). (Academic article)

Hybrid Job-Driven Scheduling for Virtual MapReduce Clusters. Lee, Ming-Chang; Lin, Jia-Chun & Yahyapour, Ramin. 2016, IEEE Transactions on Parallel and Distributed Systems. https://doi.org/10.1109/TPDS.2015.2463817 (Academic article)

Impacts of Task Re-Execution Policy on MapReduce Jobs. Lin, Jia-Chun; Leu, Fang-Yie & Chen, Ying-Ping. 2016, Computer journal. https://doi.org/10.1093/comjnl/bxv105 (Academic article)

Information flow analysis for Go. Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47166-2_30 (Academic article)

KeywDB: A system for keyword-driven ontology-to-RDB mapping construction. Zheleznyakov, Dmitriy; Kharlamov, Evgeny; Klungre, Vidar Norstein; Skjæveland, Martin G; Hovland, Dag; Giese, Martin; Horrocks, Ian & Waaler, Arild. 2016, CEUR Workshop Proceedings. (Academic article)

Leveraging DTrace for runtime verification. Rosenberg, Carl Martin; Steffen, Martin & Stolz, Volker. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-46982-9_20 (Academic article)

Meeting Deadlines, Elastically. Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh. 2016, CRC Press. https://doi.org/10.1201/b20053-11 (Academic chapter/article/Conference paper)

Modeling and analyzing mobile ad hoc networks in Real-Time Maude. Liu, Si; Ølveczky, Peter Csaba & Meseguer, Jose. 2016, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2015.05.002 (Academic article)

Modeling deployment decisions for elastic services with ABS. Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth. 2016, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.228.3 (Academic article)

Observable interface behaviour and inheritance. Abraham, Erika; Tran, Thi Mai Thuong & Steffen, Martin. 2016, Mathematical Structures in Computer Science. https://doi.org/10.1017/S0960129514000255 (Academic article)

Ontology-based visual querying with OptiqueVQS: Statoil and Siemens cases. Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Ozcep, Ozgur; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian et al.. 2016, CEUR Workshop Proceedings. (Academic article)

Ontology-based Visual Querying with OptiqueVQS: Statoil and Siemens Cases. Soylu, Ahmet; Giese, Martin; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Schlatte, Rudolf; Neuenstadt, Christian; Özcep, Özgür; Lie, Hallstein; Klungre, Vidar Norstein; Brandt, Sebastian et al.. 2016, CEUR Workshop Proceedings. (Article in business/trade/industry journal)

Optique: Simple, Oil & Gas-oriented access to big data in exploration. Cameron, David B.; Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Waaler, Arild; Bjørge, Eldar & Tungland, Knut Sebastian. 2016, Society of Petroleum Engineers. https://doi.org/10.2118/181111-MS (Academic chapter/article/Conference paper)

Pepesearch: Easy to use and easy to install semantic data search. Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Kluwer, Johan Wilhelm & Waaler, Arild. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47602-5_29 (Academic article)

PepeSearch: Semantic Data for the masses. Vega-Gorgojo, Guillermo; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild. 2016, PLOS ONE. https://doi.org/10.1371/journal.pone.0151573 (Academic article)

Performance evaluation of job schedulers on Hadoop YARN. Lin, Jia-Chun & Lee, Ming-Chang. 2016, Concurrency and Computation. https://doi.org/10.1002/cpe.3736 (Academic article)

Preface. Aiello, Marco; Johnsen, Einar Broch; Dustdar, Schahram & Georgievski, Ilche. 2016, Lecture Notes in Computer Science (LNCS). (Editoral)

Preface. Braga, Christiano & Ölveczky, Peter Csaba. 2016, Lecture Notes in Computer Science (LNCS). (Editoral)

Preface. Ábrahám, Erika; Bonsangue, Marcello & Johnsen, Einar Broch. 2016, Springer Publishing Company. (Foreword)

Privacy concerns of TPM 2.0. Loutfi, Ijlal & Jøsang, Audun. 2016, Proceedings of the ... European conference on information warfare and security. (Academic article)

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-46508-1_8 (Academic article)

Reasoning about inheritance and unrestricted reuse in object-oriented concurrent systems. Owe, Olaf. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-33693-0_14 (Academic article)

Rule-based consistency checking of railway infrastructure designs. Luteberget, Bjørnar Steinnes; Johansen, Christian & Steffen, Martin. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-33693-0_31 (Academic article)

Rule-based incremental verification tools applied to railway designs and regulations. Luteberget, Bjørnar Steinnes; Johansen, Christian; Feyling, C & Steffen, Martin. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-48989-6_49 (Academic article)

Session-based compositional analysis for actor-based languages using futures. Kamburjan, Eduard; Din, Crystal Chang & Chen, Tzu-Chun. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47846-3_19 (Academic article)

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. Bae, Kyungmin; Ølveczky, Peter Csaba; Kong, Soonho; Gao, Sicun & Clarke, Edmund M.. 2016, Association for Computing Machinery (ACM). https://doi.org/10.1145/2883817.2883849 (Academic chapter/article/Conference paper)

Stochastic discretized learning-based weak estimation: a novel estimation method for non-stationary environments. Yazidi, Anis; Oommen, John; Horn, Geir Henrik & Granmo, Ole-Christoffer. 2016, Pattern Recognition. https://doi.org/10.1016/j.patcog.2016.05.001 (Academic article)

The Evolution of CloudML and its Manifestations. Bergmayr, Alexander; Rossini, Alessandro; Ferry, Nicolas; Horn, Geir Henrik; Orue-Echevarria, Leire; Solberg, Arnor & Wimmer, Manuel. 2016, CEUR Workshop Proceedings. (Academic article)

Time complexity of concurrent programs – A technique based on behavioural types. Giachino, Elena; Johnsen, Einar Broch; Laneve, Cosimo & Pun, Ka I. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-28934-2_11 (Academic article)

Using Semantic Technology to Tame the Data Variety Challenge. Horrocks, Ian; Giese, Martin; Kharlamov, Evgeny & Waaler, Arild. 2016, IEEE Internet Computing. https://doi.org/10.1109/MIC.2016.121 (Academic article)

Verifiable Programming of Object-Oriented and Distributed Systems. Owe, Olaf. 2016, CRC Press. https://doi.org/10.1201/b20053-8 (Academic chapter/article/Conference paper)

Visual query interfaces for semantic datasets: An evaluation study. Vega-Gorgojo, Guillermo; Slaughter, Laura; Giese, Martin; Heggestøyl, Simen; Soylu, Ahmet & Waaler, Arild. 2016, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2016.01.002 (Academic article)

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. Abraham, Erika; Corzilius, Florian; Johnsen, Einar Broch; Kremer, Gereon & Mauro, Jacopo. 2016, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-47677-3_15 (Academic article)

2015

1,2, Pause: Lets start by meaningfully navigating the current online authentication solutions space. Loutfi, Ijlal & Jøsang, Audun. 2015, IFIP Advances in Information and Communication Technology. https://doi.org/10.1007/978-3-319-18491-3_12 (Academic article)

A proof system for adaptable class hierarchies. Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh. 2015, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2014.09.001 (Academic article)

A Study of Black Hole Attack Solutions: On AODV Routing Protocol in MANET. Fazeldehkordi, Elahe; Sadegh Amiri, Iraj & Akanbi, Oluwatobi Ayodeji. 2015, Elsevier. (Popular scientific book)

Analysis of the PKCS#11 API using the maude-NPA tool. González-Burgueño, Antonio; Santiago, Sonia; Escobar, Santiago; Meadows, Catherine & Meseguer, José. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-27152-1_5 (Academic article)

Compositional reasoning about active objects with shared futures. Din, Crystal Chang & Owe, Olaf. 2015, Formal Aspects of Computing. https://doi.org/10.1007/s00165-014-0322-y (Academic article)

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Bae, Kyungmin; Krisiloff, Joshua; Meseguer, Jose & Ølveczky, Peter Csaba. 2015, Science of Computer Programming. https://doi.org/10.1016/j.scico.2014.09.011 (Academic article)

Designing Resource-Aware Cloud Applications. Hähnle, Reiner & Johnsen, Einar Broch. 2015, Computer. https://doi.org/10.1109/MC.2015.172 (Academic article)

Doctoral consortium extended abstract: default mappings in ontology-based data access. Lupp, Daniel Paul. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-23264-5_47 (Academic article)

Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access. Lupp, Daniel Paul. 2015, Springer. https://doi.org/10.1007/978-3-319-23264-5_47 (Academic chapter/article/Conference paper)

Editorial. Butler, Michael; Johnsen, Einar Broch & Petre, Luigia. 2015, Formal Aspects of Computing. https://doi.org/10.1007/s00165-015-0338-y (Editoral)

Engineering ontology-based access to real-world data sources. Skjæveland, Martin G; Giese, Martin; Hovland, Dag; Lian, Espen Hallenstvedt & Waaler, Arild. 2015, Journal of Web Semantics. https://doi.org/10.1016/j.websem.2015.03.002 (Academic article)

FIDO Trust Requirements. Loutfi, Ijlal & Jøsang, Audun. 2015, Springer Publishing Company. https://doi.org/10.1007/978-3-319-26502-5_10 (Academic chapter/article/Conference paper)

Formal analysis of leader election in MANETs using real-time maude. Liu, Si; Ølveczky, Peter Csaba & Meseguer, Jose. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-15545-6_16 (Academic article)

Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?. Fadlisyah, Muhammad; Ølveczky, Peter Csaba & Abraham, Erika. 2015, Science of Computer Programming. https://doi.org/10.1016/j.scico.2014.06.010 (Academic article)

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sabahi-Kaviani, Zeynab; Khosravi, Ramtin; Ølveczky, Peter Csaba; Khamespanah, Ehsan & Sirjani, Marjan. 2015, Science of Computer Programming. https://doi.org/10.1016/j.scico.2015.07.003 (Academic article)

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Din, Crystal Chang; Tapia Tarifa, Silvia Lizeth; Hähnle, Reiner & Johnsen, Einar Broch. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-25423-4_14 (Academic article)

Hybrid multirate PALS. Bae, Kyungmin & Ølveczky, Peter Csaba. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-23165-5_5 (Academic article)

Inferring appliance load profiles from measurements. Horn, Geir Henrik; Venticinque, Salvatore & Amato, Alba. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-23237-9_11 (Academic article)

Integrating deployment architectures and resource consumption in timed object-oriented models. Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth. 2015, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2014.07.001 (Academic article)

José Meseguer: Scientist and Friend Extraordinaire. Marti-Oliet, Narciso; Ølveczky, Peter Csaba & Talcott, Carolyn. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-23165-5_1 (Academic article)

Mind the Gap: At the Crossroads of Design, Implementation, and Foundations. Johnsen, Einar Broch. 2015, Springer. (Other)

On the security of a two-factor authentication and key agreement scheme for telecare medicine information systems. Arshad, Hamed; Teymoori, V; Nikooghadam, Morteza & Abbassi, H. 2015, Journal of Medical Systems. https://doi.org/10.1007/s10916-015-0259-6 (Academic article)

On the Security of a Two-Factor Authentication and Key Agreement Scheme for Telecare Medicine Information Systems . Arshad, Hamed; Teymoori, V; Nikooghadam, Morteza & Abbassi, H. 2015, Journal of Medical Systems. https://doi.org/10.1007/s10916-015-0259-6 (Academic article)

OPTIQUE: Ontology-based data access platform. Kharlamov, Evgeny; Jiménez-Ruiz, Ernesto; Pinkel, Christoph; Rezk, Martin; Skjæveland, Martin G; Soylu, Ahmet; Xiao, Guohui; Zheleznyakov, Dmitriy; Giese, Martin; Horrocks, Ian et al.. 2015, CEUR Workshop Proceedings. (Academic article)

Optique: Zooming in on Big Data. Giese, Martin; Soylu, Ahmet; Vega, Gorgojo Guillermo; Waaler, Arild; Haase, Peter; Jimenez-Ruiz, Ernesto; Lanti, Davide; Rezk, Martin; Xiao, Guohui; Oezcep, Oezguer et al.. 2015, Computer. https://doi.org/10.1109/MC.2015.82 (Academic article)

Parallel cost analysis of distributed systems. Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch & Roman-Diez, Guillermo. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-662-48288-9_16 (Academic article)

Parallel objects for multicores: A glimpse at the parallel language encore. Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Wrigstad, Tobias & Yang, Albert Mingkun. 2015, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-18941-3_1 (Academic article)

Preface. Artho, Cyrille & Ølveczky, Peter Csaba. 2015, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-319-29510-7 (Editoral)

Preface. Artho, Cyrille & Ølveczky, Peter Csaba. 2015, Science of Computer Programming. https://doi.org/10.1016/j.scico.2015.10.001 (Editoral)

Preface. Artho, Cyrille & Ølveczky, Peter Csaba. 2015, Science of Computer Programming. https://doi.org/10.1016/j.scico.2015.01.006 (Editoral)

Preparing HPC Applications for Exascale: Challenges and Recommendations. Abraham, Erika; Bekas, Costas; Brandic, Ivona; Genaim, Samir; Johnsen, Einar Broch; Kondov, Ivan; Pllana, Sabri & Streit, Achim. 2015, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/NBiS.2015.61 (Academic chapter/article/Conference paper)

Principles of Data Flow Integrity: Specification and Enforcement. Ramezanifarkhani, Toktam. 2015, Journal of information science and engineering. (Academic article)

Security analysis and improvement of two authentication and key agreement schemes for session initiation protocol. Arshad, Hamed & Nikooghadam, Morteza. 2015, The Journal of Supercomputing. https://doi.org/10.1007/s11227-015-1434-8 (Academic article)

Security analysis and improvement of two authentication and key agreement schemes for session initiation protocol . Arshad, Hamed & Nikooghadam, Morteza. 2015, The Journal of Supercomputing. https://doi.org/10.1007/s11227-015-1434-8 (Academic article)

Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. Lepri, Daniela; Abraham, Erika & Ølveczky, Peter Csaba. 2015, Science of Computer Programming. https://doi.org/10.1016/j.scico.2014.06.006 (Academic article)

The evolution of CloudML and its manifestations. Bergmayr, Alexander; Rossini, Alessandro; Ferry, Nicolas; Horn, Geir Henrik; Orue-Echevarria, Leire; Solberg, Arnor & Wimmer, Manuel. 2015, CEUR Workshop Proceedings. (Academic article)

Theme issue on Integrated Formal Methods. Johnsen, Einar Broch & Petre, Luigia. 2015, Software and Systems Modeling (SoSyM). https://doi.org/10.1007/s10270-015-0510-0 (Editoral)

2014

A framework for mobile ad hoc networks in Real-Time Maude. Liu, Si; Ølveczky, Peter Csaba & Meseguer, José. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-12904-4_9 (Academic article)

Behaviour Inference for Deadlock Checking. Pun, Ka I; Steffen, Martin & Stolz, Volker. 2014, IEEE conference proceedings. https://doi.org/10.1109/TASE.2014.23 (Academic chapter/article/Conference paper)

Deadlock checking by data race detection. Pun, Ka I; Steffen, Martin & Stolz, Volker. 2014, Journal of Logical and Algebraic Methods in Programming. https://doi.org/10.1016/j.jlamp.2014.07.003 (Academic article)

Deadlock detection of active objects with synchronous and asynchronous method calls. Owe, Olaf & Yu, Ingrid Chieh. 2014, NIKT: Norsk IKT-konferanse for forskning og utdanning. https://doi.org/10.1016/j.entcs.2004.06.012 (Academic article)

Definition, semantics, and analysis of multirate synchronous AADL. Bae, Kyungmin; Ølveczky, Peter Csaba & Meseguer, Jose. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-06410-9_7 (Academic article)

Deployment variability in delta-oriented models. Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-662-45234-9_22 (Academic article)

Effect-Polymorphic Behaviour Inference for Deadlock Checking. Pun, Ka I; Steffen, Martin & Stolz, Volker. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-10431-7_5 (Academic article)

Erlang-style error recovery for concurrent objects with cooperative scheduling. Göri, Georg; Johnsen, Einar Broch; Schlatte, Rudolf & Stolz, Volker. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-662-45231-8_2 (Academic article)

Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. Tapia Tarifa, Silvia Lizeth. 2014, None. (Doctoral dissertation)

Fault Model Design Space for Cooperative Concurrency. Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker & Zavattaro, Gianluigi. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-662-45231-8_3 (Academic article)

Formal modeling and analysis of Google's megastore in real-time maude. Grov, Jon & Ølveczky, Peter Csaba. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-54624-2_25 (Academic article)

Formal modeling and analysis of learning-based routing in mobile wireless sensor networks. Kazemeyni, Fatemeh Sadat; Owe, Olaf; Johnsen, Einar Broch & Balasingham, Ilangko. 2014, Advances in Intelligent Systems and Computing. https://doi.org/10.1007/978-3-319-04717-1_6 (Academic article)

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Albert, Elvira; de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Wong, Peter Y. H.. 2014, Service Oriented Computing and Applications. https://doi.org/10.1007/s11761-013-0148-0 (Academic article)

Formal patterns for multirate distributed real-time systems. Bae, Kyungmin; Meseguer, Jose & Ølveczky, Peter Csaba. 2014, Science of Computer Programming. https://doi.org/10.1016/j.scico.2013.09.010 (Academic article)

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. Sabahi-Kaviani, Zeynab; Khosravi, Ramtin; Sirjani, Marjan; Ølveczky, Peter Csaba & Khamespanah, Ehsan. 2014, Communications in Computer and Information Science (CCIS). https://doi.org/10.1007/978-3-319-05416-2_12 (Academic article)

Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis. Grov, Jon & Ølveczky, Peter Csaba. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-10431-7_12 (Academic article)

Introduction to Track on Engineering Virtualized Services. Hähnle, Reiner & Johnsen, Einar Broch. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-662-45231-8_1 (Academic article)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch & Schaefer, Ina. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-07317-0 (Editoral)

Preface. Arbab, Farhad & Ølveczky, Peter Csaba. 2014, Science of Computer Programming. https://doi.org/10.1016/j.scico.2013.11.002 (Editoral)

Real-Time Maude and Its Applications. Ølveczky, Peter Csaba. 2014, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-12904-4_3 (Academic article)

Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. de Boer, Frank; de Gouw, Stijn; Johnsen, Einar Broch; Kohn, Andreas & Wong, Peter Y. H.. 2014, LNCS Transactions on Aspect-Oriented Software Development. https://doi.org/10.1007/978-3-642-55099-7_1 (Academic article)

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. Din, Crystal Chang; Owe, Olaf & Bubel, Richard. 2014, SciTePress. https://doi.org/10.5220/0004877804800487 (Academic chapter/article/Conference paper)

Three-factor anonymous authentication and key agreement scheme for telecare medicine information systems. Arshad, Hamed & Nikooghadam, Morteza. 2014, Journal of Medical Systems. https://doi.org/10.1007/s10916-014-0136-8 (Academic article)

Three-factor anonymous authentication and key agreement scheme for telecare medicine information systems. Arshad, Hamed & Nikooghadam, Morteza. 2014, Journal of Medical Systems. https://doi.org/10.1007/s10916-014-0136-8 (Academic article)

Verifying traits: An incremental proof system for fine-grained reuse. Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch & Schaefer, Ina. 2014, Formal Aspects of Computing. https://doi.org/10.1007/s00165-013-0278-3 (Academic article)

2013

A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. Bentea, Lucian & Ølveczky, Peter Csaba. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-37635-1_5 (Academic article)

A Timed CTL Model Checker for Real-Time Maude. Lepri, Daniela; Abraham, Erika & Ølveczky, Peter Csaba. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-40206-7_27 (Academic article)

A vision for better cloud applications. Jeffery, Keith; Horn, Geir Henrik & Schubert, Lutz. 2013, Association for Computing Machinery (ACM). https://doi.org/10.1145/2462326.2462329 (Academic chapter/article/Conference paper)

Behavioural Design of Sensor Network Applications using Activity-Driven States. Taherkordi, Amirhosein; Eliassen, Frank & Johnsen, Einar Broch. 2013, IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/sesena.2013.6612259 (Academic chapter/article/Conference paper)

Compositional static analysis for implicit join synchronization in a transactional setting. Tran, Thi Mai Thuong; Steffen, Martin & Truong, Hoang. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-40561-7_15 (Academic article)

Deadlock Checking by Data Race Detection. Pun, Ka I; Steffen, Martin & Stolz, Volker. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-40213-5_3 (Academic article)

HATS Abstract Behavioral Specification: The Architectural View. Hähnle, Reiner; Helvensteijn, Michiel; Johnsen, Einar Broch; Lienhardt, Michael; Sangiorgi, Davide; Schaefer, Ina & Wong, Peter Y. H.. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-35887-6_6 (Academic article)

Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis. Kazemeyni, Fatemeh Sadat; Owe, Olaf; Johnsen, Einar Broch & Balasingham, Ilangko. 2013, IEEE conference proceedings. https://doi.org/10.1109/IRI.2013.6642512 (Academic chapter/article/Conference paper)

Modeling Application-Level Management of Virtualized Resources in ABS. Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-35887-6_5 (Academic article)

Observable Behavior and Inheritance. Ábrahám, Erika; Tran, Thi Mai Thuong & Steffen, Martin. 2013, Mathematical Structures in Computer Science. https://doi.org/10.1017/s0960129514000255 (Academic article)

Optique: OBDA Solution for Big Data. Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Kluwer, Johan Wilhelm et al.. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-41242-4_48 (Academic article)

Optique: Towards OBDA Systems for Industry. Kharlamov, Evgeny; Jimenez-ruiz, Ernesto; Zheleznyakov, Dmitriy; Bilidas, Dimitris; Giese, Martin; Haase, Peter; Horrocks, Ian; Kllapi, Herald; Koubarakis, Manolis; Oezcep, Oezguer et al.. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-41242-4_11 (Academic article)

Reachability analysis of complex planar hybrid systems. Hansen, Hallstein Asheim; Schneider, Gerardo & Steffen, Martin. 2013, Science of Computer Programming. https://doi.org/10.1016/j.scico.2013.02.007 (Academic article)

Scalable and Fully Consistent Transactions in the Cloud through Hierarchical Validation. Grov, Jon & Ølveczky, Peter Csaba. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-40053-7_3 (Academic article)

Scalable End-user Access to Big Data. Giese, Martin; Calvanese, Diego; Haase, Peter; Horrocks, Ian; Ioannidis, Yannis; Kllapi, Herald; Koubarakis, Manolis; Lenzerini, Maurizio; Moeller, Ralf; Oezcep, Oezguer et al.. 2013, Taylor & Francis. https://doi.org/10.1201/b16014-9 (Academic chapter/article/Conference paper)

The 18th International Symposium on Fundamentals of Computation Theory. Owe, Olaf; Steffen, Martin & Telle, Jan Arne. 2013, Information and Computation. https://doi.org/10.1016/j.ic.2013.08.001 (Editoral)

The HI-Maude Tool. Fadlisyah, Muhammad & Ølveczky, Peter Csaba. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-40206-7_25 (Academic article)

The Optique Project: Towards OBDA Systems for Industry. Calvanese, Diego; Giese, Martin; Haase, Peter; Ioannidis, Yannis; Jimenez-ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Koubarakis, Manolis; Lampater, Steffen; Moeller, Ralf et al.. 2013, CEUR Workshop Proceedings. (Academic article)

Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios. Bentea, Lucian; Ølveczky, Peter Csaba & Bentea, Eduard. 2013, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-40708-6_8 (Academic article)

2012

A development framework and methodology for self-adapting applications in ubiquitous computing environments. Hallsteinsen, Svein Olav; Geihs, Kurt; Paspallis, Nearchos; Eliassen, Frank; Horn, Geir Henrik; Lorenzo, Jorge; Mamelli, Alessandro & Papadopoulos, George A.. 2012, Journal of Systems and Software. https://doi.org/10.1016/j.jss.2012.07.052 (Academic article)

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-35743-5_12 (Academic article)

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-31762-0_13 (Academic article)

A Framework for Object-Oriented Modeling and Analysis of Probabilistic Open Distributed Systems. Bentea, Lucian & Owe, Olaf. 2012, Springer. https://doi.org/10.1007/978-3-642-31762-0_8 (Academic chapter/article/Conference paper)

A Transformational Proof System for Delta-Oriented Programming. Damiani, Ferruccio; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina & Yu, Ingrid Chieh. 2012, ACM Publications. https://doi.org/10.1145/2364412.2364422 (Academic chapter/article/Conference paper)

A type system for finding upper resource bounds of multi-threaded programs with nested transactions. Vu, Xuan-Tung; Truong, Anh-Hoang; Tran, Thi Mai Thuong & Steffen, Martin. 2012, Association for Computing Machinery (ACM). https://doi.org/10.1145/2350716.2350722 (Academic chapter/article/Conference paper)

A Type-Safe Model of Adaptive Object Groups. Bjørk, Joakim; Clarke, Dave; Johnsen, Einar Broch & Owe, Olaf. 2012, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.91.1 (Academic article)

An Interdisciplinary Approach to Optimisation in Parallel Computing. Horn, Geir Henrik. 2012, Unipub forlag. (Doctoral dissertation)

Compositional Reasoning about Shared Futures. Din, Crystal Chang; Dovland, Johan & Owe, Olaf. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-33826-7_7 (Academic article)

Exploiting Model Variability in ABS to Verify Distributed Algorithms. Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Johnsen, Einar Broch & Griesmayer, Andreas. 2012, International Journal On Advances in Telecommunications. (Academic article)

Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. Fadlisyah, Muhammad; Ølveczky, Peter Csaba & Abraham, Erika. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-34005-5_8 (Academic article)

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. de Boer, Frank; Hähnle, Reiner; Johnsen, Einar Broch; Schlatte, Rudolf & Wong, Peter Y. H.. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-33427-6_7 (Academic article)

Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Meseguer, José & Ølveczky, Peter Csaba. 2012, Theoretical Computer Science. https://doi.org/10.1016/j.tcs.2012.05.040 (Academic article)

Incremental variable splitting. Hansen, Christian Mahesh; Antonsen, Roger; Giese, Martin & Waaler, Arild. 2012, Journal of symbolic computation. https://doi.org/10.1016/j.jsc.2011.12.032 (Academic article)

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-34281-3_8 (Academic article)

MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. Kazemeyni, Fatemeh Sadat; Johnsen, Einar Broch; Owe, Olaf & Balasingham, Ilangko. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-30729-4_11 (Academic article)

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. Bae, Kyungmin; Krisiloff, Joshua; Meseguer, Jose & Ølveczky, Peter Csaba. 2012, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.105.2 (Academic article)

Preface. Artho, Cyrille & Ølveczky, Peter Csaba. 2012, Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/EPTCS.105 (Academic article)

Preface. Arbab, Farhad & Ølveczky, Peter Csaba. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-35743-5 (Academic article)

Programming and deployment of active objects with application-level scheduling. Nobakht, Behrooz; de Boer, Frank S.; Jaghoori, Mohammad Mahdi & Schlatte, Rudolf. 2012, Association for Computing Machinery (ACM). https://doi.org/10.1145/2245276.2232086 (Academic chapter/article/Conference paper)

Reachability analysis of planar autonomous systems. Hansen, Hallstein Asheim; Schneider, Gerardo & Steffen, Martin. 2012, Springer. https://doi.org/10.1007/978-3-642-29320-7_14 (Academic chapter/article/Conference paper)

Safe Locking for Multi-Threaded Java. Johnsen, Einar Broch; Tran, Thi Mai Thuong; Owe, Olaf & Steffen, Martin. 2012, Springer. https://doi.org/10.1007/978-3-642-29320-7_11 (Academic chapter/article/Conference paper)

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Wong, Peter Y. H.; Albert, Elvira; Muschevici, Radu; Proenca, Jose; Schäfer, Jan & Schlatte, Rudolf. 2012, International Journal on Software Tools for Technology Transfer (STTT). https://doi.org/10.1007/s10009-012-0250-1 (Academic article)

The SynchAADL2Maude Tool. Bae, Kyungmin; Ølveczky, Peter Csaba; Meseguer, Jose & Al-Nayeem, Abdullah. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-28872-2_4 (Academic article)

Timed CTL Model Checking in Real-Time Maude. Lepri, Daniela; Abraham, Erika & Ølveczky, Peter Csaba. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-34005-5_10 (Academic article)

Tracking Behavioral Constraints during Object-Oriented Software Evolution. Dovland, Johan; Johnsen, Einar Broch & Yu, Ingrid Chieh. 2012, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-642-34026-0_19 (Academic article)

User-defined Schedulers for Real-Time Concurrent Objects. Bjørk, Joakim; de Boer, Frank; Johnsen, Einar Broch; Schlatte, Rudolf & Tapia Tarifa, Silvia Lizeth. 2012, Innovations in Systems and Software Engineering. https://doi.org/10.1007/s11334-012-0184-5 (Academic article)

Using Semantic Technology to Auto-generate Reports: Case Study of Daily Drilling Reports. Giese, Martin; Ornæs, Jens I.; Overå, Lars; Svensson, Inge & Waaler, Arild. 2012, Society of Petroleum Engineers. https://doi.org/10.2118/150225-ms (Academic chapter/article/Conference paper)

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Bae, Kyungmin; Ølveczky, Peter Csaba; Feng, Thomas; Lee, Edward A & Tripakis, Stavros. 2012, Science of Computer Programming. https://doi.org/10.1016/j.scico.2010.10.002 (Academic article)