Results & Downloads

Annual Report 2016

Annual Report 2015

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.