Pages
- 1
- 2
- document
-
Shukla, Apoorv (author), Hudemann, Kevin (author), Vagi, Zsolt (author), Hugerich, Lily (author), Smaragdakis, G. (author), Hecker, Artur (author), Schmid, Stefan (author), Feldmann, Anja (author)We introduce a runtime verification framework for programmable switches that complements static analysis. To evaluate our approach, we design and develop P6, a runtime verification system that automatically detects, localizes, and patches software bugs in P4 programs. Bugs are reported via a violation of pre-specified expected behavior that...journal article 2023
- document
-
Coppola, M. (author)The paradigm of swarm robotics aims to enable several independent robots to collaborate together toward collective goals. The distributed nature of a swarm, whereby each robot acts independently in accordance with its perceived environment, is expected to provide the system with a high degree of flexibility, robustness, and scalability. However,...doctoral thesis 2021
- document
-
Groen, D. (author), Arabnejad, H. (author), Jancauskas, V. (author), Edeling, W. N. (author), Jansson, F.R. (author), Richardson, R. A. (author), Lakhlili, J. (author), Veen, L. (author), Bosak, B. (author)We present the VECMA toolkit (VECMAtk), a flexible software environment for single and multiscale simulations that introduces directly applicable and reusable procedures for verification, validation (V&V), sensitivity analysis (SA) and uncertainty quantication (UQ). It enables users to verify key aspects of their applications,...journal article 2021
- document
-
Verdier, C.F. (author), Babuska, R. (author), Shyrokau, B. (author), Mazo, M. (author)Control systems designed via learning methods, aiming at quasi-optimal solutions, typically lack stability and performance guarantees. We propose a method to construct a near-optimal control law by means of model-based reinforcement learning and subsequently verifying the reachability and safety of the closed-loop control system through an...journal article 2019
- document
-
Garbatov, Y. (author), Ås, S.K. (author), Branner, Kim (author), Choi, B.K. (author), den Besten, J.H. (author), Dong, P. (author), Lillemäe, I. (author), Lindstrom, P. (author), Lourenço de Souz, M. (author), Parmentier, G. (author), Quéméner, Y. (author), Rizzo, C.M. (author), Rörup, J. (author), Vhanmane, Suhas (author), Villavicencio, R. (author), Wang, F. (author), Yuan, Yue (author)Concern for crack initiation and growth under cyclic loading as well as unstable crack propagation and tearing in the ship and offshore structures. Due attention shall be paid to the suitability and uncertainty of physical models and testing. Consideration is to be given to practical application, statistical description and fracture control...conference paper 2018
- document
-
Roungas, V. (author), Meijer, Sebastiaan (author), Verbraeck, A. (author)Thirty years of research on validation and verification have returned a plethora of methods and statistical techniques through methodological and case studies. It is, however, this abundance of methods and techniques that poses a major challenge. Due to time and budget constraints, it is impossible to apply all the available methods and...journal article 2018
- document
-
Schwarting, Wilko (author), Alonso-Mora, J. (author), Rus, Daniela (author)In this review, we provide an overview of emerging trends and challenges in the field of intelligent and autonomous, or self-driving, vehicles. Recent advances in the field of perception, planning, and decision-making for autonomous vehicles have led to great improvements in functional capabilities, with several prototypes already driving on our...journal article 2018
- document
-
Roungas, V. (author), Meijer, S.A. (author), Verbraeck, A. (author)Thirty years of research on validation and verification (V\&V) has returned a plethora of methods, statistical techniques, and reported case studies. It is that abundance of methods that poses a major challenge. Because of overlap between methods and time and budget constraints, it is impossible to apply all the available methods in a single...conference paper 2017
- document
-
Heck, P.M. (author)The goal of this thesis was to obtain a deeper understanding of the notion of quality for Just-in-Time (JIT) Requirements. JIT requirements are the opposite of up-front requirements. JIT requirements are not analyzed or defined until they are needed meaning that development is allowed to begin with incomplete requirements. We started our...doctoral thesis 2016
- document
-
Heck, P. (author), Zaidman, A. (author)Verification activities are necessary to ensure that the requirements are specified in a correct way. However, until now requirements verification research has focused on traditional up-front requirements. Agile or just-in-time requirements are by definition incomplete, not specific and might be ambiguous when initially specified, indicating a...report 2014
- document
-
Hemel, Z. (author), Groenewegen, D.M. (author), Kats, L.C.L. (author), Visser, E. (author)Modern web application development frameworks provide web application developers with highlevel abstractions to improve their productivity. However, their support for static verification of applications is limited. Inconsistencies in an application are often not detected statically, but appear as errors at run-time. The reports about these...report 2010
- document
-
Dechesne, F. (author), Wang, Y. (author)Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorporate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with...journal article 2010
- document
-
Regnström, B. (author)The Theodorsen-Garrick conformal mapping is used to make a grid around a wing section and to compute the potential flow around it. The potential flow is a solution to the incompressible Euler equations and can be used to verify the inviscid part of RANS codes.conference paper 2006
- document
-
Roza, Z.C. (author)Simulation fidelity is an intrinsic element of any simulation system, one that all its developers and users have to deal with one way or the other. It is commonly recognized by the modeling and simulation community that simulation fidelity is an essential vehicle in properly assessing the validity and credibility of simulation results....doctoral thesis 2005
- document
- Bijvelds, M.D.J.P. (author) report 2000
- document
- Vledder, G.P. van (author) report 1994
- document
- Petit, H.A.H. (author), Bosch, P. van den (author), Gent, M.R.A. van (author) report 1994
- document
- Ramadan, K.A.H. (author), Ribberink, J.S. (author) report 1994
- document
- Boderie, P.M.A. (author), Zwolsman, J.J.G. (author) report 1993
- document
- Bilse, D.P. (author) report 1993
Pages
- 1
- 2