Author of the publication

Dynamic Event Generation for Runtime Checking using the JDI.

, and . Electron. Notes Theor. Comput. Sci., 70 (4): 21-35 (2002)

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

Fast sparse reconstruction: Greedy inverse scale space flows., and . Math. Comput., (2016)Design Considerations for a 6 Bit 20 GS/s SiGe BiCMOS Flash ADC Without Track-and-Hold., , , and . J. Solid-State Circuits, 49 (9): 1886-1894 (2014)Integrating a formal method into a software engineering process with UML and Java., , , and . Formal Asp. Comput., 20 (2): 161-204 (2008)Design Considerations for a 100 Gbit/s SiGe-BiCMOS Power Multiplexer With 2 Vpp Differential Voltage Swing., , and . J. Solid-State Circuits, 53 (9): 2479-2487 (2018)Spectral Decompositions using One-Homogeneous Functionals., , , , and . CoRR, (2016)Spectral Representations of One-Homogeneous Functionals., , , and . SSVM, volume 9087 of Lecture Notes in Computer Science, page 16-27. Springer, (2015)Interactive Multi-label Segmentation of RGB-D Images., , , , and . SSVM, volume 9087 of Lecture Notes in Computer Science, page 294-306. Springer, (2015)Physical Representation Learning and Parameter Identification from Video Using Differentiable Physics., , , and . Int. J. Comput. Vis., 130 (1): 3-16 (2022)Deep Optimization Prior for THz Model Parameter Estimation., , , , , and . WACV, page 4049-4058. IEEE, (2022)Learning to Identify Physical Parameters from Video Using Differentiable Physics., , , and . GCPR, volume 12544 of Lecture Notes in Computer Science, page 44-57. Springer, (2020)