Results & Downloads

Annual Reports

Publications

Ahmet Soylu, Martin Giese, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Rudolf Schlatte, Christian Neuenstadt, Özgür Lütfü Özcep, Hallstein Lie, Sebastian Brandt and Ian Horrocks. Ontology-based Visual Querying with OptiqueVQS Statoil and Siemens Cases, Norwegian Big Data Symposium (NOBIDS), 2016

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jimenez-Ruiz, Ozgur Ozcep and Sebastian Brandt. Domain Experts Surfing on StreamSensor Data over Ontologies. Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments (SEMPER@ESWC 2016).

Ahmet Soylu, Martin Giese, Rudolf Schlatte, Ernesto Jiménez-Ruiz, Özgur L. Özçep, and Sebastian Brandt. A Visual Query System for Stream Data Access over Ontologies. ESWC Satellite Events. LNCS 9989, 2016.

Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. 17th International Conference on Formal Engineering Methods (ICFEM). LNCS 9407, 2015.

Dag Hovland, Davide Lanti, Martin Rezk and Guohui Xiao. OBDA Constraints for Effective Query Answering. 10th International Symposium on Rule Technologies Research, Tools and Applications (RuleML). LNCS 9718, 2016.

Dmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks and Arild Waaler. KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. ISWC Posters & Demonstrations Track, 2016.

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen, Session-Based Compositional Analysis for Actor-Based Languages Using Futures, International Conference on Formal Engineering Methods (ICFEM). LNCS 1009, 2016.

Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu, Comparing AS Deployments Using Model-Based Predictions, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications – (ISoLA). LNCS 9953, 2016.

Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu, Meeting Deadlines, Elastically, From Action Systems to Distributed Systems, Chapman and Hall/CRC Luigia Petre, Emil Sekerinski, Page 99-111 ISSN/ISBN 978-1-4987-0158-7, 2016.

Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Time Complexity of Concurrent Programs – – A Technique Based on Behavioural Types, 12th International Conference Formal Aspects of Component Software (FACS). LNCS 9539, 2016.

Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert, Information Flow Analysis for Go, 7th International Symposium Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA). LNCS 9952, 2016.

Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro, Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies, 2nd International Symposium Dependable Software Engineering: Theories, Tools, and Applications. LNCS 9984, 2016.

Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen (eds), Theory and Practice of Formal MethodsEssays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660, ISSN/ISBN 0302-9743, 2016.

Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos Mailis, Christian Neuenstadt, Özgür L. Özçep, Christoph Pinkel, Ahmet Soylu, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, and Arild Waaler, Enabling semantic access to static and streaming distributed data with Optique: demo, 10th ACM International Conference on Distributed and Event-based Systems (DEBS), 2016.

Evgeny Kharlamov, Sebastian Brandt, Martin Giese, Ernesto Jiménez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos  Mailis, Christian Neuenstadt, Özgür Lütfü Özçep, Christoph Pinkel, Ahmet Soylu, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller and Arild Waaler, Scalable Semantic Access to Siemens Static and Streaming Distributed Data. ISWC Posters & Demonstrations Track, 2016.

Farhad Nooralahzadeh, Cédric Lopez, Elena Cabrio, Fabien Gandon, Frederique Segond, Adapting Semantic Spreading Activation to Entity Linking in text, 21st International Conference on Applications of Natural Language to  Information Systems (NLDB), 2016.

Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Towards a categorical approach for meta-modelling epistemic game theory, 19th International Conference on Model Driven Engineering Languages and Systems, 2016.

Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen, WebDPF: A Web-based Metamodelling and Model Transformation Environment, 4rd International Conference on Model-Driven Engineering and Software Development, 2016.

Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu, Introduction to the Track on Variability Modeling for Scalable Software Evolution, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA). LNCS 9952, 2016.

Jacopo Mauro, Gianluigi Zavattaro, On the Expressiveness of Synchronization in Component Deployment, Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660, ISSN/ISBN 0302-9743, 2016.

Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu, Context Aware Reconfiguration in Software Product Lines, 10th International Workshop on Variability Modelling of Software-intensive Systems, 2016.

Jerry Gao, Martin Giese, Yifeng Zeng and Hong Zhu, Editors of the proceedings of IEEE 2nd International Conference on Big Data Computing Service and Applications (BigDataService), IEEE Page 1-300, ISSN/ISBN 978-1-5090-2251-9, 2016.

Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee, ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters, 19th International Conference on Fundamental Approaches to Software Engineering The Netherlands, April 2-8. LNCS 9633, 2016.

Kutuzov, Andrei, Velldal, Erik & Øvrelid, Lilja, Redefining part-of-speech classes with distributional semantic models, 20th SIGNLL Conference on Computational Natural Language Learning, 2016.

Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski (eds), 5th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC). LNCS 9846, 2016.

Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi, Self-Reconfiguring Microservices. Theory and Practice of Formal Methods. LNCS 9660, 2016.

Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu, User Profiles for Context-Aware Reconfiguration in Software Product Lines, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA). LNCS 9953, 2016.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, A Maude Framework for Cache Coherent Multicore Architectures, 11th International Workshop on Rewriting Logic and Its Applications (WRLA). LNCS 9942, 2016.

Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, An operational semantics of cache coherent multicore architectures, 31st Annual ACM Symposium on Applied Computing, 2016.

Stephan Oepen, Jonathon Read, Tatjana Scheffler, Uladzimir Sidarenka, Manfred Stede, Erik Velldal and Lilja Øvrelid, Pipelining rules, rankers, and classifier ensembles for shallow discourse parsing, SIGNLL Conference on Computational Natural Language Learning: Shared Task, 2016.

Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro, Declarative Elasticity in ABS, 5th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing (ESOCC). LNCS 9846, 2016.

Wester, Aksel Ladegård, Øvrelid, Lilja, Velldal, Erik & Hammer, Hugo Lewi, Threat detection in online discussions, 7th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis (WASSA), 2016.

Øvrelid, Lilja & Hohle, Petter, Universal Dependencies for Norwegian, 9th International Conference on Language Resources and Evaluation, 2016.

Ahmet Soylu, Martin Giese, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, and Ian Horrocks, Ontology-based End-user Visual Query Formulation: Why, what, who, how, and which?, Universal Access in Information Society, 2016.

Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida, Behavioral Types in Programming Languages, Foundations and Trends in Programming Languages, Vol.32(2-3), 2016.

Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Modeling Deployment Decisions for Elastic Services with ABS, dblp computer science bibliography search dblp ask others Electronic Proceedings in Theoretical Computer Science, Vol.228, 2016.

Einar Broch Johnsen, Luigia Petre, Theme issue on Integrated Formal Methods, Software and System Modeling, Page 933-935, Vol.15(4), 2016.

Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk, A formal model of service-oriented dynamic object groups Science of Computer Programming. Vol.115-116, 2016.

Guillermo Vega-Gorgojo, Laura Slaughter, Martin Giese, Simen Heggestøyl, Ahmet Soylu and Arild Waaler, Visual query interfaces for semantic datasets: An evaluation study Web Semantics: Science, Services and Agents on the World Wide Web. Page 81-96, Vol.39, 2016.

Guillermo Vega-Gorgojo, Martin Giese, Simen Heggestøyl, Ahmet Soylu, and Arild Waaler, Pepe- Search: Semantic Data for the Masses, PloS One, Vol.11.3, 2016.

Guillermo Vega-Gorgojo, Roar Fjellheim, Dumitru Roman, Rajendra Akerkar and Arild Waaler, Big Data in the Oil & Gas Upstream Industry, OIL GAS European Magazine, Page 67-77, Vol.42.2, 2016.

Ivanova Angelina, Oepen Stephan, Dridan Rebecca, Flickinger Dan, Øvrelid Lilja & Lapponi Emanuele, On different approaches to syntactic analysis into bi-lexical dependencies: An empirical comparison of direct, PCFG-based and HPSG-based parsers. Journal of Language Modelling, Page 113-144, Vol.4(1), 2016.

Parmiggiani, E, Monteiro, E, A Measure of Environmental Happiness: Infrastructuring Environmental Risk in Offshore Oil and Gas Operations, Science & Technology Studies. Vol.29(1), 2016.

Parmiggiani, Elena; Monteiro, Eric; Østerlie, Thomas, Synthetic Situations in the Internet of Things, IFIP Advances in Information and Communication Technology. Page 215-228, Vol 489, 2016.

Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu, Proof Repositories for Compositional Verification of Evolving Software Systems – Managing Change When Proving Software Correct, Transactions on Foundations for Mastering Change, Page 130-156, Vol.1, 2016.

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems, International Journal of Interactive Multimedia and Artificial Intelligence, Page 81-86, Vol.3(7), 2016.

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, Portfolio approaches for constraint optimization problems, Annals of Mathematics and Artificial Intelligence. Page 229-246, Vol.76(1-2), 2016.

Thomas Østerlie, Some first steps towards a perspective on digitalization and the transformation of contemporary work and organizing. 39th Information Systems Research Conference in Scandinavia (IRIS), 2016.

Agibetov, Asan; Jimenez-Ruiz, Ernesto; Ondrésik, Marta; Solimando, Alessandro; Banerjee, Imon; Guerrini, Giovanna; Catalano, Chiara E; Oliveira, Joaquim M.; Patanè, Giuseppe; Reis, Rui L.; Spagnuolo, Michela. Supporting shared hypothesis testing in the biomedical domain. Journal of Biomedical Semantics 2018; Volume 9:9., 1-22

Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun; Roman-Diez, Guillermo. Parallel Cost Analysis. ACM Transactions on Computational Logic 2018; Volume 19(4), 1-37

Benzmüller, Christoph; Otten, Jens. Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics. CEUR Workshop Proceedings 2018; Volume 2095

Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph; Tapia Tarifa, Silvia Lizeth. Deployment by Construction for Multicore Architectures. I: Leveraging Applications of Formal Methods, Verification and Validation. Modeling – 8th International Symposium, ISoLA 2018. Proceedings – Part I. Springer 2018, 448-465

Cameron, David B.; Waaler, Arild; Komulainen, Tiina M. Oil and Gas digital twins after twenty years. How can they be made sustainable, maintainable and useful? The 59th Conference on Simulation and Modelling (SIMS 59); Oslo, 2018-09-26 – 2018-09-28

Cameron, David B.; Waaler, Arild; Komulainen, Tiina M. Oil and Gas digital twins after twenty years. How can they be made sustainable, maintainable and useful? Linköping Electronic Conference Proceedings 2018 (153) 9-16

Cameron, David B.; Østerlie, Thomas. Sirius: Collaboration across the digital divides in the oil and gas supply chain. 2018 University Industry Interaction Conference; London, 2018-06-20 2018-06-22

Chang Din, Crystal; Schlatte, Rudolf; Chen, Tzu-Chun. Program Verification for Exception Handling on Active Objects Using Futures. Lecture Notes in Computer Science 2018; Volume 10886, 73-88

Chen, Jiaoyan; Lécué, Freddy; Pan, Jeff Z.; Horrocks, Ian; Chen, Huajun. Knowledge-Based Transfer Learning Explanation. Sixteenth International Conference on Principles of Knowledge Representation and Reasoning; 2018-10-30 – 2018-11-02

Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh. A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming 2018; Volume 95, 82-102

Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh. Using coloured Petri nets for resource analysis of active objects. Lecture Notes in Computer Science 2018; Volume 11222 LNCS, .156-174

Hähnle, Reiner; Johnsen, Einar Broch. A Model-Centric Approach to the Design of Resource-Aware Cloud Applications. I: Software Technology: 10 Years of Innovation in IEEE Computer. Wiley-Blackwell 2018, 315-326

Hu, Pan; Motik, Boris; Horrocks, Ian. Optimised Maintenance of Datalog Materialisations. Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18); 201802-02 – 2018-02-07

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. Virtually timed ambients: A calculus of nested virtualization. Journal of Logical and Algebraic Methods in Programming 2018; Volume 94. 109-127

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. An Analysis Tool for Models of Virtualized Systems. NIK: Norsk Informatikkonferanse, Svalbard, 2018

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science 2018; Volume 11187 LNCS. 252-272

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars. Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science 2018; Volume 11023, 194-213

Kharlamov, Evgeny; Skjæveland, Martin G; Hovland, Dag; Mailis, Theofilos; Jimenez-Ruiz, Ernesto; Xiao, Guohui; Soylu, Ahmet; Horrocks, Ian; Waaler, Arild. Finding Data Should be Easier than Finding Oil. I: 2018 IEEE International Conference on Big Data (Big Data), Seattle, 10-13 Dec. 2018.

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

Lee, Ming-Chang; Lin, Jia-Chun; Owe, Olaf. EasyChoose: A Continuous Feature Extraction and Review Highlighting Scheme on Hadoop YARN. Advanced Information Networking and Applications 2018; Volume 2018-May, 996-1002

Lee, Ming-Chang; Lin, Jia-Chun; Owe, Olaf. Privacy Mining from IoT-based Smart Homes. Advances on Broad-Band Wireless Computing, Communication and Applications 2018, 304-315

Lin, Jia-Chun; Lee, Ming-Chang; Yu, Ingrid Chieh; Johnsen, Einar Broch. Modeling and simulation of spark streaming. Advanced Information Networking and Applications 2018; Volume 2018-May. 407-413

Lupp, Daniel Paul; Karlsen, Leif Harald; Skjæveland, Martin G. Making a Case for Formal Relations over Ontology Patterns. CEUR Workshop Proceedings 2018; Volume 2195. 87-91

Lupp, Daniel Paul; Thorstensen, Evgenij. Mapping Data to Ontologies with Exceptions Using Answer Set Programming. NIK: Norsk Informatikkonferanse, Svalbard, 2018

Mauro, Jacopo; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK: Norsk Informatikkonferanse, Svalbard, 2018

Monteiro, Eric. Reflections on digital innovation. Information and organization 2018; Volume 28(2), 101-103

Monteiro, Eric; Østerlie, Thomas; Parmiggiani, Elena; Mikalsen, Marius. Quantifying quality: Towards a Post-Humanist Perspective on Sensemaking. I: Living with Monsters? Social Implications of Algorithmic Phenomena, Hybrid Agency, and the Performativity of Technology. IS&O 2018. IFIP Advances in Information and Communication Technology, Volume 543, Springer, 2018, 48-63

Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thum, Thomas; Yu, Ingrid Chieh; Franzke, Felix. Anomaly Analyses for Feature-Model Evolution. I: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM Publications 2018, 188-201

Nooralahzadeh, Farhad; Øvrelid, Lilja. SIRIUS-LTG: An Entity Linking Approach to Fact Extraction and Verification. I: Proceedings of the First Workshop on Fact Extraction and Verification (FEVER). Association for Computational Linguistics 2018, 119-123

Nooralahzadeh, Farhad; Øvrelid, Lilja. Syntactic Dependency Representations in Neural Relation Classification. I: Proceedings of the Workshop on the Relevance of Linguistic Structure in Neural Architectures for NLP. Association for Computational Linguistics, 2018

Nooralahzadeh, Farhad; Øvrelid, Lilja; Lønning, Jan Tore. Evaluation of Domain-specific Word Embeddings using Knowledge Resources. I: Proceedings of the Eleventh International Conference on Language Resources and Evaluation. European Language Resources Association 2018, 1438-1445

Nooralahzadeh, Farhad; Øvrelid, Lilja; Lønning, Jan Tore. SIRIUS-LTG- at SemEval-2018 Task 7: Convolutional Neural Networks with Shortest Dependency Paths for Semantic Relation Extraction and Classification in Scientific Papers. I: Proceedings of the 12th International Workshop on Semantic Evaluation. Association for Computational Linguistics 2018, 805-811

Otten, Jens. Proof search optimizations for non-clausal connection calculi. CEUR Workshop Proceedings 2018; Volume 2162, 49-57

Otten, Jens. The Pocket Reasoner – Automatic Reasoning on Small Devices. NIK: Norsk Informatikkonferanse, Svalbard, 2018

Parmiggiani, Elena; Monteiro, Eric. Shifting Baselines? Recommendations for Green IS. I: Proceedings of the 39th International Conference on Information Systems (ICIS). Association for Information Systems 2018, 1-16

Pinkel, Christoph; Binning, Carsten; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; May, Wolfgang; Nikolov, Andriy; Bastinos, Ana Sasa; Skjæveland, Martin G; Solimando, Alessandro; Taheriyan, Mohsen; Heupel, Christian; Horrocks, Ian. RODI: Benchmarking Relational-to-Ontology Mapping Generation Quality. Semantic Web Journal 2018; 9(1) 25-52

Potter, Anthony; Motik, Boris; Nenov, Yavor; Horrocks, Ian. Dynamic Data Exchange in Distributed RDF Stores. IEEE Transactions on Knowledge and Data Engineering 2018; 30(12), 2312-2325

Ronca, Alessandro; Kaminski, Mark; Grau, Bernardo Cuenca; Horrocks, Ian. The Window Validity Problem in Rule-Based Stream Reasoning. Sixteenth International Conference, KR 2018; 2018-10-30 – 2018-11-02

Ronca, Alessandro; Kaminski, Mark; Grau, Bernardo Cuenca; Motik, Boris; Horrocks, Ian. Stream Reasoning in Temporal Datalog. Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18); 2018-02-02 – 2018-0207