Author of the publication

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 1-31. EasyChair, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 1-31. EasyChair, (2021)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 16-48. EasyChair, (2020)Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions., , and . MEMOCODE, page 1-6. IEEE, (2020)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 49-75. EasyChair, (2020)Controllable Packet Prioritization on PlanetLab Using NEPI., , , and . TRIDENTCOM, volume 44 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 415-416. Springer, (2012)Popping Up Balloons for Science: a Research Proposal., , and . ACI, page 12:1-12:5. ACM, (2022)Automated Deployment and Customization of Routing Overlays on Planetlab., , , and . TRIDENTCOM, volume 44 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 240-255. Springer, (2012)Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems., , and . CoRR, (2021)NEPI: An integration framework for Network Experimentation., , , , and . SoftCOM, page 1-5. IEEE, (2011)