Milan KabacImperial College London | Imperial · Department of Computing
Milan Kabac
PhD in Software Engineering
About
12
Publications
3,374
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
67
Citations
Citations since 2017
Introduction
Milan Kabac currently works at the Department of Computing, Imperial College London. His research focuses on novel tools and techniques to (1) support and guide the design, development and deployment of applications for large-scale smart spaces and to (2) verify requirements of applications in the target physical infrastructure throughout the application lifecycle.
Additional affiliations
January 2018 - July 2018
Position
- Research Associate
Description
- The S4 programme develops a unifying science across the breadth of mathematics, computer science and engineering, that will let developers engineer for the uncertainty and ensure that their systems are responsive, reliable and statistically sound.
January 2018 - March 2018
Position
- Supervision of practical laboratory work
Description
- Supervision of practical laboratory work for students in the third year of the Master's degree in Computing attending the Pervasive Computing module.
January 2017 - January 2018
Position
- Research Associate
Description
- Working in the AESE research group under the supervision of Professor Julie McCann and within the ICRI. Participating on the Capstone project to deliver research solving real urban challenges focused on the Queen Elizabeth Olympic Park (QEOP) in London.
Education
September 2012 - September 2016
University of Bordeaux / Inria Bordeaux
Field of study
- Computer Science
September 2010 - September 2012
Publications
Publications (12)
Large-scale wireless sensor networks (WSN) are increasingly deployed and an open question is how they can support multiple applications. Networks and sensing devices are typically heterogeneous and evolving: topologies change, nodes drop in and out of the network, and devices are reconfigured. The key question we address is how to verify that appli...
The domain of Internet of Things (IoT) is rapidly expanding beyond research, and becoming a major industrial market with such stakeholders as major manufacturers of chips and connected entities (i.e., things), and fast-growing operators of wide-area networks. Importantly, this emerging domain is driven by applications that leverage an IoT infrastru...
Masses of sensors are being deployed at the scale of cities to manage parking spaces, transportation infrastructures to monitor traffic, and campuses of buildings to reduce energy consumption. These large-scale infrastructures become a reality for citizens via applications that orchestrate sensors to deliver high-value, innovative services. These a...
Our environment is increasingly populated with large amounts of smart objects. Some monitor free parking spaces, others analyze material conditions in buildings or detect unsafe pollution levels in cities. The massive amounts of sensing and actuation devices constitute large-scale infrastructures that span over entire parking lots, campuses of buil...
Masses of sensors are being deployed at the scale of cities to manage parking spaces, transportation infrastructures to monitor traffic, and campuses of buildings to reduce energy consumption. These large-scale infrastructures become a reality for citizens via applications that orchestrate sensors to deliver high-value, innovative services. These a...
Masses of sensors and actuators are being deployed in our daily environments to provide innovative services for such spaces as parking lots, buildings, and railway networks. Yet, to realize the full potentials of these sensor network infrastructures, services need to be developed. Service development raises a number of challenges due to existing ap...
Propose a software development approach to taming the many dimensions of the orchestration of masses of objects.
Evaluate the learning cost and usability of the DiaSuite tool-based approach dedicated to developing sensor/actuator applications.
This paper proposes a design-driven development approach that is dedicated to the domain of orchestration of masses of sensors. The developer declares what an application does using a domain-specific language (DSL). Our compiler processes domain-specific declarations to generate a customized programming framework that guides and supports the progra...
This paper proposes a design-driven development approach that is dedicated to the domain of orchestration of masses of sensors. The developer declares what an application does using a domain-specific language (DSL). Our compiler processes domain-specific declarations to generate a customized programming framework that guides and supports the progra...
This paper evaluates a design-driven, tool-based approach, named DiaSuite, dedicated to developing applications involving sensors and actuators. Specifically, we evaluate the usability and the learning cost of DiaSuite as a first step to assess the potential for transferring this technology to the industrial practice of this domain. We assess the c...
The Internet of Things (IoT) has become a reality with the emergence of Smart Cities, populated with large amounts of smart objects which are used to deliver a range of citizen services (e.g., security, well being, etc.) The IoT paradigm relies on the pervasive presence of smart objects or “things”, which raises a number of new challenges in the so...
Projects
Projects (4)
The Objects World industrial project was funded by Bpifrance and founded by Sigfox, the first cellular network operator dedicated to the Internet of Things (IoT). The goal of this project was to develop an innovative communication technology, allowing the emergence of an economic sector dedicated to large-scale smart spaces.
http://phoenix.inria.fr/research-projects/objects-world
ICRI aimed to deliver research solving real urban challenges focused on the Queen Elizabeth Olympic Park (QEOP) in East London.
http://cities.io
http://cities.io/portfolio/multi-tenancy
The S4 programme develops a unifying science, across the breadth of mathematics, computer science and engineering, that will let developers engineer for the uncertainty and ensure that their systems and the information they provide is resilient, responsive, reliable, statistically sound and robust. The vision is smarter sensor based systems in which scientists and policy makers can ask deeper questions and be confident in obtaining reliable answers, so the programme will deliver new principles and techniques for the development and deployment of verifiable, reliable, autonomous sensor systems that operate in uncertain, multiple and multi-scale environments.
http://www.dcs.gla.ac.uk/research/S4/
