Search results
Results: 25
Number of items: 25
-
Pacciani, T., Frolich, D., van Binsbergen, L. T., & Papagianni, C. (2025). P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. In A. Shaikhha, S. Erdweg, & N. Amin (Eds.), GPCE '25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : July 3-4, 2025, Bergen, Norway (pp. 54-66). Association for Computing Machinery. https://doi.org/10.1145/3742876.3742879 -
Esterhuyse, C. A., Müller, T., & van Binsbergen, L. T. (2025). A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. In A. Shaikhha, S. Erdweg, & N. Amin (Eds.), GPCE '25: Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : July 3-4, 2025, Bergen, Norway (pp. 80-93). Association for Computing Machinery. https://doi.org/10.1145/3742876.3742882 -
Frölich, D., Pacciani, T., & van Binsbergen, L. T. (2025). Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages. In SLE'25: Proceedings of SLE 2025 : 18th ACM IGPLAN International Confertence on Software Language Engineering : June 12-13, 2025, Koblenz, Germany (pp. 134-147). Association for Computing Machinery. https://doi.org/10.1145/3732771.3742719 -
van Binsbergen, L. T., Steketee, M. C., Kebede, M. G., Janssen, H. L., & van Engers, T. M. (2025). Lawful and Accountable Personal Data Processing with GDPR-based Access and Usage Control in Distributed Systems. (v1 ed.) ArXiv. https://doi.org/10.48550/arXiv.2503.07172 -
Müller, T., Turner, R. J., Amiri, S., Allaart, C., van Binsbergen, L. T., Dijksman, L., van Engers, T., Belloum, A., Grosso, P., Grünwald, P., Hoogoort, K., Härmä, A., Hegeman, J. M., Kassem, J. A., Kebede, M., de Laat, C., van der Nat, P., Pals, A., Scheepers, F., & Klous, S. (2025). Optimizing Clinical Pathways with Federated Data. Jusletter IT, 2025, 147-158. https://doi.org/10.38023/eeb1b383-86b0-4b9e-89d5-57af4b58eeb3 -
Esterhuyse, C. A., & van Binsbergen, L. T. (2024). Cooperative Specification via Composition Control. In R. Laemmel, J. Alves Pereira, & P. D. Mosses (Eds.), SLE '24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering : October 20-21, 2024, Pasadena, CA, USA (pp. 2-15). Association for Computing Machinery. https://doi.org/10.1145/3687997.3695635 -
Frölich, D., & van Binsbergen, L. T. (2024). iCoLa+: An extensible meta-language with support for exploratory language development. Journal of Systems and Software, 211, Article 111979. https://doi.org/10.1016/j.jss.2024.111979
Page 1 of 3