print · login   

Bibtex actions:
  edit    source    raw source    raw html

2018

  1. 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Silvia Ghilezan, Herman Geuvers and Jelena Ivetic, LIPIcs, 97, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018.
  2. Computer Science Education: Perspectives on Teaching and Learning. S. Sentance, E. Barendsen and C. Schulte, London: Bloomsbury Academic, 2018.
  3. Agnes Nakakawa, Patrick van Bommel, Erik H. A. Proper and Hans B. F. Mulder. A Situational Method for Creating Shared Understanding on Requirements for an Enterprise Architecture. Int. J. Cooperative Inf. Syst., 27, 4, 1850010, 2018, 10.1142/S0218843018500107.
  4. Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque and Mariëlle Stoelinga. Modelling Smart Buildings Using Fault Maintenance Trees. Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings, 110-125, 2018, 10.1007/978-3-030-02227-3\_8, Rena Bakhshi, Paolo Ballarini, Beno\^\it Barbot, Hind Castel-Taleb and Anne Remke, Lecture Notes in Computer Science, 11178, Springer.
  5. Alexandre Goy and Jurriaan Rot. (In)finite Trace Equivalence of Probabilistic Transition Systems. Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers, 100-121, 2018, 10.1007/978-3-030-00389-0\_7.
  6. Alexandru Constantin Serban, Erik Poll and Joost Visser. A Security Analysis of the ETSI ITS Vehicular Communications. Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Väster\aas, Sweden, September 18, 2018, Proceedings, 365-373, 2018, 10.1007/978-3-319-99229-7\_31, Barbara Gallina, Amund Skavhaug, Erwin Schoitsch and Friedemann Bitsch, Lecture Notes in Computer Science, 11094, Springer.
  7. Alexandru Constantin Serban, Erik Poll and Joost Visser. A Standard Driven Software Architecture for Fully Autonomous Vehicles. 2018 IEEE International Conference on Software Architecture Companion, ICSA Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018, 120-127, 2018, 10.1109/ICSA-C.2018.00040, IEEE Computer Society.
  8. Alexandru Constantin Serban, Erik Poll and Joost Visser. Tactical Safety Reasoning. A Case for Autonomous Vehicles. 87th IEEE Vehicular Technology Conference, VTC Spring 2018, Porto, Portugal, June 3-6, 2018, 1-5, 2018, 10.1109/VTCSpring.2018.8417887, IEEE.
  9. Alexis Linard. Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches. CoRR, abs/1806.01630, 2018.
  10. Alexis Linard, Colin de la Higuera and Frits W. Vaandrager. Learning Unions of k-Testable Languages. CoRR, arXiv:1812.08269, 2018.
  11. Arjen Hommersom and James Cussens. Probabilistic logic programming (PLP) 2016. 2018, 5, 10.1016/j.ijar.2018.03.001, 96, 56-56, International Journal of Approximate Reasoning, Elsevier Science Inc..
  12. B. Akesson, J. Hooman, R. Dekker, W. Ekkelkamp and B. Stottelaar. Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages. Proc. 6th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2018), 752-764, 2018.
  13. Bart Jacobs, Paul Levy and Jurriaan Rot. Steps and Traces. Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers, 122-143, 2018, 10.1007/978-3-030-00389-0\_8.
  14. H. Basold. Mixed Inductive-Coinductive Reasoning Types, Programs and Logic. 2018, s.n., ix, 330.
  15. D. Bayram-Jacobs, I. Henze and E. Barendsen. The influence of ENGAGE materials on students' learning about socio-scientific issues. Proceedings of ESERA 2017, 2018.
  16. Eduard van der Bent, Jurriaan Hage, Joost Visser and Georgios Gousios. How good is your puppet? An empirically defined and validated quality model for puppet. 25th International Conference on Software Analysis, Evolution and Reengineering, SANER 2018, Campobasso, Italy, March 20-23, 2018, 164-174, 2018, 10.1109/SANER.2018.8330206, Rocco Oliveto, Massimiliano Di Penta and David C. Shepherd, IEEE Computer Society.
  17. Laura Benvenuti, Erik Barendsen, Gerrit Van der Veer and Johan Versendaal. Understanding computing in a hybrid world: on the undergraduate curriculum Front End Development. Proceedings of the 2018 ACM SIGCSE Technical Symposium on Computer Science Education, 580-585, 2018.
  18. F. van den Berg, J. Hooman and B.R. Haverkort. A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. 295-301, Measurement, Modelling and Evaluation of Computing Systems, 2018, LNCS 10740, Springer International Publishing.
  19. M. Bjeković. Pragmatics of Enterprise Modelling Languages: A Framework for Understanding and Explaining. 2018, s.n., 2018-1, XIX, 269.
  20. Y. Bobbert. Improving the Maturity of Business Information Security. 2018, s.n., 373, promotor: Proper, H. A..
  21. L. M. Boer, Maarten van der Heijden, Nathalie M. E. van Kuijk, P. J. F. Lucas, J. H. Vercoulen, W. J. J. Assendelft, E. W. Bischoff and T. R. Schermer. Validation of ACCESS: an automated tool to support self-management of COPD exacerbations. International journal of COPD, 2018, 13, 3255-3267.
  22. Petra van den Bos and Mariëlle Stoelinga. Tester versus Bug: A Generic Framework for Model-Based Testing via Games. Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., 118-132, 2018, 10.4204/EPTCS.277.9.
  23. Petra van den Bos, Ramon Janssen and Joshua Moerman. n-Complete test suites for IOCO. Software Quality Journal, 2018, Nov, 10.1007/s11219-018-9422-x.
  24. Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Mariana Lobo and Pedro P. Rodrigues. Modeling the Dynamics of Multiple Disease Occurrence by Latent States. 2018, 10.1007/978-3-030-00461-3_7, Lecture Notes in Computer Science, Springer International Publishing AG, 11142, 93-107, Davide Ciucci, Gabriella Pasi and Barbara Vantaggi, Scalable Uncertainty Management, Switzerland.
  25. C. Fuhs and C.Kop. Improving Static Dependency Pairs for Higher-Order Rewriting. Proceedings of the 16th International Workshop on Termination (WST), 2018, 70-74.
  26. C. Kop. Automatic Termination Analysis Using WANDA. Proceedings of the 9th Workshop on Higher-Order Rewriting (HOR), 2018.
  27. Danny Oldenhave, Jos Sauren, Theo P. van der Weide and Stijn Hoppenbrouwers. Evaluating the Persuasive and Motivational Design Method: Supporting Design for Sustainable Behavior Change. CSIMQ, 16, 1-16, 2018, 10.7250/csimq.2018-16.01.
  28. David Venhoek, Joshua Moerman and Jurriaan Rot. Fast Computations on Ordered Nominal Sets. Bernd Fischer and Tarmo Uustalu, Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, Lecture Notes in Computer Science, 11187, 493-512, Springer, 2018, 10.1007/978-3-030-02508-3\_26.
  29. Debbie Tarenskeen, Stijn Hoppenbrouwers and Rogier van de Wetering. Reflections on Using an Architecture Model for Matching Existing Applications to a Radical Business Requirements Change: A Case Study. Robert Andrei Buchmann, Dimitris Karagiannis and Marite Kirikova, The Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings, Lecture Notes in Business Information Processing, 335, 383-393, Springer, 2018, 10.1007/978-3-030-02302-7\_25.
  30. L. Domoszlai. Purely Functional Web Components. 2018, s.n., v, 213.
  31. Eef van Es, Harald Vranken and Arjen Hommersom. Denial-of-Service Attacks on LoRaWAN. 2018, 10.1145/3230833.3232804, Proceedings of the 13th International Conference on Availability, Reliability and Security, ACM.
  32. Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Annabelle McIver. Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst., 40, 1, 4:1-4:50, 2018.
  33. C. Feltus, Erik H. A. Proper and K. Haki. Towards a Language to Support Value Cocreation: An Extension to the ArchiMate Modeling Framework. Annals of Computer Science and Information Systems, 2018, 15, 751-760.
  34. Paul Fiter\uau-Bro\cstean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager and Patrick Verleg. Source code and data relevant for the paper `Model Learning and Model Checking of SSH Implementations'. 2018, 10.17026/dans-z6n-dxq6, DANS EASY, Dataset deposited in DANS EASY archive.
  35. Dan Frumin, Herman Geuvers, Léon Gondelman and Niels van der Weide. Finite Sets in Homotopy Type Theory. Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, 2018, 201-214, 10.1145/3167085, ACM, New York, NY, USA.
  36. Dan Frumin, Robbert Krebbers and Lars Birkedal. ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '18, 2018, 442-451, 10.1145/3209108.3209174, ACM, New York, NY, USA.
  37. Giso H. Dal, Alfons W. Laarman and Peter J. F. Lucas. Parallel Probabilistic Inference by Weighted Model Counting. Milan Studen\'y and Václav Kratochv\'\il, International Conference on Probabilistic Graphical Models, PGM 2018, 11-14 September 2018, Prague, Czech Republic, Proceedings of Machine Learning Research, 72, 97-108, PMLR, 2018.
  38. Nata\vsa Grgurina, Erik Barendsen, Cor Suhre, Klaas van Veen and Bert Zwaneveld. Assessment of Modeling Projects in Informatics Class. Proceedings of Constructionism 2018, 2018.
  39. Nata\vsa Grgurina, Erik Barendsen, Cor Suhre, Klaas van Veen and Bert Zwaneveld. Assessment of Modeling and Simulation in Secondary Computing Science Education. Proceedings of the 13th Workshop on Primary and Secondary Computing Education, 35-44, ACM, 2018.
  40. Nata\vsa Grgurina, Jos Tolboom and Erik Barendsen. The Second Decade of Informatics in Dutch Secondary Education. International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, Springer, 271-282, 2018.
  41. H.P. Barendregt, J. Endrullis, J.W. Klop and J. Waldmann. Dance of the starlings. Raymond Smullyan on Self-reference, Springer, 2018, M. Fitting and B. Rayman, 5, 67-111.
  42. Hans Zantema. Finding small counterexamples for abstract rewriting properties. Mathematical Structures in Computer Science, 28, 8, 1485-1505, 2018, 10.1017/S0960129518000221.
  43. Henk Don and Hans Zantema. Synchronizing Non-Deterministic Finite Automata. Journal of Automata, Languages and Combinatorics, 23, 4, 307-328, 2018, 10.25596/jalc-2018-307.
  44. Herman Geuvers and Tonny Hurkens. Proof Terms for Generalized Natural Deduction. 23rd International Conference on Types for Proofs and Programs (TYPES 2017), 3:1-3:39, Leibniz International Proceedings in Informatics (LIPIcs), 2018, 104, Andreas Abel, Fredrik Nordvall Forsberg and Ambrus Kaposi, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 10.4230/LIPIcs.TYPES.2017.3, Keywords: constructive logic, natural deduction, detour conversion, permutation conversion, normalization Curry-Howard isomorphism.
  45. Ralf Hinze and C. Martin. Batcher's odd-even merging network revealed. Journal of Functional Programming, 2018, 28, 1-13.
  46. Jorrit Kronjee, Arjen Hommersom and Harald Vranken. Discovering Software Vulnerabilities Using Data-flow Analysis and Machine Learning. 2018, 10.1145/3230833.3230856, Proceedings of the 13th International Conference on Availability, Reliability and Security, ACM.
  47. Joshua Moerman. Learning Product Automata. Olgierd Unold, Witold Dyrka and Wojciech Wieczorek, Proceedings of the 14th International Conference on Grammatical Inference, ICGI 2018, Proceedings of Machine Learning Research, 93, 2018.
  48. Pieter Koopman, Mart Lubbers and Rinus Plasmeijer. A Task-Based DSL for Microcomputers. Proceedings of the Real World Domain Specific Languages Workshop 2018, RWDSL2018, 2018, 4:1-4:11, 10.1145/3183895.3183902, ACM, New York, NY, USA.
  49. Kurt Sandkuhl, Hans-Georg Fill, Stijn Hoppenbrouwers, John Krogstie, Florian Matthes, Andreas S. Opdahl, Gerhard Schwabe, \"Omer Uludag and Robert Winter. From Expert Discipline to Common Practice: A Vision and Research Agenda for Extending the Reach of Enterprise Modeling. Business & Information Systems Engineering, 60, 1, 69-80, 2018, 10.1007/s12599-017-0516-y.
  50. M. Liu. Time and Bayesian Networks. 2018, s.n., v, 187.
  51. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer. Task Oriented Programming and the Internet of Things. Lowell, MA, 10.1145/3310232.3310239, Proceedings of the 30th Symposium on the Implementation and Application of Functional Programming Languages, ACM, 2018, 83-94.
  52. M. Schuts, J. Hooman, I. Kurtev and D.-J. Swagerman. Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach. 867-876, Proc. of the 2018 Federated Conference on Computer Science and Information Systems (FedCSIS 2018), Annals of Computer Science and Information Systems (ACSIS), 15, 2018.
  53. M. Schuts, J. Hooman and P. Tielemans. Industrial Experience with the Migration of Legacy Models using a DSL. 1-10, Proc. Real World Domain Specific Languages Workshop 2018 (RWDSL 2018), Symposium on Code Generation and Optimization (CGO), 2018.
  54. M. Stoelinga. A Certain Risk: Quantitative Risk Management for High-Tech Systems. 2018, November, Radboud University, Nijmegen, Inaugural speech.
  55. M.G.T.A. Rutten, F.W. Vaandrager, J.A.A.W. Elemans and R.J.M. Nolte. Encoding Information into Polymers. Nature Reviews Chemistry, 2, 2018, 365-381.
  56. Manxia Liu, Fabio Stella, Arjen Hommersom and Peter J. F. Lucas. Representing Hypoexponential Distributions in Continuous Time Bayesian Networks. 2018, 10.1007/978-3-319-91479-4_47, 855, Communications in Computer and Information Science, Springer International Publishing AG, 565-577, Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, Irina Perfilieva, Bernadette Bouchon-Meunier and Ronald R. Yager, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications, Switzerland.
  57. Manxia Liu, Fabio Stella, Arjen Hommersom and Peter J.F. Lucas. Making Continuous Time Bayesian Networks More Flexible. 2018, 11, 72, Proceedings of Machine Learning Research, PMLR, 237-248, Václav Kratochv\'il and Milan Studen\'y, Proceedings of the Ninth International Conference on Probabilistic Graphical Models.
  58. Marco Marcellis, Erik Barendsen and Jeroen J. G. Van Merriënboer. Designing a Blended Course in Android App Development using 4C/ID. Proceedings of the 18th Koli Calling International Conference on Computing Education Research, ACM, 2018.
  59. Marcus Gerhold, Arnd Hartmanns and Mariëlle Stoelinga. Model-Based Testing for General Stochastic Time. NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, 203-219, 2018, 10.1007/978-3-319-77935-5\_15, Aaron Dutle, César A. Muñoz and Anthony Narkawicz, Lecture Notes in Computer Science, 10811, Springer.
  60. Marcus Gerhold and Mariëlle Stoelinga. Model-based testing of probabilistic systems. Formal Asp. Comput., 30, 1, 77-106, 2018, 10.1007/s00165-017-0440-4.
  61. Mariëlle Stoelinga. Risk management for high tech systems. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018, 1, 2018, 10.1145/3193992.3193993, Stefania Gnesi, Nico Plat, Paola Spoletini and Patrizio Pelliccione, ACM.
  62. Meike Nauta, Doina Bucur and Mariëlle Stoelinga. LIFT: Learning Fault Trees from Observational Data. Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, 306-322, 2018, 10.1007/978-3-319-99154-2\_19, Annabelle McIver and Andras Horvath, Lecture Notes in Computer Science, 11024, Springer.
  63. Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen and Ufuk Topcu. Verification of Uncertain POMDPs Using Barrier Certificates. Allerton Conference on Communication, Control, and Computing, to appear, 2018.
  64. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu. Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA, Lecture Notes in Computer Science, 11138, 160-176, Springer, 2018.
  65. A. Nakakawa, F. Namagembe and Erik H. A. Proper. Dimensions for Scoping e-Government Enterprise Architecture Development Efforts. H. Panetto, H. A. Proper, C. Debruyne, C. A. Ardagna, D. Roman and R. Meersman, Lecture Notes in Computer Science, 2018, Springer International Publishing, Cham, 11229, 661-679.
  66. Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate and Mariëlle Stoelinga. Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. CoRR, abs/1801.04263, 2018, 1801.04263.
  67. Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga and Alessandro Abate. Maintenance of Smart Buildings using Fault Trees. CoRR, abs/1806.05174, 2018, 1806.05174.
  68. Jacqueline Nijenhuis-Voogt, Paulien C. Meijer and Erik Barendsen. Context-based Teaching and Learning of Fundamental Computer Science Concepts: Exploring Teachers' Ideas. Proceedings of the 13th Workshop on Primary and Secondary Computing Education, 83-86, ACM, 2018.
  69. Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli and Jan Kretinsky. Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Dagstuhl Reports, 8, 3, 74-93, 2018.
  70. P. (Fiona) Tulinayo, Theo P. van der Weide and Patrick van Bommel. Decomposition and Conceptualization to Support System Dynamics Behavior Modeling. CSIMQ, 15, 45-71, 2018, 10.7250/csimq.2018-15.03.
  71. P. Fiter\uau-Bro\cstean. Active Model Learning for the Analysis of Network Protocols. 2018, April, Radboud University, Nijmegen.
  72. H. Panetto, C. Debruyne, H. A. Proper, C. A. Ardagna, D. Roman and R. Meersman. On the Move to Meaningful Internet Systems. OTM 2018 Conferences.Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II. 2018, Springer International Publishing, Cham, 11230, 605.
  73. H. Panetto, C. Debruyne, H. A. Proper, C. A. Ardagna, D. Roman and R. Meersman. On the Move to Meaningful Internet Systems. OTM 2018 Conferences.Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018. Proceedings. Part I. 2018, Springer International Publishing, Cham, 11229, 683.
  74. H. A. Proper, M. Bjekovi\"A\textdaggerdbl, B. van Gils and S. J. B. A. Hoppenbrouwers. Towards Grounded Enterprise Modelling. C. Debruyne, Lecture Notes in Computer Science, 2018, Springer International Publishing, Cham, 10697, 141-151.
  75. H. A. Proper, R. Winter, S. Aier and S. Kinderen. Architectural Coordination of Enterprise Transformation. 2018, Springer, Heidelberg, XXIII, 343-343.
  76. R.H.A.M. Smetsers. Advances in Model Learning for Software Systems. 2018, March, Radboud University, Nijmegen.
  77. Ebrahim Rahimi, Erik Barendsen and Ineke Henze. An Instructional Model to Link Designing and Conceptual Understanding in Secondary Computer Science Education. Proceedings of the 13th Workshop on Primary and Secondary Computing Education, 67-70, ACM, 2018.
  78. Ebrahim Rahimi, Ineke Henze, Felienne Hermans and Erik Barendsen. Investigating the Pedagogical Content Knowledge of Teachers Attending a MOOC on Scratch Programming. International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, Springer, 180-193, 2018.
  79. Rajesh Kumar, Arend Rensink and Mariëlle Stoelinga. LOCKS: a property specification language for security goals. Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, 1907-1915, 2018, 10.1145/3167132.3167336, Hisham M. Haddad, Roger L. Wainwright and Richard Chbeir, ACM.
  80. Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink and Mariëlle Stoelinga. Effective Analysis of Attack Trees: A Model-Driven Approach. Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings., 56-73, 2018, 10.1007/978-3-319-89363-1\_4, Alessandra Russo and Andy Schürr, Lecture Notes in Computer Science, 10802, Springer.
  81. Raphaela Butz, Arjen Hommersom and Marko van Eekelen. Explaining the Most Probable Explanation. 2018, 10.1007/978-3-030-00461-3_4, Lecture Notes in Computer Science, Springer International Publishing AG, 50-63, Davide Ciucci, Gabriella Pasi and Barbara Vantaggi, Scalable Uncertainty Management, Switzerland.
  82. Rick Smetsers, Paul Fiter\uau-Bro\cstean and Frits W. Vaandrager. Model Learning as a Satisfiability Modulo Theories Problem. Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, 182-194, 2018, 10.1007/978-3-319-77313-1\_14, Shmuel Tomi Klein, Carlos Mart\'\in-Vide and Dana Shapira, Lecture Notes in Computer Science, 10792, Springer.
  83. J. R. Salamanca Tellez. Coequations and Eilenberg\^a\texteuro``type Correspondences. 2018, s.n., 206.
  84. Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga and Matthias Volk. One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, 272-293, 2018, 10.1007/978-3-319-91268-4\_14, Victor Khomenko and Olivier H. Roux, Lecture Notes in Computer Science, 10877, Springer.
  85. Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang and Mary M. Hayhoe. Model Checking for Safe Navigation Among Humans. QEST, Lecture Notes in Computer Science, 11024, 207-222, Springer, 2018.
  86. Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen and Bernd Becker. Finite-state Controllers of POMDPs via Parameter Synthesis. UAI, 2018, to appear.
  87. Soerin Bipat, Lineke Sneller, Joost Visser and Hans ten Rouwelaar. The Impact of Culture on the Business Value of IT - an Examination from two Sectors. 26th European Conference on Information Systems: Beyond Digitization - Facets of Socio-Technical Change, ECIS 2018, Portsmouth, UK, June 23-28, 2018, 42, 2018, Peter M. Bednar, Ulrich Frank and Karlheinz Kautz.
  88. Soerin Bipat, Lineke Sneller, Joost Visser and Hans ten Rouwelaar. Understanding the Relation between Information Technology Capability and Organizational Performance. 26th European Conference on Information Systems: Beyond Digitization - Facets of Socio-Technical Change, ECIS 2018, Portsmouth, UK, June 23-28, 2018, 41, 2018, Peter M. Bednar, Ulrich Frank and Karlheinz Kautz.
  89. Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu and Ufuk Topcu. Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC, 762-769, IEEE, 2018.
  90. Stijn Hoppenbrouwers. Keynote: The Collaboration Perspective on Continuous Development. Klaus Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari, Peter Forbrig, Xavier Franch, Marite Kirikova, Nazim H. Madhavji, Cristina Palomares, Jolita Ralyté, Mehrdad Sabetzadeh, Pete Sawyer, Dirk van der Linden and Anna Zamansky, Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, March 19, 2018., CEUR Workshop Proceedings, 2075, CEUR-WS.org, 2018.
  91. Stijn Hoppenbrouwers, Ilona Wilmont, Daniël van Loon, Thea van der Geest and Stefan Oppl. Measuring Process Experience: A Collaborative Modelling Instrument for Determining the Impact of a New Law on Public Service Experience. Christian Stary, Proceedings of the 10th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2018, Linz, Austria, April 05-06, 2018, 13:1-13:11, ACM, 2018, 10.1145/3178248.3178261.
  92. T. Nägele and J. Hooman. Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems using HLA. Proc. 24th International Conference on Parallel and Distributed Systems (ICPADS 2018), 1075-1080, IEEE, 2018.
  93. T. Nägele, J. Hooman and Jack Sleuters. Building Distributed Co-simulations using CoHLA. Proc. 21st Euromicro Conference on Digital System Design (DSD 2018), 342-346, IEEE, 2018.
  94. T. Nägele, J. Hooman, Tim Broenink and Jan Broenink. CoHLA: Design Space Exploration and Co-simulation Made Easy. Proc. IEEE Industrial Cyber-Physical Systems (ICPS 2018), 225-231, IEEE, 2018.
  95. Thiago Fialho de Queiroz Lafetá, Marcos L. P. Bueno, Christiane Regina Soares Brasil and Gina M. B. Oliveira. MEANDS: A Many-objective Evolutionary Algorithm based on Non-dominated Decomposed Sets applied to multicast routing. Appl. Soft Comput., 62, 851-866, 2018, 10.1016/j.asoc.2017.09.017.

Unknown

  1. Dan Frumin and Benno van den Berg. A homotopy-theoretic model of function extensionality in the effective topos. 10.1017/S0960129518000142, Mathematical Structures in Computer Science, Cambridge University Press, 1–27.