Find Research Output

28 Downloads (Pure)

Verificatie van een stuk wiskundige taal

de Bruijn, N. G., 1967, Eindhoven: Technische Hogeschool Eindhoven. 9 p.

Research output: Book/ReportReportPopular

Open Access
File
231 Downloads (Pure)

Verificatie van het berekeningsmodel voor het berekenen van de kracht bij het ponsen

Kerstens, D. C., 1965, Eindhoven: Technische Hogeschool Eindhoven. 46 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0132)

Research output: Book/ReportReportPopular

Open Access
File
39 Downloads (Pure)

Verificatie van het model van een F16-neuslandingsgestel dmv drop tests

Verburg, A. J., 1993, Eindhoven: Technische Universiteit Eindhoven. 22 p. (DCT rapporten; vol. 1993.112)

Research output: Book/ReportReportPopular

Open Access
File
2 Citations (Scopus)

Verification

Verbeek, H. M. W. & Wynn, M. T., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 513-539

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Petri nets
Acoustic waves
2 Downloads (Pure)

Verification and analysis of EM immunity of integrated circuits

Duipmans, L. J., 13 Dec 2019, Eindhoven: Technische Universiteit Eindhoven. 175 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

30 Citations (Scopus)

Verification and improvement of the sliding window protocol

Chkliaev, D., Hooman, J. J. M. & Vink, de, E. P., 2003, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings TACAS 2003, Warsaw, Poland, April 7-11, 2003). Garavel, H. & Hatcliff, J. (eds.). Berlin: Springer, p. 113-127 (Lecture Notes in Computer Science; vol. 2619).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Network protocols
20 Citations (Scopus)

Verification and optimization of a PLC control schedule

Brinksma, E., 2000, SPIN Model Checking and Software Verification (Proceedings 7th International SPIN Workshop, Stanford CA, USA, August 30-September 1, 2000). Havelund, K., Penix, J. & Visser, W. (eds.). Springer, p. 73-92 (Lecture Notes in Computer Science; vol. 1885).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

23 Citations (Scopus)

Verification and optimization of a PLC control schedule

Brinksma, E., Mader, A. H. & Fehnker, A., 2002, In : International Journal on Software Tools for Technology Transfer. 4, 1, p. 21-33

Research output: Contribution to journalArticleAcademicpeer-review

Programmable logic controllers
Model checking
Controllers
Chemical plants
Hybrid systems

Verification by hand using linear time temporal logic

Penczek, W. & Kuiper, R., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M. & et al., X. (eds.). Frankfurt am Main: Peter Lang, p. 229-262

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

34 Downloads (Pure)

Vérification des textes mathématiques par un ordinateur: conférence à Lille, le 21 novembre 1969

Bruijn, de, N. G., 1969, Eindhoven: Technische Hogeschool Eindhoven. 11 p.

Research output: Book/ReportReportPopular

Open Access
File
1 Citation (Scopus)

Verification is experimentation!

Brinksma, E., 2000, CONCUR 2000 - concurrency theory : proceedings 11th international conference, University Park PA, USA, august 22-25, 2000. Palamidessi, C. (ed.). Springer, p. 17-24 (Lecture Notes in Computer Science; vol. 1877).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

paradigm
mathematical method
computer science
industry
evidence
7 Citations (Scopus)
1 Downloads (Pure)

Verification is experimentation!

Brinksma, E., 2001, In : International Journal on Software Tools for Technology Transfer. 3, 2, p. 107-111

Research output: Contribution to journalArticleAcademicpeer-review

Formal methods
Computer science
Explosions
Formal verification
Industry
2 Citations (Scopus)

Verification of 3D mathematical simulation with measured temperature profiles during furnace operation

Bauer, R., Muijsenberg, H. P. H., Simonis, F. & Peters, G. J., 1995, Proceedings of the 4th International Conference Advances in Fusion and Processing of Glass : May 22 - 24, 1995, Würzburg (Germany. Schaeffer, H. A. & Pye, L. D. (eds.). Frankfurt/Main: Deutsche Glastechnische Gesellschaft e.V., p. 44-62 (Glass Science and Technology; vol. 68).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

18 Downloads (Pure)

Verification of a model for a hopping robot

Verhagen, D., 2007, Eindhoven: Technische Universiteit Eindhoven. 23 p. (DCT rapporten; vol. 2007.039)

Research output: Book/ReportReportPopular

Open Access
File
57 Downloads (Pure)

Verification of a sliding window protocol in µCRL

Badban, B., Fokkink, W. J., Groote, J. F., Pang, J. & Pol, van de, J. C., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, p. 157-176

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
Network protocols
25 Citations (Scopus)

Verification of a sliding window protocol in µCRL and PVS

Badban, B., Fokkink, W. J., Groote, J. F., Pang, J. & Pol, van de, J. C., 2005, In : Formal Aspects of Computing. 17, 3, p. 342-388

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

Verification of atomicity preservation in model-to-code transformations using generic Java code

Zhang, D., Bosnacki, D., Van Den Brand, M., Huizing, C., Kuiper, R., Jacobs, B. & Wijs, A., 2016, MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, Lda., p. 578-588 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Semantics
Specifications

Verification of a uranium micromass standard using the Eindhoven scanning microprobe

Simons, D. P. L., Lagerwaard, A., Mutsaers, P. H. A. & Voigt, de, M. J. A., 1999, In : Nuclear Instruments and Methods in Physics Research. Section B: Beam Interactions with Materials and Atoms. 158, 1-4, p. 517-522 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Uranium
uranium
Scanning
scanning
mass distribution
2 Citations (Scopus)

Verification of a wireless ATM medium-access protocol

Sidorova, N. & Steffen, M., 2000, Proceedings Seventh Asia-Pacific Software Engineering Conference (APSEC 2000, Singapore, December 5-8, 2000). Titsworth, F. (ed.). IEEE Computer Society, p. 84-91

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Verification of building blocks for asynchronous circuits

Verbeek, F. & Schmaltz, J., 2013, Proceedings International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013, Laramie WY, USA, May 30-31, 2013). Gamboa, R. & Davis, J. (eds.). EPTCS, p. 70-84 (Electronic Proceedings in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Surface mount technology
Networks (circuits)
Formal verification
114 Downloads (Pure)

Verification of concurrent systems in a model-driven engineering workflow

de Putter, S. M. J., 28 Jan 2019, Eindhoven: Technische Universiteit Eindhoven. 200 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
15 Citations (Scopus)

Verification of context-dependent channel-based service models

Kokash, N., Krause, C. & Vink, de, E. P., 2010, Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers). Boer, de, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (eds.). Berlin: Springer, p. 21-40 (Lecture Notes in Computer Science; vol. 6286).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Software engineering
Industry
Network protocols
4 Citations (Scopus)

Verification of distributed real-time and fault-tolerant protocols

Hooman, J. J. M., 1997, Algebraic Methodology and Software Technology (Proceedings 6th International Conference, AMAST'97, Sydney, Australia, December 13-17, 1997). Johnson, M. (ed.). Springer, p. 261-275 (Lecture Notes in Computer Science; vol. 1349).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Network protocols
Clocks
245 Downloads (Pure)

Verification of electronic designs by reconstruction of the hierarchy

Kostelijk, A. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 167 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
33 Downloads (Pure)

Verification of encoder measurements and velocity and friction estimation of a drill-string set-up

Meijboom, M. J. H., 2003, Eindhoven: Technische Universiteit Eindhoven. 34 p. (DCT rapporten; vol. 2003.021)

Research output: Book/ReportReportPopular

Open Access
File
69 Citations (Scopus)

Verification of EPCs: using reduction rules and petri nets

van Dongen, B. F., van der Aalst, W. M. P. & Verbeek, H. M. W., 29 Sep 2005, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, 13-17 June 2005, Porto, Portugal. Pastor, O. & Falcão e Cunha, J. (eds.). Berlin: Springer, p. 372-386 15 p. (Lecture Notes in Computer Science; vol. 3520).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Event-driven
Business Model
Petri nets
Petri Nets
Formal Semantics
5 Citations (Scopus)
28 Downloads (Pure)

Verification of general Markov decision processes by approximate similarity relations and policy refinement

Haesaert, S., Esmaeil, S., Soudjani, S. & Abate, A., 31 May 2016, In : arXiv.org, e-Print Archive, Physics. p. 1-36 1605.09557v1 .

Research output: Contribution to journalArticleAcademic

Open Access
File
Probability distributions
10 Citations (Scopus)
1 Downloads (Pure)

Verification of general Markov decision processes by approximate similarity relations and policy refinement

Haesaert, S., Esmaeil, S., Soudjani, S. & Abate, A., 2017, In : SIAM Journal on Control and Optimization. 55, 4, p. 2333-2367 35 p.

Research output: Contribution to journalArticleAcademicpeer-review

Similarity Relation
Markov Decision Process
Refinement
Metric
Output
3 Downloads (Pure)

Verification of general Markov decision processes by approximate similarity relations and policy refinement

Haesaert, S., Abate, A. & Van den Hof, P. M. J., 2016, Quantitative evaluation of systems, QEST 2016: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Agha, G. & Van Houdt, B. (eds.). Dordrecht: Springer, p. 227-243 (Lecture Notes in Computer Science; vol. 9826).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Verification of hypertorus communication grids by infinite Petri nets and process algebra

Zaitsev, D., Shmeleva, T. & Groote, J. F., May 2019, In : IEEE/CAA Journal of Automatica Sinica. 6, 3, p. 733-742 10 p., 8707130.

Research output: Contribution to journalArticleAcademicpeer-review

Petri nets
Algebra
Communication
Packet switching
Structural analysis
208 Downloads (Pure)

Verification of interconnects

Joosten, S., 24 Feb 2016, Eindhoven: Technische Universiteit Eindhoven. 128 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File

Verification of lifetime arching stress withstand of circuit breakers through testing

Smeets, R. P. P. & Knol, P., 2009, Proceedings of the 6th Southern Africa Regional Conference, CIGRE, 17-21 August 2009, Capetown, South Africa. Paris: CIGRE, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Electric circuit breakers
Durability
Testing
Electric potential
Standardization
5 Downloads (Pure)

Verification of lightning protection by current injection in a LNG plant

Post, C. F., Schoren, F. P. & Deursen, van, A. P. J., 2004, Proc. International Symposium on Electromagnetic Compatibility (EMC Europe 2004), Eindhoven, The Netherlands. Deursen, van, A. P. J., Wouters, P. A. A. F. & Kapora, S. (eds.). Eindhoven: Technische Universiteit Eindhoven, Vol. 2. p. 681-686

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Citation (Scopus)
4 Downloads (Pure)

Verification of mathematical formulae applied to overhead stage canopy design

Szelag, A., Lewińska, M. & Rubacha, J., 1 Sep 2016, In : Applied Acoustics. 110, p. 61-71 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

canopies
acoustics
predictions
approximation
sound waves
237 Downloads (Pure)

Verification of mathematical models describing soft charged hydrated tissue behaviour

Heus, de, H. J., 1994, Eindhoven: Technische Universiteit Eindhoven. 112 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
27 Downloads (Pure)

Verification of mathematical proofs by a computer : a preparatory study for a project Automath

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 57-72 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
11 Citations (Scopus)

Verification of mobile ad hoc networks : an algebraic approach

Ghassemi, F., Fokkink, W. J. & Movaghar, A., 2011, In : Theoretical Computer Science. 412, 28, p. 3262-3282 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

Algebraic Approach
Mobile ad hoc networks
Mobile Ad Hoc Networks
Model checking
Model Checking
34 Downloads (Pure)

Verification of multi-protocol attacks

Cremers, C. J. F., 2005, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computer science reports; vol. 0510)

Research output: Book/ReportReportAcademic

Open Access
File

Verification of networks of timed automata using mCRL2

Groote, J. F., Reniers, M. A. & Usenko, Y. S., 2008, Proceedings 22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008, Miami FL, USA, April 14-18, 2008). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 3867-3874

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specification languages
Real time systems
Synchronization

Verification of object oriented programs using class invariants

Huizing, C. & Kuiper, R., 2000, Fundamental Approaches to Software Engineering (Proceedings Third International Conference, FASE2000; held as part of ETAPS2000, Berlin, Germany, March 25-April 2, 2000). Maibaum, T. S. E. (ed.). Berlin: Springer, p. 208-221 (Lecture Notes in Computer Science; vol. 1783).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)

Verification of parallel systems via decomposition

Groote, J. F. & Moller, F., 1992, CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992). Cleaveland, R. (ed.). Berlin: Springer, p. 62-76 (Lecture Notes in Computer Science; vol. 630).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Downloads (Pure)

Verification of random behaviours

Andova, S. & Willemse, T. A. C., 2003, Proceedings 1st South-East European Workshop on Formal Methods (SEEFM 2003, Thessaloniki, Greece, November 20, 2003), included in Proceedings 1st Balkan Conference in Informatics. p. 84-99

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Algebra
Network protocols
8 Citations (Scopus)

Verification of reactive systems via instantiation of parameterised Boolean equation systems

Ploeger, S. C. W., Wesselink, J. W. & Willemse, T. A. C., 2011, In : Information and Computation. 209, 4, p. 637-663

Research output: Contribution to journalArticleAcademicpeer-review

Reactive Systems
Computability and decidability
Model checking
Decidability
Sort
52 Citations (Scopus)

Verification of RoseRT models using Petri nets

van Leeuwen, M., Somers, L. J. A. M., Voorhoeve, M. & Werf, van der, J. M. E. M., 2008, International Workshop on Petri Nets and Distributed Systems (PNDS'08, Xi'an, China, June 23-24, 2008). Sidorova, N., Moldt, D. & Roelke, H. (eds.). p. 1-16

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Petri nets
Embedded software
3 Citations (Scopus)
72 Downloads (Pure)

Verification of safety requirements for program code using data abstraction

Stappers, F. P. M. & Reniers, M. A., 2009, Proceedings 9th International Workshop on Automated Verification of Critical Systems (AVoCS 2009, Swansea, UK, September 23-25, 2009). Roggenbach, M. (ed.). p. 1-17 (Electronic Communications of the EASST; vol. 23).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Systems analysis
Formal verification
6 Citations (Scopus)
1 Downloads (Pure)

Verification of SAP reference models

Dongen, van, B. F. & Jansen-Vullers, M. H., 2005, Business Process Management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings. Aalst, van der, W. M. P., Benatallah, B. & Casati, F. (eds.). Berlin: Springer, p. 464-469 (Lecture Notes in Computer Science; vol. 3649).

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

Enterprise resource planning
Industry
Information systems
1 Citation (Scopus)
2 Downloads (Pure)

Verification of selected key assumptions for the analysis of depth-sensing indentation data

Rettler, E. F., Kranenburg, J. M., Höppener, S., Hoogenboom, R. & Schubert, U. S., 2013, In : Macromolecular Materials and Engineering. 298, 1, p. 78-88

Research output: Contribution to journalArticleAcademicpeer-review

Unloading
Indentation
Glass transition
Creep
Polystyrenes
1 Citation (Scopus)
9 Downloads (Pure)

Verification of sinusoidal steady state system identification of a Phantom Omni haptic device using data driven modeling

Milne, B. J. E., Beelen, H. P. G. J., Merks, R. W. H., Weiland, S., Chen, X. Q., Hann, C. E. & Parker, R. J., 2015, Proceedings of the 6th International Conference on Automation, Robotics and Applications (ICARA 2015), 17-19 February 2015, Queenstown, New Zealand. Institute of Electrical and Electronics Engineers, p. 283-288

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Data structures
Identification (control systems)
Dynamic models
Binary sequences
Feedback

Verification of SOA orchestration

Heck, P. M., 2006, Proceedings Conference on Quality Engineering in Software Technology (Conquest 2006, Berlin, Germany, September 27-29, 2006).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

53 Downloads (Pure)

Verification of soundness and other properties of business processes

Oanea, O. I., 2007, Eindhoven: Technische Universiteit Eindhoven. 160 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
Industry
Synchronization
Semantics
Computability and decidability
Formal methods