No photo of Pieter Collins

Pieter Collins

 https://orcid.org/0000-0002-8896-9603
19992024

Research activity per year

Filter
Chapter

Search results

  • 2022

    Automating Numerical Parameters Along the Evolution of a Nonlinear System

    Geretti, L., Collins, P., Bresolin, D. & Villa, T., 2022, RUNTIME VERIFICATION (RV 2022). Springer International Publishing AG, Vol. 13498. p. 336-345 10 p. (Lecture Notes in Computer Science, Vol. 13498).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File
    52 Downloads (Pure)

  • Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System

    Brausse, F., Collins, P. & Ziegler, M., 2022, Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings: Conference proceedings. Boulier, F., England, M., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). Springer International Publishing AG, Vol. 13366. p. 62-82 21 p. (Lecture Notes in Computer Science, Vol. 13366).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File
    454 Downloads (Pure)
  • 2019

    Rigorous Continuous Evolution of Uncertain Systems

    Geretti, L., Zivanovic Gonzalez, S., Collins, P., Bresolin, D. & Villa, T., 2019, Numerical Software Verification. NSV 2019: International Workshop on Numerical Software Verification. Zamani, M. & Zufferey, D. (eds.). Springer, Vol. 11652. p. 60-75 16 p. (Lecture Notes in Computer Science, Vol. 11652).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File
    74 Downloads (Pure)
  • 2018

    Heterogeneous Domain Adaptation Based on Class Decomposition Schemes

    Ismailoglu, F., Smirnov, E., Peeters, R., Zhou, S. & Collins, P., 19 Jun 2018, Advances in Knowledge Discovery and Data Mining: PAKDD 2018. Phung, D., Tseng, V., Webb, G., Ho, B., Ganji, M. & Rashidi, L. (eds.). Cham: Springer, p. 169-182 (Lecture Notes in Computer Science, Vol. 10937).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File
    61 Downloads (Pure)
  • 2017

    Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

    Geretti, L., Bresolin, D., Collins, P., Zivanovic Gonzalez, S. & Villa, T., 2017, IFIP International Conference on Testing Software and Systems. Springer, p. 313-319 (Lecture Notes in Computer Science, Vol. 10533).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File
    78 Downloads (Pure)
  • 2015

    An Introduction to the Verification of Hybrid Systems Using Ariadne

    Bresolin, D., Geretti, L., Villa, T. & Collins, P., 2015, Coordination Control of Distributed Systems. van Schuppen, J. & Villa, T. (eds.). Springer, p. 339-346 8 p. (Lecture Notes in Control and Information Sciences, Vol. 456).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Computing Reachable Sets of Differential Inclusions

    Gonzalez, S. Z. & Collins, P., 2015, Coordination Control of Distributed Systems. Springer, p. 357-365 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic