594 search results for “software debugging” in the Public website
-
Exploring Means to Facilitate Software Debugging
In this thesis, several aspects of software debugging from automated crash reproduction to bug report analysis and use of contracts have been studied.
-
Exploring Means to Facilitate Software Debugging
PhD defence
-
Software
Image-Pro Plus, ImageJ, Cell Profiler, R, Knime and NIS-elements
-
Software
Parassign is a program to assign protein nuclei solely on the basis of pseudocontact shifts (PCS). The PCS from several paramagnetic tags are required, in order to produce several restraints per nucleus.
-
Software development by abstract behavioural specification
The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research.
-
Algorithms and Software Technology
The Algorithms and Software Technology (AST) research programme performs fundamental research in the areas of algorithm design and analysis.
-
Algorithms for quantum software
Top scientists of three Dutch universities are working on software and systems for quantum computers. Researchers of the Leiden Institute of Advanced Computer Science (LIACS) and the Leiden Institute of Physics (LION) are developing new algorithms to make those super computers work. The coming years,…
-
Abstract delta modeling: software product lines and beyond
Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke
-
Studying the Benefits of Using UML on Software Maintenance: an Evidence-Based Approach.
Including modelling as part of software development appears to have various benefits.
-
Quality-driven multi-objective optimization of software architecture design: method, tool, and application
Promotores: Prof.dr. T.H.W. Bäck, Prof.dr. M.R.V. Chaudron, Co-Promotor: M.T.M. Emmerich
-
Market Power and Competition Law In the Software Industry
On Thursday 11 May 2017, Qiang Yu defended his doctoral thesis ‘Market Power and Competition Law in the Software Industry’. The supervisors of the research are Professor T.R. Ottervanger and Professor S.C.G. Van den Bogaert. A brief summary of his thesis is provided below.
-
How are Big Data, ML and LLM changing Software Engineering?
Lecture
-
scalable condensation of reverse engineered UML class diagrams for software comprehension
Promotores: Prof.dr. J.N. Kok, Prof.dr. M.R.V. Chaudron, Co-Promotor: P. van der Putten
-
Embedded System Software Engineer (Research and Education support) (0.8-1.0fte)
Science, Leiden Institute of Advanced Computer Science (LIACS)
-
Education Software Engineer (Research and Education support) (0.8-1.0fte)
Science, Leiden Institute of Advanced Computer Science (LIACS)
-
Joost Visser
Science
-
Astronomers from Leiden write IEEE Software Impact column
Professor Simon Portegies Zwart and doctor Jeroen Bédorf had the honour to write for the IEEE Software magazine.
-
Leiden University and ICTU start research on software development
How can we further streamline the development of software for the government? Leiden University and ICTU are to investigate this in a joint research project that was launched on 6 July 2016.
-
Fewer errors in software features by using delta modelling
When new features are being written into software code, errors can easily be made. This causes bugs, which leads to software appearing later and being more expensive. Michiel Helvensteijn, a PhD student from CWI and the Leiden Institute of Advanced Computer Science, studied how to prevent these kinds…
-
Software developments in automated structure solution and crystallographic studies of the Sso10a2 and human C1 inhibitor protein
Promotor: J.P. Abrahams, Co-Promotor: N.S. Pannu
-
Software, star clusters and supercomputers
Simon Portegies Zwart, professor of Computational Astrophysics, uses computers to simulate the evolution of stars. We speak with him about his field and about the challenges of working with huge amounts of complex data.
-
Abstract Behavioral Specification: unifying modeling and programming
We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.
-
Grant for Elastix medical imaging software
LUMC researcher Marius Staring will receive a $ 200,000 grant from the Chan Zuckerberg Initiative to improve the accessibility, interoperability and efficiency of the Elastix imaging software. This will give the popular 2003 software package a much-needed new impulse.
-
New software for designing sustainable cities
By 2050, more than 70 per cent of the world’s population will live in cities. A group of International researchers has developed software that shows city planners where to invest in nature to improve people’s lives and save billions of dollars.
-
An Online Corpus of UML design models: Construction and empirical studies
Promotores: J. Kok, M. Chaudron (Chalmers University)
-
Market Power and Competition Law In the Software Industry
On Thursday 11 May 2017, Qiang Yu will defend his doctoral thesis ‘Market Power and Competition Law In the Software Industry’. The defence will start at 15.00 hrs, at the Academy Building of Leiden University, Rapenburg 73. The supervisors of the research are Professor T.R. Ottervanger and Professor…
-
Funding for Further Developing Image Processing Software Elastix
Marius Staring, Associate Professor at the LUMC has been awarded the Chan Zuckerberg Initiative funding for further development of image processing software Elastix
-
NWO grant for smart software that searches for new medicines
Gerard van Westen and his group, together with pharmaceutical company Galapagos, start on developing software that invents new effective molecules. They will receive an NWO LIFT grant of 280,000 euros, of which 63,000 euros will come from Galapagos. The company will also bring its expertise in biology,…
-
NWO grant for smart software that searches for new medicines
Gerard van Westen and his group, together with pharmaceutical company Galapagos, start on developing software that invents new effective molecules. They will receive an NWO LIFT grant of 280,000 euros, of which 63,000 euros will come from Galapagos. The company will also bring its expertise in biology,…
-
Joost Visser appointed as professor of Large Scale Software and Data Science
On 15 November Joost Visser started as Professor of Large Scale Software and Data Science at the Leiden Institute of Advanced Computer Science (LIACS). He will head the software engineering research at LIACS and becomes head of the ICT in Business and the Public Sector master's program.
-
Improving the environment of people with dementia with the help of new software
Can we improve the living environment of people with dementia with software and smartwatches? Daniela Gawehns did research in a care facility for people with dementia as part of the project 'Dementia back in the heart of society'. This way, she tried to find out whether an open living environment leads…
-
The coding sociologist John Boy developed Textnets: software to make large amounts of text visually comprehensible
Software development is probably not the first thing that comes to mind when you think of a sociologist. Three years ago, John Boy began developing his software package Textnets. Because of Corona, he was less able to concentrate on writing scientific research and also setting up the online courses…
-
Valerie Frissen on NPO Radio 1 about Microsoft's new VALL-E software
Microsoft’s new software VALL-E only has to hear a voice for three seconds to be able to imitate it almost perfectly. You can choose which emotion the voice should use and what it should say. Valerie Frissen, Professor by special appointment of Digital Technology and Social Change at eLaw, and Director…
-
Dutch and Japanese researchers collaborate with leading quantum software developer Qu&Co
Vedran Dunjko (LIACS and applied Quantum algorithms (aQa) Leiden) and Tomoyuki Morimae (Kyoto University) are to collaborate with Qu&Co. Qu&Co is a leading European developer of quantum software.
-
Developing quantum software with a grant of 18.8 million euros
The first larger quantum computers will soon be available. These computers need new software. Researchers at Leiden University have been awarded a Gravitation grant to develop the necessary software. They will be collaborating with colleagues from other research institutions.
-
Willemijn Aerdts Discusses MIVD Espionage Software Warning on Dutch BNR Radio
Willemijn Aerdts, lecturer at ISGA discusses the warning issued by the MIVD (Dutch Military Intelligence and Security Service) to put away your phone when discussing sensitive or private matters.
-
Olga Gadyatskaya
Science
-
Kristian Rietveld
Science
-
Lieuwe Vinkhuijzen third in VERSEN Master Thesis Award
PhD candidate Lieuwe Vinkhuijzen received the VERSEN Master Thesis Award 3rd prize for his master’s thesis on quantum computing. ‘A forward-looking thesis that solves problems in software engineering; not in the next decade, but beyond’, according to the jury.
-
Systems Modelling Lab (SML)
Mathematical models of software systems enable characterizations, abstractions, simulations, and analysis of complex software during its development.
-
Cyber agent technology and intelligence agencies
Cyber agent technology and intelligence agencies is a project that is commissioned by Tracks Inspector, a Dutch company that develops innovative software.
-
Using AI to improve the Design-Make-Test cycle with Galapagos
Researchers at LED3 are working together with biopharmaceutical company Galapagos to develop software for use in early drug discovery (funded by NWO). This software is able to design molecules with several simultaneously optimized characteristics and will also take prediction reliability into consideration…
-
Leiden Embedded & Real-time Computing (LERC)
Leiden Embedded & Real-time Computing (LERC) is an expert lab and leader in advanced research on embedded and real-time systems and software. The main mission of LERC is by its research to contribute in a highly innovative way to the system-level design of embedded and cyber-physical systems and software…
-
CMLCA
CMLCA is a software tool that supports the technical steps of the Life Cycle Assessment. The focus of the program is on advanced computational aspects of life cycle inventory calculations.
-
Cyber-Security-by-Integrated-Design (C-SIDe) project
Cyber-attacks, privacy-related problems or failures in functioning: many technologies that are used every day have security issues that are solved when the software is already in use. An interdisciplinary project, in which Olga Gadyatskaya, Harry Wijshoff, Alex Uta and Kristian Rietveld from the Leiden…
-
Distributions
Statistical distributions in LCA and converting between different representations of these distributions.
-
New practice tool for quantum computer coding: OpenFermion
In a global effort, quantum computers are rapidly being developed. In the meantime, researchers have to learn how to write code for these devices, which are fundamentally different from conventional computers. A collaboration of scientists led by Google, and including physicists from Leiden and Delft,…
-
Multiway Analysis
-
-
PNEC-pro
PNEC-pro is a user-friendly screening tool for professionals dealing with the assessment of surface water quality. The tool calculates local, watertype specific no-effect concentrations (PNEC) of copper, lead, nickel, and zinc based on biotic ligand models (BLMs).
-
FAIRDOM – FAIR Sharing for Systems and Synthetic Biology
FAIRDOM consortium is an open initiative of various partners including funding programmes, large-consortia, institutes, small groups as well as individuals.