Research Output 1972 2019

Filter
Chapter
2019

Case study: Logistical behavior in the use of urban transport using the monte carlo simulation method

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevalles-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 97-110 14 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Probability distributions
Filling stations
Monte Carlo simulation

Case study: Probabilistic estimates in the application of inventory models for perishable products in SMEs

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: a didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 123-132 10 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Industry
Economics
Sales
Monte Carlo simulation

Case study: Project-based learning to evaluate probability distributions in medical area

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: a didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 111-122 12 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Probability distributions
Students

Monte Carlo simulation method

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 87-96 10 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Stochastic models
Monte Carlo methods
Sampling
Monte Carlo simulation

Process sampling

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 13-31 19 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Sampling
Statistics

Pseudo-random numbers and congruential methods

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 33-58 26 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Random variables

Random variable generation methods

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 59-86 28 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Inverse transforms
Convolution
Random variables
Chemical analysis
Experiments

The semantic snake charmer search engine: a tool to facilitate data science in high-tech industry domains

Grappiolo, C., van Gerwen, E., Verhoosel, J. P. C. & Somers, L., 8 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval. Association for Computing Machinery, Inc, p. 355-359 5 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Search engines
Semantics
Industry
Reinforcement learning
Landing

The system simulation and their learning processes

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 1-11 11 p. (Studies in Computational Intelligence; vol. 824)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Education
Information technology
Teaching
Students
2018

A master class on recursion

Verhoeff, T., 6 Sep 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H-J., Komm, D. & Unger, W. (eds.). Springer, Vol. 11011, p. 610-633 24 p. (Lecture Notes in Computer Science; vol. 11011)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
Recursion
Object-oriented Languages
Object-oriented Programming
Programming Languages
Computer Science

Extending paradigm with data

Groenewegen, L. P. J., Verschuren, J. H. S. & de Vink, E. P., 1 Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Dordrecht: Springer, p. 224-244 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Bakeries
Paradigm
Dependent Data
Modeling Language
Interaction
2017

CSP for parallelising Brzozowski's DFA construction algorithm

Strauss, T., Watson, B. W., Kourie, D. G. & Cleophas, L. G. W. A., 2017, The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski. s.l.: World Scientific, p. 217-244 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Algebra
Finite automata
Computer programming languages
Specifications
3 Citations (Scopus)

Problem solving using process algebra considered insightful.

Groote, J. F. & de Vink, E. P., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Cham: Springer, p. 48-63 (Lecture Notes in Computer Science; vol. 10500)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Process Algebra
Combinatorial Problems
Model Checking
Visualization
Model
2016

Minimization of finite state automata through partition aggregation

Bjorklund, J. & Cleophas, L., 2016, Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016). Amblard, M., de Groote, P., Pogodalla, S. & Retoré, C. (eds.). Berlin: Springer, p. 328-328 (Lecture Notes in Computer Science; vol. 10054)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Parity games

Willemse, T. A. C. & Gazda, M. W., 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). 2nd ed. Berlin: Springer, p. 1532-1537

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Platforms for ICME

Babur, Ö., Hashibon, A., Hanzich, M., Houzeaux, G. & Patzák, B., 2016, Handbook of software solutions for ICME. Schmitz, G. J. & Prahi, U. (eds.). Chichester: Wiley-VCH Verlag, p. 533-564 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

engineering
standardization
software
limiting factor
modeling

Towards a proof method for paradigm

Groenewegen, L. P. J., Kuiper, R. & de Vink, E. P., 2016, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Abraham, E., Bonsangue, M. M. & Johnsen, E. B. (eds.). Lecture Notes in Computer Science ed. Berlin: Springer, Vol. 9660, p. 242-260 19 p. (Lecture notes in computer science ; vol. 9660)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Pipelines
Modeling languages
6 Citations (Scopus)

Towards statistical comparison and analysis of models

Babur, Ö., Cleophas, L., Verhoeff, T. & van den Brand, M., 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy . p. 361-367

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Recovery
Vector spaces
Linguistics
Genetic algorithms
2 Citations (Scopus)

Verifying a verifier: on the formal correctness of an LTS transformation verification technique

de Putter, S. M. J. & Wijs, A. J., 2016, Fundamental Approaches to Software Engineering. Dordrecht: Springer, p. 383-400 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Correctness
Model
Concurrent Systems
Model Transformation
Formal Verification
2015

Coordination control of complex machines

Baeten, J. C. M., Beek, van, D. A., Markovski, J. & Somers, L. J. A. M., 2015, Coordination Control of Distributed Systems. Schuppen, van, J. H. & Villa, T. (eds.). Cham: Springer, p. 61-68 (Lecture Notes in Control and Information Sciences; vol. 456)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Supervisory personnel
Systems engineering
Large scale systems

Reducing the cost of grammar-based testing using pattern coverage

Hentz, C., Vinju, J. J. & Moreira, A. M., 2015, Testing Software and Systems, ICTSS 2015. El-Fakih, K., Barlas, G. & Yevtushenko, N. (eds.). Vol. 9447, p. 71-85 15 p. (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2014

Emerging trends in software evolution (Appendix A)

Serebrenik, A. & Mens, T., 2014, Evolving software systems. Mens, T., Serebrenik, A. & Cleve, A. (eds.). Berlin: Springer, p. 329-332

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Software Evolution
Software Engineering
Trends

Robustness of the gray code arrangements of the genetic code in mitochondria

Bosnacki, D., Eikelder, ten, H. M. M., Maanders, M. & Hilbers, P. A. J., 2014, ICT Innovations 2014 : World of Data. Madevska Bogdanova, A. & Gjorgjevikj, D. (eds.). Cham: Springer, p. 299-308 (Advances in Intelligent Systems and Computing; vol. 311)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Mitochondria
Proteins
28 Citations (Scopus)

Studying evolving software ecosystems based on ecological models

Mens, T., Claes, M., Grosjean, P. & Serebrenik, A., 2014, Evolving Software Systems. Mens, T., Serebrenik, A. & Cleve, A. (eds.). Berlin: Springer, p. 297-326

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

software
ecosystem
fitness
project
ecology
2013

Adaptivity in professional printing systems

Verriet, J. H., Basten, T., Hamberg, R., Reckers, F. J. & Somers, L. J. A. M., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 1-9 (Embedded Systems; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Printing
Printers (computer)
Level control
Hardware

Aspects of adaptive systems engineering: a professional printing case

Hamberg, R., Waarsing, R., Basten, T., Reckers, F. J., Verriet, J. H. & Somers, L. J. A. M., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). Berlin: Springer, p. 11-40 (Embedded Systems; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Adaptive systems
Systems engineering
Printing
Specifications
Industry

Model-driven design-space exploration for software-intensive embedded systems

Basten, T., Hendriks, M., Trcka, N., Somers, L. J. A. M., Geilen, M. C. W., Yang, Y., Igna, G., Smet, de, S., Voorhoeve, M., Aalst, van der, W. M. P., Corporaal, H. & Vaandrager, F. W., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (eds.). New York: Springer, p. 189-244 (Embedded Systems; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Embedded software
Spreadsheets
Application programs
Computer hardware
2012
1 Citation (Scopus)

A history of types

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2012, Logic: A History of its Central Concepts. Gabbay, D. M., Pelletier, F. J. & Woods, J. (eds.). Elsevier, p. 451-511 (Handbook of the History of Logic; vol. 11)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

History
Gottlob Frege
Calculi
Mathematics
David Hilbert

Esterel and the semantics of causality

Mousavi, M. R., 2012, Handbook of Finite State Based Models and Applications. Wang, J. (ed.). CRC Press, p. 191-206

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Causality
2 Citations (Scopus)

MDE basics with a DSL focus

Andova, S., Brand, van den, M. G. J., Engelen, L. J. P. & Verhoeff, T., 2012, Formal Methods for Model-Driven Engineering (12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures). Bernardo, M., Cortellassa, V. & Pierantonio, A. (eds.). Berlin: Springer, p. 21-57 (Lecture Notes in Computer Science; vol. 7320)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

DSL
Patents and inventions
Software engineering
Semantics
Concretes
1 Citation (Scopus)

Model-driven software engineering

Amstel, van, M. F., Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 1 Jun 2012, Automation in Warehouse Development. Hamberg, R. & Verriet, J. (eds.). London: Springer, p. 45-58 14 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Software engineering
Warehouses
Automation
2011
2 Citations (Scopus)

Modeling and analysis of biological networks with model checking (Chapter 39)

Bosnacki, D., Hilbers, P. A. J., Mans, R. S. & Vink, de, E. P., 2011, Algorithms in computational molecular biology : techniques, approaches and applications. Elloumi, M. & Zomaya, A. Y. (eds.). Hoboken: Wiley, p. 915-940 (Wiley Series in Bioinformatics)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

modeling
analysis

Typography in process algebra

Baeten, J. C. M. & Klop, J. W., 2011, Jan Karel Lenstra, the traveling science man. Liber amicorum. Vonderen, van, C. (ed.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 127-138

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Hermann Zapf
Leonhard Euler
Passion
Font
Algebra
2010
2 Citations (Scopus)

A small step for mankind

Huizing, C., Koymans, R. L. C. & Kuiper, R., 2010, Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever). Dams, D., Hannemann, U. & Steffen, M. (eds.). Berlin: Springer, p. 66-73 8 p. (Lecture Notes in Computer Science; vol. 5930)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Semantics
Computer programming languages
2009
5 Citations (Scopus)

Architecting security with Paradigm

Andova, S., Groenewegen, L. P. J., Verschuren, J. H. S. & Vink, de, E. P., 2009, Architecting Dependable Systems VI. Lemos, de, R., Fabre, J. C., Gacek, C., Gadducci, F. & Beek, ter, M. (eds.). Berlin: Springer, p. 255-283 (Lecture notes in computer science; vol. 5835)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Model checking
Security systems
Algebra
Modeling languages

Dynamic epistemic logic for protocol analysis

Dechesne, F., Eijck, van, J., Teepe, W. & Wang, Y., 2009, Discourses on Social Software. Eijck, van, J. & Verbrugge, R. (eds.). Amsterdam: Amsterdam University Press, p. 161-146 (Texts in Logic and Games; vol. 5)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

logic
time
2 Citations (Scopus)

In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2009, Transactions on Computational Systems Biology XI. Priami, C., Back, R. J. & Petre, I. (eds.). Berlin: Springer, p. 69-89 (Lecture notes in computer science; vol. 5750)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

kinetics
modeling
analysis
parameter

Interchange formats and tool integration

Beek, van, D. A., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2009, Handbook of hybrid systems control : theory, tools, applications. Lunze, J. & Lamnabhi-Lagarrigue, F. (eds.). New York: Cambridge University Press, p. 361-374

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Interchanges
1 Citation (Scopus)

Type checking evolving languages with MSOS

Brand, van den, M. G. J., Meer, van der, A. P. & Serebrenik, A., 2009, Semantics and Algebraic Specification. Palsberg, J. (ed.). Berlin: Springer, p. 207-226 (Lecture notes in computer science; vol. 5700)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Semantics
Static analysis
Computer programming languages
Systems engineering
Hybrid systems

What is protocol analysis?

Dechesne, F., Eijck, van, J., Teepe, W. & Wang, Y., 2009, Discourses on Social Software. Eijck, van, J. & Verbrugge, R. (eds.). Amsterdam: Amsterdam University Press, p. 147-160 (Texts in Logic and Games; vol. 5)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Software
Leiden
Protagonist
Logic
Organizer
2008
29 Citations (Scopus)

Analysis of distributed systems with mCRL2

Groote, J. F., Mathijssen, A. H. J., Reniers, M. A., Usenko, Y. S. & Weerdenburg, van, M. J., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (eds.). Chapman & Hall, p. 99-128 (CRC Computational Science Series; vol. 2)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Core security requirements of DRM systems

Jonker, H. L. & Mauw, S., 2008, Digital Rights Management : An Introduction. Satish, D. (ed.). Hyderabad: Icfai Books, p. 73-90

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Declarations of dependence

Dechesne, F., 2008, New Perspectives on Games and Interaction. Apt, K. R. & Rooij, van, R. (eds.). Amsterdam: Amsterdam University Press, p. 255-263 (Texts in Logic and Games; vol. 4)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

PARS : a process algebraic approach to resources and schedulers

Mousavi, M. R., Reniers, M. A., Basten, T. & Chaudron, M. R. V., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (eds.). Chapman & Hall, p. 331-358 (CRC Computational Science Series; vol. 2)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Scheduling
Algebra
Specifications
Scheduling algorithms

The lambda-calculus is nominal algebraic

Gabbay, M. J. & Mathijssen, A. H. J., 2008, Reasoning in simple type theory : Festschrift in honour of Peter B. Andrews on his 70th birthday. Benzmüller, C., Brown, C. E., Siekmann, J. & Statman, R. (eds.). London: College Publications, p. 271-302 (Studies in Logic; vol. 17)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

calculus
2007

Embedded systems modeling, analysis and synthesis

Brand, van den, M. G. J., Engelen, L. J. P., Hamilton, M., Levytskyy, A. & Voeten, J. P. M., 2007, Ideals: evolvability of software-intensive high-tech systems. Voeten, J. P. M. (ed.). Eindhoven: Embedded Systems Institute, p. 99-112

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Embedded systems
Real time systems
Life cycle
Hardware

Iteration and primitive recursion in categorical terms

Geuvers, J. H. & Poll, E., 2007, Reflections on Type Theory, Lambda Calculus, and the Mind. Barendsen, E., Capretta, V., Geuvers, H. & Niqui, M. (eds.). p. 101-114

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Recursion
Categorical
Iteration
Coalgebra
Term

Model-based testing of hybrid systems

Osch, van, M. P. W. J., 2007, Tangram : model-based integration and testing of complex high-tech systems. Tretmans, J. (ed.). Eindhoven : Embedded Systems Institute: Embedded Systems Institute, p. 129-141

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Process algebra

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2007, Handbook of Dynamic System Modeling. Fishwick, P. A. (ed.). Boca Raton: Chapman & Hall/CRC Press, p. 19.1-19.19 (Chapman&Hall/CRC Computer and Information Science Series)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Test-based modeling

Willemse, T. A. C., 2007, Tangram : model-based integration and testing of complex high-tech systems. Tretmans, J. (ed.). Eindhoven: Embedded Systems Institute, p. 143-161

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic