Publications related to Computer-aided software engineering

STEPS 4.0: Fast and memory-efficient molecular simulations of neurons at the nanoscale

Felix Schürmann, James Gonzalo King, Pramod Shivaji Kumbhar, Omar Awile, Christos Kotsalos, Tristan Mathieu Carel, Iain Hepburn, Samuel Marie A Melchior, Weiliang Chen, Baudouin Paul Michel Maria Joseph Del Marmol, Alessandro Cattabiani, Giacomo Castiglioni, Nicola Cantarutti

Recent advances in computational neuroscience have demonstrated the usefulness and importance of stochastic, spatial reaction-diffusion simulations. However, ever increasing model complexity renders traditional serial solvers, as well as naive parallel imp ...

FRONTIERS MEDIA SA2022

Toward Code Review Notebooks

Denis Gillet, Maria Jesus Rodriguez Triana, Juan Carlos Farah, Sandy Ingram

Peer code review has proven to be a valuable tool in software engineering. However, integrating code reviews into educational contexts is particularly challenging due to the complexity of both the process and popular code review tools. We propose to addres ...

IEEE2022

Impersonating Chatbots in a Code Review Exercise to Teach Software Engineering Best Practices

Denis Gillet, Maria Jesus Rodriguez Triana, Juan Carlos Farah, Sandy Ingram, Vandit Sharma

Over the past decade, the use of chatbots for educational purposes has gained considerable traction. A similar trend has been observed in social coding platforms, where automated agents support software developers with tasks such as performing code reviews ...

IEEE2022

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng, Han Li

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

HippoUnit: A software tool for the automated testing and systematic comparison of detailed models of hippocampal neurons based on electrophysiological data

Eilif Benjamin Muller, Armando Romani, Werner Alfons Hilda Van Geit, Szabolcs Kali, Carmen Alina Lupascu, Rosanna Migliore, Luca Leonardo Bologna, Sàra Sàray, Shailesh Appukuttan

Anatomically and biophysically detailed data-driven neuronal models have become widely used tools for understanding and predicting the behavior and function of neurons. Due to the increasing availability of experimental data from anatomical and electrophys ...

2021

Software tools for the lightning performance assessment

Carlo Alberto Nucci

This chapter describes two of the most adopted software tools for the evaluation of the lightning performance of transmission and distribution lines, namely FLASH and LIOV-EMTP (Lightning Induced OverVoltage - ElectroMagnetic Transient Program), together w ...

The Institution of Engineering and Technology IET2020

Wannier90 as a community code: new features and applications

Nicola Marzari, Giovanni Pizzi, Marco Gibertini, Antimo Marrazzo, Hyungjun Lee, Junfeng Qiao, Samuel Poncé, Lorenzo Paulatto, Daniel John Gilles Marchand

Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets representi ...

2020

Reduced order modeling for nonlinear structural analysis using Gaussian process regression

Jan Sickmann Hesthaven, Mengwu Guo

A non-intrusive reduced basis (RB) method is proposed for parametrized nonlinear structural analysis undergoing large deformations and with elasto-plastic constitutive relations. In this method, a reduced basis is constructed from a set of full-order snaps ...

2018

A methodology for the rigorous verification of Particle-in-Cell simulations

Paolo Ricci, Fabio Riva, Carrie Fiona Beadle

A methodology to perform a rigorous verification of Particle-in-Cell (PIC) simulations is presented, both for assessing the correct implementation of the model equations (code verification), and evaluating the numerical uncertainty affecting the simulation ...

American Institute of Physics2017

Linking Models and Experiments

Dominique Bonvin, Diogo Filipe Mateus Rodrigues, René Uwe Schneider

This position paper gives an overview of the discussion that took place at FIPSE 2 at Aldemar Resort, east of Heraklion, Crete, in June 21-23, 2014. This is the second conference in the series "Future Innovation in Process Systems Engineering" (http://fi-i ...

Amer Chemical Soc2016

Modelling Architecture Styles

Anastasia Mavridou

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

EPFL2016

Pattern detection for conceptual schema recovery in data-intensive systems

Gianluigi Viscusi

In this paper, an approach for information systems reverse engineering is proposed and applied. The aim is to support a unified perspective to the reverse engineering process of both data and software. At the state of the art, indeed, many methods, techniq ...

Wiley-Blackwell2014

Current Practice in Software Development for Computational Neuroscience and How to Improve It

Marc-Oliver Gewaltig

Almost all research work in computational neuroscience involves software. As researchers try to understand ever more complex systems, there is a continual need for software with new capabilities. Because of the wide range of questions being investigated, n ...

Public Library of Science2014

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Gilles Dubochet

Domain-specific programming is bound to play a central role in improving the productivity of writing software. This is because modern, intricate, general-purpose abstractions are rarely applicable directly to everyday programming. However, such abstraction ...

EPFL2011

Implementation of variably saturated flow into PHREEQC for the simulation of biogeochemical reactions in the vadose zone

David Andrew Barry, Laurin Wissmeier

A software tool for the simulation of one-dimensional unsaturated flow and solute transport together with biogeochemical reactions in the vadose zone was developed by integrating a numerical solution of Richards' equation into the geochemical modelling fra ...

Elsevier2010

SeamCAD: a hierarchy-oriented modeling language and a computer-aided tool for entreprise architecture

Lam Son Lê

Modeling Enterprise Architecture requires representing multiple diagrams of an enterprise, which typically shows the multiples business entities, IT systems, even software components and the services they offer. This could be done by a team of stakeholders ...

EPFL2008

The host software for the real-time PHA X-ray diagnostic on TCV

Basil Duval

A real-time pulse height analysis (PHA) X-ray diagnostic for the TCV tokamak has been developed using CFN multi-DSP-based VME acquisition, processing and control board. The hardware is composed by: (i) a detection system based on a Si SDD detector; (ii) a ...

2006

Modeling degradation processes of switches and crossings for maintenance and renewal planning on the Swiss railway network

Willem-Jan Zwanenburg

Switches and crossings (S&C) form an important asset of modern day railways. Current Decision Support Systems for track maintenance and renewal however do not provide help on maintenance and renewal management of S&C, due to the lack of understanding of th ...

2006

Environmental impacts and benefits of information and communication technology infrastructure and services, using process and input-output life cycle assessment

Yves Jon Césare Loerincik

Sustainable development and the Information Society are two concepts that are not commonly associated. However, both could have a major impact on the other. Information and communication technologies (ICT) may have important negative impacts on the environ ...

EPFL2006

Object-oriented approach for dynamic system modelling and simulation

Adel Besrour

Software engineering always cares to provide solutions for building applications as close as possible to what they should be, according to the requirements and the final users needs. Systems behavior simulation is a very common application to virtually rep ...

EPFL2005