print · login   

Bibtex actions:
  edit    source    raw source    raw html

2020

  1. Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Nathalie Bertrand and Nils Jansen, Lecture Notes in Computer Science, 12288, Springer, 2020.
  2. Abhisek Midya, Frits W. Vaandrager, D. G. Thomas and Chandrima Ghosh. Simulating Parallel Internal Column Contextual Array Grammars Using Two-Dimensional Parallel Restarting Automata with Multiple Windows. Combinatorial Image Analysis - 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020, Proceedings, 106-122, 2020, 10.1007/978-3-030-51002-2\_8, Tibor Lukic, Reneta P. Barneva, Valentin E. Brimkov, Lidija Comic and Natasa Sladoje, Lecture Notes in Computer Science, 12148, Springer.
  3. B. Akesson, J. Hooman, J. Sleuters and A. Yankov. Chapter 10 - Reducing design time and promoting evolvability using Domain-Specific Languages in an industrial context. B. Tekinerdogan, \"O Babur, L. Cleophas, M. van den Brand and M. Ak\csit, Model Management and Analytics for Large Scale Systems, 2020, Academic Press, London, 245-272, 10.1016/B978-0-12-816649-9.00020-X.
  4. B. Akesson, J. Hooman, J. Sleuters and A. Yankov. Reducing design time and promoting evolvability using Domain-Specific Languages in an industrial context. B. Tekinerdogan, Model Management and Analytics for Large Scale Systems, 2020, Academic Press, London, 245-272, 10.1016/B978-0-12-816649-9.00020-X.
  5. Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers and Eelco Visser. Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages. Certified Programs and Proofs (CPP), 284-298, 2020.
  6. Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers and Eelco Visser. Knowing When to Ask: Safely scheduling name resolution queries in type checkers derived from declarative specifications. Proceedings of the ACM on Programming Languages (PACMPL), 4, 180:1-180:28, 2020, Published as part of Object-Oriented Programming, Systems, Languages & Applications (OOPSLA).
  7. H. Barendregt. Gems of Corrado Böhm. Logical Methods in Computer Science, 2020, 16, 3, 1-28.
  8. H. Barendregt. We hebben geen vrije wil en dit is waarom. 2020, bedrock.nl.
  9. Bettina Könighofer, Florian Lorber, Nils Jansen and Roderick Bloem. Shield Synthesis for Reinforcement Learning. ISoLA (1), Lecture Notes in Computer Science, 12476, 290-306, Springer, 2020.
  10. Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts and Rob Smits. Grey-Box Learning of Register Automata. Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, 22-40, 2020, 10.1007/978-3-030-63461-2\_2, Brijesh Dongol and Elena Troubitsyna, Lecture Notes in Computer Science, 12546, Springer.
  11. Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts and Rob Smits. Grey-Box Learning of Register Automata. CoRR, abs/2009.09975, 2020, 2009.09975.
  12. Marcos L. P. Bueno, Arjen Hommersom and Peter J. F. Lucas. Temporal Exceptional Model Mining Using Dynamic Bayesian Networks. Vincent Lemaire, Simon Malinowski, Anthony Bagnall, Thomas Guyet, Romain Tavenard and Georgiana Ifrim, Advanced Analytics and Learning on Temporal Data, 2020, Springer International Publishing, Cham, 97-112.
  13. Zaharah Allah Bukhsh and Irina Stipanovic. Predictive Maintenance for Infrastructure Asset Management. IT Professional, 2020, 22, 5, 40-45, Gevonden in WoS met onderzoeker 1457253 Bukhsh, Z. (Zaharah) Affil. (Radboud OR Nijmegen) 2 auteurs volgens WoS, 10.1109/MITP.2020.2975736.
  14. Carlos E. Budde, Enno Ruijters and Mariëlle Stoelinga. The Dynamic Fault Tree Rare Event Simulator. Marco Gribaudo, David N. Jansen and Anne Remke, Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings, Lecture Notes in Computer Science, 12289, 233-238, Springer, 2020, 10.1007/978-3-030-59854-9\_17.
  15. Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio and Mariëlle Stoelinga. Rare Event Simulation for Non-Markovian Repairable Fault Trees. Armin Biere and David Parker, Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, Lecture Notes in Computer Science, 12078, 463-482, Springer, 2020, 10.1007/978-3-030-45190-5\_26.
  16. Carlos E. Budde and Mariëlle Stoelinga. Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. Holger Hermanns, Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings, Lecture Notes in Computer Science, 12040, 259-277, Springer, 2020, 10.1007/978-3-030-43024-5\_16.
  17. Clemens Kupke and Jurriaan Rot. Expressive Logics for Coinductive Predicates. CSL, LIPIcs, 152, 26:1-26:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
  18. O. Dardha and J. Rot. Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. Electronic Proceedings in Theoretical Computer Science, 2020, 322, 1-105, 10.4204/EPTCS.322.
  19. Davide Ancona, Francesco Dagnino, Jurriaan Rot and Elena Zucca. A big step from finite to infinite computations. Sci. Comput. Program., 197, 102492, 2020.
  20. Dennis Gross, Nils Jansen, Guillermo A. Pérez and Stephan Raaijmakers. Robustness Verification for Classifier Ensembles. ATVA, Lecture Notes in Computer Science, 12302, 271-287, Springer, 2020.
  21. Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka and Scott D. Stoller. Neural Simplex Architecture. NFM, Lecture Notes in Computer Science, 12229, 97-114, Springer, 2020.
  22. Frits W. Vaandrager and Abhisek Midya. A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings, 43-63, 2020, 10.1007/978-3-030-64276-1\_3, Violet Ka I Pun, Volker Stolz and Adenilso Simão, Lecture Notes in Computer Science, 12545, Springer.
  23. Frits W. Vaandrager and Abhisek Midya. A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. CoRR, abs/2007.03540, 2020, 2007.03540.
  24. Sergio Garcia, Daniel Strüber, Davide Brugali, Thorsten Berger and Patrizio Pelliccione. Robotics Software Engineering: A Perspective from the Service Robotics Domain. ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020.
  25. Gerco van Heerdt, Clemens Kupke, Jurriaan Rot and Alexandra Silva. Learning Weighted Automata over Principal Ideal Domains. FoSSaCS, Lecture Notes in Computer Science, 12077, 602-621, Springer, 2020.
  26. Henk Don, Hans Zantema and Michiel de Bondt. Slowly synchronizing automata with fixed alphabet size. Information and Computation, 104614, 2020, https://doi.org/10.1016/j.ic.2020.104614.
  27. Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot and Alexandra Silva. Partially Observable Concurrent Kleene Algebra. CONCUR, LIPIcs, 171, 20:1-20:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
  28. Jonas Kastberg Hinrichsen, Jesper Bengtson and Robbert Krebbers. Actris: Session-Type Based Reasoning in Separation Logic. Proceedings of the ACM on Programming Languages (PACMPL), 4, 6:1-6:30, 2020, Published as part of Principles of Programming Languages (POPL).
  29. Neil D. Jones, Siddarth. Bhaskar, Cynthia Kop and Jakob Grue Simonsen. Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. VPT, 2020, Laurent Fribourg and Matthias Heizmann, EPTCS, 320, Open Publishing Association, 65-79, 10.4204/EPTCS.320.5.
  30. Joshua Moerman and Jurriaan Rot. Separation and Renaming in Nominal Sets. CSL, LIPIcs, 152, 31:1-31:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
  31. Markus Klinik, Bernard van Gastel, Cynthia Kop and Marko van Eekelen. Skylines for Symbolic Energy Consumption Analysis. Maurice H. ter Beek and Dejan Ni\vckovi\'c, FMICS, 2020, Springer, 93-112.
  32. Cynthia Kop. WANDA - a Higher Order Termination Tool (System Description). FSCD, 36:1-36:19, LIPIcs, 2020, 167, Zena M. Ariola, Dagstuhl, 10.4230/LIPIcs.FSCD.2020.36.
  33. Cynthia Kop and Deivid Vale. Tuple Interpretations for Higher-Order Complexity. LCC, 2020, Informal Proceedings.
  34. Jens Kosiol, Daniel Strüber, Gabriele Taentzer and Steffen Zschaler. Graph Consistency as a Graduated Property: Consistency-Sustaining and-Improving Graph Transformations. ICGT'20: International Conference on Graph Transformation, 239-256, 2020.
  35. Lasse Blaauwbroek, Josef Urban and Herman Geuvers. Tactic Learning and Proving for the Coq Proof Assistant. LPAR, EPiC Series in Computing, 73, 138-150, EasyChair, 2020.
  36. Lasse Blaauwbroek, Josef Urban and Herman Geuvers. The Tactician - A Seamless, Interactive Tactic Learner and Prover for Coq. CICM, Lecture Notes in Computer Science, 12236, 271-277, Springer, 2020.
  37. Leonore Winterer, Ralf Wimmer, Nils Jansen and Bernd Becker. Strengthening Deterministic Policies for POMDPs. NFM, Lecture Notes in Computer Science, 12229, 115-132, Springer, 2020.
  38. Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu and Joost-Pieter Katoen. Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Transactions on Automatic Control, 2020, , .
  39. Louis Parlant, Jurriaan Rot, Alexandra Silva and Bas Westerbaan. Preservation of Equations by Monoidal Monads. MFCS, LIPIcs, 170, 77:1-77:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
  40. Mart Lubbers, Pieter Koopman, Adrian Ramsingh, Jeremy Singer and Phil Trinder. Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures. Malmö, IoT '20, 10.1145/3410992.3411002, Proceedings of the 10th International Conference on the Internet of Things, Association for Computing Machinery, 2020, event-place: Malmö, Sweden.
  41. Marnix Suilen, Nils Jansen, Murat Cubuktepe and Ufuk Topcu. Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI, 4113-4120, ijcai.org, 2020.
  42. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu. Scenario-Based Verification of Uncertain MDPs. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS , Lecture Notes in Computer Science, 12078, 287-305, Springer, 2020.
  43. T. C. Nägele. CoHLA: Rapid Co-simulation Construction. 2020, s.n., 156.
  44. N. Naus and T. J. Steenvoorden. Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution. A. Byrski and J. Hughes, Lecture Notes in Computer Science, 2020, Springer International Publishing, Cham, 12222, 47-68, 10.1007/978-3-030-57761-2_3.
  45. Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban and Roderick Bloem. Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR, LIPIcs, 171, 3:1-3:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
  46. Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal and Robbert Krebbers. Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris. Proceedings of the ACM on Programming Languages (PACMPL), 4, 114:1-114:29, 2020, Published as part of International Conference on Functional Programming (ICFP).
  47. D. Petrisan and J. Rot. Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Revised Selected Papers. Lecture notes in computer science; 12094, 2020, Springer International Publishing, Cham, 12094, XV, 201, Event: CMCS 2020, 10.1007/978-3-030-57201-3.
  48. Rick Erkens, Jurriaan Rot and Bas Luttik. Up-to Techniques for Branching Bisimilarity. SOFSEM, Lecture Notes in Computer Science, 12011, 285-297, Springer, 2020.
  49. Vahab Rostampour, Thom S. Badings and Jacquelien M.A. Scherpen. Demand Flexibility Management for Buildings-to-Grid Integration with Uncertain Generation. Energies, 13, 24, 2020, 10.3390/en13246532.
  50. Steven Carr, Nils Jansen and Ufuk Topcu. Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI, 4121-4127, ijcai.org, 2020.
  51. Daniel Strüber, Anthony Anjorin and Thorsten Berger. Variability Representations in Class Models: An Empirical Assessment. MODELS'20: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2020.
  52. Stefan Strüder, Mukelabai Mukelabai, Daniel Strüber and Thorsten Berger. Feature-Oriented Defect Prediction. SPLC'20: International Systems and Software Product Line Conference, 2020.
  53. S. Tummers, A.J. Hommersom, L. Lechner, C. Bolman and R. Bemelmans. Gaining Insight into Determinants of Physical Activity using Bayesian Network Learning. BNAIC/BeneLearn 2020, 2020, 298-312.
  54. Hans-Nikolai Vie\ssmann and Sven-Bodo Scholz. Effective Host-GPU Memory Management Through Code Generation. 2020, Association for Computing Machinery, New York, NY, USA, 10.1145/3462172.3462199, IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages, 138–149, IFL 2020.
  55. Hans-Nikolai Vießmann and Sven-Bodo Scholz. Effective Host-GPU Memory Management Through Code Generation. 2020, IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages, IFL 2020, 138-149, 10.1145/3462172.3462199, Association for Computing Machinery, New York, NY, USA.
  56. I. Wilmont. Cognitive Aspects of Conceptual Modelling: Exploring Abstract Reasoning and Executive Control in Modelling Practice. 2020, s.n., 2020-16, viii, 357.
  57. Wim Vanderbauwhede, Sven-Bodo Scholz and Martin Margala. FPGAs for Domain Experts. 2020, October, 10.1155/2020/2725809, 2020, International Journal of Reconfigurable Computing, Hindawi Publishing Corporation.
  58. H. Zantema. Complexity of automatic sequences. 14th International Conference on Language and Automata Theory and Applications (LATA), 2020, Lecture Notes in Computer Science, Springer, 12038, 260-271.
  59. Richard den Hollander, Ajaya Adhikari, Ioannis Tolios, Michael van Bekkum, Anneloes Bal, Stijn Hendriks, Maarten Kruithof, Dennis Gross, Nils Jansen, Guillermo Perez and others. Adversarial patch camouflage against aerial detection. Artificial Intelligence and Machine Learning in Defense Applications II, 11543, 115430F, 2020, International Society for Optics and Photonics.
  60. P. van den Bos. Coverage and Games in Model-Based Testing. 2020, s.n., 2020-8, 177.
  61. P. van den Bos and F. W. Vaandrager. State Identification for Labeled Transition Systems with Inputs and Outputs. F. Arbab and S.-S. Jongmans, Lecture Notes in Computer Science, 2020, Springer, Cham, 12018, 191-212, 10.1007/978-3-030-40914-2_10.
  62. N. M. van der Weide. Constructing Higher Inductive Types. 2020, s.n., vi, 111.
  63. N. M. van der Weide. Constructing Higher Inductive Types as Groupoid Quotients. H. Hermanns, LICS'20:Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July, 2020, 2020, Association for Computing Machinery, New York, 929-943, 10.1145/3373718.3394803.