Recent Publications

More Publications

Projects

  • Cumulus: Semantics-Based Analyses for Cloud-Aware Computing

    Cumulus is a project funded by the Research Council of Norway 2015-2019. The main goal of Cumulus is to develop a semantic foundation for static analysis techniques for cloud-aware applications. Cloud-awareness enables the software to negotiate its own quality of service and opens for dynamic and fine-grained resource management. This introduces an element of reflection which goes beyond the state of the art in both formal semantics and static analysis. The project will develop a formal foundation for cloud-aware computing and use this foundation to enable the verification of quantitative assertions about the high-level quality of service and low-level resource requirements of cloud-aware applications. The project will develop demonstrators for the approach in terms of semantics-based tools to analyze quantitative assertions for quality of service during the design of such applications. Cumulus will enable a shift in the design of virtualized software from model simulation and monitoring deployed systems to advanced static analyses of worst-case resource requirements early in the software design.

  • HyVar: Scalable Hybrid Variability

    HyVar is an EU H2020 research project 2015-2018. The idea is to develop a framework for continuous software evolution in distributed systems which combines the description of evolution as a software product line, a scalable cloud infrastructure to monitoring and customization of software upgrades for remote devices, and over-the-air upgrade technologies.

  • UpScale

    UpScale is an EU FP7 research project 2014-2017. The idea is to design programming languages for the manycore era, when a program can make use of potentially millions of processors. UpScale uses incremental type-based program annotations specifying deployment-related information, and for innovative type-based deployment optimisations both at compile- and runtime.

  • Envisage: Engineering Virtualized Services

    I am coordinating this EU FP7 research project 2013-2016. The basic idea is to integrate service-level agreements (SLA) into the interfaces of an OO model and validate SLA for cloud computing at design time using formal methods. The Envisage project delivers novel methods for predicting the behavior of software deployed on the cloud, using formal models and analysis techniques

  • HATS: Highly Adaptable and Trustworthy Software using Formal Methods

    We propose to take an empirically successful, yet informal software development paradigm and put it on a formal basis. Specifically, in HATS we will turn software product family (SWPF) development into a rigorous approach. The technical core of the project is an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances. The main project outcome is a methodological and tool framework achieving not merely far-reaching automation in maintaining dynamically evolving software, but an unprecedented level of trust while informal processes are replaced with rigorous analyses based on formal semantics.

Sirius

Sirius Centre for Research-driven Innovation SIRIUS is a Norwegian Centre for Research-driven Innovation that addresses the problems of scalable data access in the oil & gas industry. The centre combines public funding for basic research with funding from its industry partners into an 8 year programme for industrial innovation.

The SIRIUS researchers are experts in IT technologies, including high-performance and cloud computing, formal methods, database technology, semantic technologies and natural language processing. The centre also includes researchers in the area of working practices involving novel technology.

The centre aims to provide the oil & gas business with better ways to access and use the massive amounts of data that are generated in projects and daily operation. Problems with data access are made more acute by the rise of big data, the internet of things and digitalisation of enterprises. SIRIUS targets these problems using an interdisciplinary approach, as successful innovation depends on the combination of technologies.

The centre is designed to support technological innovation through a portfolio of projects. These projects develop basic technology in laboratory projects and then move the technology through prototypes to pilots in industrial applications. The centre’s intellectual property model is designed to build a core of open knowledge on which commercial applications can be built.

SIRIUS aims to be an intellectual hub for applied industrial IT in South-Eastern Norway. It has dedicated premises in the Department of Informatics at the University of Oslo and collaborates widely, both nationally and internationally. Many of the results generated by the centre will also be of relevance outside the oil and gas industry. The centre is therefore also active in communicating and applying its results to other areas such as Healthcare, Manufacturing and Public Administration.

For more information, see the SIRIUS website.

Events

  • iFM 2018, Maynooth, Ireland, 5-7 September 2018
  • SETTA 2018, Beijing, China, 4-6 Sept 2018
  • FM 2018, Oxford, UK, 15-17 July 2018
  • SEFM 2018, Toulouse, France, 25-29 June 2018
  • FORTE 2018, Madrid, Spain, 18 - 21 June, 2018
  • FormaliSE 2018, Gothenburg, Sweden, 2 June 2018
  • FASE 2018, Thessaloniki, Greece, 14-21 April 2018
  • NWPT 2017, Turku, Finland, 1-3 November 2017
  • Microservices 2017, Odense, DK, 23-27 Oct 2017
  • FACS 2017, Braga, Portugal, 10-13 Oct 2017
  • ESOCC 2017, Oslo, Norway, 27-29 September 2017
  • iFM 2017, Torino, Italy, 18-22 September 2017
  • SEFM 2017, Trento, Italy, 6-10 September 2017
  • TAP 2017, Marburg, Germany, 17-21 July 2017
  • FASE 2017, Uppsala, Sweden, 22-29 April 2017
  • FSEN 2017, Tehran, Iran, 26 - 28 April 2017
  • NWPT 2016, North Jutland, Denmark, 31 October - 2 November 2016
  • FM 2016, Limassol, Cyprus, 7-11 November 2016
  • E-MuCoCoS 2016, Frankfurt, Germany, 23 June 2016
  • ESOCC 2016, Vienna, Austria, September 5-7, 2016
  • TASE 2016, Shanghai, China, July 17-19, 2016
  • SEFM 2016, Vienna, Austria, July 4-8, 2016
  • FORTE 2016, Heraklion, Greece, June 6-9, 2016
  • Coordination 2016, Heraklion, Greece, June 6-9, 2016
  • IFM 2016, Reykjavik, Iceland, June 1-4, 2016
  • SCORE@ICSE 2016, Austin, Texas, May 14-22, 2016
  • NWPT 2015, Reykjavik, Iceland, October 21-23, 2015
  • TAP 2015, L’Aquila, Italy, July 20-24, 2015
  • FM 2015, Oslo, Norway, June 22-26, 2015
  • ICTAC 2015, Cali, Colombia, October 29-31, 2015
  • ECOOP 2015, Prague, Czech republic, July 6-10, 2015
  • FSEN 2015, Tehran, Iran, April 22-24, 2015
  • FASE 2015, London, UK, April 11-19, 2015
  • NWPT 2014, Halmstad, Sweden, Nov 29-31, 2014
  • AGERE 2014, Portland, USA, Oct 20, 2014
  • iFM 2014, Bertinoro, Italy, Sep. 9-11, 2014
  • BEAT 2014, Rome, Italy, Sep. 1, 2014
  • SFM 2014, Envisage Summer School in Bertinoro, Italy, June 16-20, 2014
  • WING 2014, Vienna, Austria, July 23, 2014
  • ECOOP 2014, Uppsala, Sweden, July 28-Aug 1, 2014
  • FormaliSE 2014, Hyderabad, India, May 31-June 7, 2014
  • NWPT 2013, Tallinn, Estonia, Nov 20-22, 2013
  • BEAT 2, Madrid, Spain, Sep 23-24, 2013
  • PPPJ 2013, Stuttgart, Germany, Sep 11-13, 2013
  • FMDEP 2013, Turku, Finland, June 10, 2013
  • SEFM 2013, Madrid, Spain, Sep 25-27, 2013
  • iFM 2013, Turku, Finland, June 12-14, 2013
  • CALCO Tools 2013, Warsaw, Poland, Sep. 3-6, 2013
  • FSEN 2013, Tehran, Iran, April 24-26, 2013
  • NWPT 2012, Bergen, Norway, Oct 31- Nov 02 2012.
  • Agere 2012, Tuczon, USA, Oct 21-22, 2012
  • LfSA 2012, Berkeley, USA, July 7, 2012
  • FMOODS/FORTE 2012, Stockholm, Sweden, June 13-16, 2012
  • IFM 2012, Pisa, Italy, June 18-22, 2012
  • NWPT 2011, Västerås, Sweden, Oct 26 - 28 2011.
  • FOVEOOS 2011, Torino, Italy, October 5-7, 2011
  • TTSS 2011, Oslo, Norway, September 13, 2011
  • TASE 2011, Xi’an, China, August 29-31, 2011
  • FMOODS/FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
  • FM 2011, Limerick, Ireland, June 20-24, 2011
  • FSEN 2011, Tehran, Iran, April 20-22, 2011
  • NWPT 2010, Turku, Finland, November 10-12 2010
  • FACS 2010, Guimaraes, Portugal, October 14-16 2010.
  • LfSA 2010, Edinburgh, UK, July 15, 2010
  • FOVEOOS 2010, Paris, France, June 28-30, 2010
  • FMOODS/FORTE 2010, Amsterdam, the Netherlands, June 7-10, 2010
  • NWPT 2009, Lyngby, Denmark, October 14-16 2009.
  • FACS 2009, Eindhoven, the Netherlands, October 30-31, 2009
  • FMOODS/FORTE 2009, Lisbon, Portugal, June 9-11, 2009
  • FSEN 2009, Kish, Persian Gulf, Iran, April 15-17, 2009
  • IFM 2009, Düsseldorf, Germany, February 16-19 2009
  • COST Action IC0701 Winter School on Verification of Object-Oriented Programs, Viinistu, Estonia, 25-29 January, 2009
  • NWPT 2008, Tallinn, Estonia, November 19-21 2008.
  • DisCoTec 2008, Oslo, Norway, June 4-6 2008, including FMOODS 2008.

Contact