Author of the publication

Modeling and Simulation of Tests for Agents.

, , , and . MATES, volume 4196 of Lecture Notes in Computer Science, page 49-60. Springer, (2006)

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

Controlled Experimentation with Agents - Models and Implementations., and . ESAW, volume 3451 of Lecture Notes in Computer Science, page 292-304. Springer, (2004)Dynamic structures in modeling and simulation: a reflective approach.. ACM Trans. Model. Comput. Simul., 11 (2): 206-232 (2001)Discrete event modelling and simulation in systems biology., , , and . J. Simulation, 1 (2): 81-96 (2007)PROVenance Patterns in Numerical Modelling and Finite Element Simulation Processes of Bio-electric Systems., , , , , , and . EMBC, page 3377-3382. IEEE, (2019)Seamless Simulation-Based Verification and Validation of Event-Driven Software Systems., , , and . WSC, page 2130-2141. IEEE, (2022)Efficient Simulation of Nested Hollow Sphere Intersections: for Dynamically Nested Compartmental Models in Cell Biology., , and . SIGSIM-PADS, page 173-183. ACM, (2017)Zero Lookahead? Zero Problem. The Window Racer Algorithm., , and . SIGSIM-PADS, page 1-11. ACM, (2023)Pragmatic Logic-Based Spatio-Temporal Pattern Checking in Particle-Based Models., , , , , and . WSC, page 2245-2256. IEEE, (2020)Modelling Migration: Decisions, Processes and Outcomes., , , , , , , , and . WSC, page 2613-2624. IEEE, (2020)Validation Without Data - Formalizing Stylized Facts Of Time Series., , , , and . WSC, page 2674-2685. IEEE, (2023)