A5033910051- Advanced Software Engineering Methodologies
- Distributed systems and fault tolerance
- Software System Performance and Reliability
- Formal Methods in Verification
- Real-Time Systems Scheduling
- Advanced Database Systems and Queries
- Service-Oriented Architecture and Web Services
- Distributed and Parallel Computing Systems
- Scientific Computing and Data Management
- Parallel Computing and Optimization Techniques
- Semantic Web and Ontologies
- Software Testing and Debugging Techniques
- Logic, programming, and type systems
- Cloud Computing and Resource Management
- Model-Driven Software Engineering Techniques
- Software Engineering Research
- Digital Transformation in Industry
- Data Management and Algorithms
- Software Reliability and Analysis Research
- Flexible and Reconfigurable Manufacturing Systems
- Video Analysis and Summarization
- Digital Rights Management and Security
- Business Process Modeling and Analysis
- Software Engineering Techniques and Practices
- COVID-19 epidemiological studies
University of Oslo
2013-2024
Infor (Norway)
2014
Graz University of Technology
2008-2010
United Nations University Institute on Computing and Society
2010
Institute of Software
2009
Joanneum Research
2006
An important application of semantic technologies in industry has been the formalisation information models using OWL 2 ontologies and use RDF for storing exchanging data. Moreover, legacy data can be virtualised as following ontology-based ac cess (OBDA) approach. In all these applications, it is to provide domain experts with query formulation tools expressing their needs terms queries over ontologies. this work, we present such a tool, OptiqueVQS, which designed based on our experience...
Here, we combine international air travel passenger data with a standard epidemiological model of the initial 3 mo COVID-19 pandemic (January through March 2020; toward end which entire world locked down). Using information available during this phase pandemic, our accurately describes main features actual global development demonstrated by high degree coherence between and data. The validated allows for an exploration alternative policy efficacies (reducing and/or introducing different...
An increasing number of sensors are being deployed in business-critical environments, systems, and equipment; stream a vast amount data. The operational efficiency effectiveness business processes rely on domain experts' agility interpreting data into actionable informatio n. A expert has extensive knowledge but not necessarily skills databases formal query languages. Therefore, centralised approaches often preferred. These require IT experts to translate the information needs...
Modeling concurrent systems and testing multi-threaded implementations against the model is an exciting field of study. This paper presents work done on constructing executing test cases for industrial-size application a written in Creol modeling language. Models Creol, object-oriented, language, can be structurally similar to finished implementation; we show how keep this desirable property when re-using models as oracles. Also, conformance relation between system under that needs less...