Find Research outputs

Search results

• Verhouding schoolbestuur en centrale directie in het voortgezet onderwijs

  Brandsma, H. P. & Leemkuil, H. H., 1998, Enschede: Universiteit Twente. 68 p.

  Research output: Book/Report › Report › Professional

• Verifiability of electronic voting: between confidence and trust

  Pieters, W., 2010, Data Protection in a Profiled World. Gutwirth, S., Poullet, Y. & De Hert, P. (eds.). Dordrecht: Springer, p. 157-175 19 p. 10.1007/978-90-481-8865-9_9

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Verification and analysis of domain-specific models of physical characteristics in embedded control software

  de Roo, A., Sözer, H. & Aksit, M., Dec 2012, In: Information and software technology. 54, 12, p. 1432-1453 22 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  File
  4 Citations (Scopus)

  40 Downloads (Pure)

• Verification and Optimization of a PLC Control Schedule

  Brinksma, H. & Mader, A. H., Aug 2000, 7th Int. SPIN Workshop on Model Checking of Software. Havelund, K., Penix, J. & Visser, W. (eds.). Berlin: Springer, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 1885).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  23 Citations (Scopus)

  122 Downloads (Pure)

• Verification and Optimization of a PLC Control Schedule

  Brinksma, E., Mader, A. & Fehnker, A., 2002, In: International journal on software tools for technology transfer. 4, 1, p. 21-33 13 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  22 Citations (Scopus)

  59 Downloads (Pure)

• Verification and Validation of Concurrent and Distributed Systems (Track Summary)

  Huisman, M. & Seceleanu, C., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 421-425 5 p. (Lecture Notes in Computer Science; vol. 12476).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Verification and validation of knowledge-based systems

  Wielinga, B. J., Akkermans, J. M. & Schreiber, G., 1 Jun 1993, Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93). Madrid, Spain, p. 29-50

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Verification assessment and site effects for a 2 - D FEM analysis : poster

  Sigar��n-Lor��a, C., Hack, H. R. G. K. & Climent, A., 2007.

  Research output: Contribution to conference › Poster › Other research output

• Verification is experimentation!

  Brinksma, E., 2001, In: International journal on software tools for technology transfer. 3, 2, p. 107-217 111 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  7 Citations (Scopus)

• Verification Is Experimentation!

  Brinksma, E., 2000, CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000, Proceedings. Palamidessi, C. (ed.). Springer, p. 17-24 8 p. (Lecture Notes in Computer Science; vol. 1877).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  1 Citation (Scopus)

• Verification of 2D building outlines using oblique airborne images

  Nyaruhuma, A. P., Gerke, M. & Stein, A., 2012, In: ISPRS journal of photogrammetry and remote sensing. 71, p. 62-75 14 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  31 Citations (Scopus)

• Verification of 3D Building Models using Mutual Information in Airborne Oblique Images

  Nyaruhuma, A. P., Gerke, M. & Vosselman, G., 25 Aug 2012, ISPRS 2012 Proceedings of the XXII ISPRS Congress: Imaging a Sustainable Future, 25 August - 01 September 2012, Melbourne, Australia. Peer reviewed Annals, Volume I-3, 2012. Shortis, M., Madden, M., Paparoditis, N. & Mallet, C. (eds.). International Society for Photogrammetry and Remote Sensing (ISPRS), p. 275-280 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access
  11 Citations (Scopus)

• Verification of a cruise control system using counterexample-guided search

  Stursberg, O., Fehnker, A., Han, Z. & Krogh, B. H., Oct 2004, In: Control engineering practice. 12, 10, p. 1269-1278 10 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  36 Citations (Scopus)

• Verification of a timestamp-based sliding-window protocol

  Oláh, A. L., 1994, Enschede: University of Twente. 35 p. (Memoranda informatica; no. 94-42)(Memorandum TIOS; no. 94-12)

  Research output: Book/Report › Report › Professional

• Verification of Compensation Requirements for the SEPIA Cooperative Authoring System

  Even, S. J. & Spelt, D., 1998, Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT Technical Report Series; no. 98-25)

  Research output: Book/Report › Report › Academic

• Verification of Concurrent Software

  Huisman, M., 2017, In: Electronic proceedings in theoretical computer science. 261, p. 2-2

  Research output: Contribution to journal › Editorial › Academic › peer-review

• Verification of Concurrent Software with VerCors

  Huisman, M., 2017, Proceedings of the 29th Nordic Workshop on Programming Theory (NWPT). Walden, M. (ed.). p. 2 1 p. (TUCS lecture notes; no. 27).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  Open Access

  File
  141 Downloads (Pure)

• Verification of concurrent systems with VerCors

  Amighi, A., Blom, S., Darabi, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., Jun 2014, Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bernardo, M., Damiani, F., Hähnle, R., Broch Johnsen, E. & Schaefer, I. (eds.). Cham: Springer, p. 172-216 45 p. (Lecture Notes in Computer Science; vol. 8483).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
  12 Citations (Scopus)

  16 Downloads (Pure)

• Verification of Confidentiality of Multi-threaded Programs

  Ngo, M. T., 1 Oct 2010, IPA PhD Workshop 2010. Veldhoven: IPA, p. - 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  File
  24 Downloads (Pure)

• Verification of forecasts for extreme rainfall, tropical cyclones, flood and storm surge over Myanmar and the Philippines

  Macleod, D., Easton-calabria, E., Coughlan de Perez, E. & Jaime, C., Sep 2021, In: Weather and climate extremes. 33, p. 1-14 14 p., 100325.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  2 Citations (Scopus)

  18 Downloads (Pure)

• Verification of higher-order discontinuous Galerkin method for hexahedral elements

  Ozdemir, H., Hagmeijer, R. & Hoeijmakers, H. W. M., 2005, In: Comptes rendus mécanique. 333, 9, p. 719-725 7 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  2 Citations (Scopus)

• Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

  Clarke, E. M., Fehnker, A., Han, Z., Krogh, B. H., Stursberg, O. & Theobald, M., 2003, Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Garavel, H. & Hatcliff, J. (eds.). Springer, p. 192-207 16 p. (Lecture Notes in Computer Science; vol. 2619).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  81 Citations (Scopus)

• Verification of information through direct experiences with an industrial hazard

  Wiegman, O., Gutteling, J. M. & Boer, H., 1991, In: Basic and applied social psychology. 12, 3, p. 325-339 15 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  19 Citations (Scopus)

• Verification of Interactions between Silica and Epoxidized Squalene as a Model for Epoxidized Natural Rubber

  Kaewsakul, W., Sahakaro, K., Dierkes, W. K. & Noordermeer, J. W. M., 2014, In: Journal of rubber research. 17, 3, p. 129-142 14 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  File
  7 Citations (Scopus)

  93 Downloads (Pure)

• Verification of java’s abstractcollection class: A case study

  Huisman, M., 2002, Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings. Boiten, E. A. & Möller, B. (eds.). Berlin, Heidelberg: Springer, p. 175-194 (Lecture Notes in Computer Science; vol. 2386).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  8 Citations (Scopus)

• Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

  Lind-Nielsen, J., Andersen, H. R., Hulgaard, H. & Larsen, K. G., 2001, In: Formal methods in system design. 18, 1, p. 5-23

  Research output: Contribution to journal › Article › Academic

  21 Citations (Scopus)

• Verification of loop parallelisations

  Blom, S., Darabi, S. & Huisman, M., Apr 2015, Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015). Egyed, A. & Schaefer, I. (eds.). London: Springer, p. 202-217 15 p. (Lecture Notes in Computer Science; vol. 9033).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  16 Citations (Scopus)

  136 Downloads (Pure)

• Verification of Loop Parallelisations

  Blom, S., Darabi, S. & Huisman, M., 24 Mar 2015, p. IPA-4. 2 p.

  Research output: Contribution to conference › Paper

  File
  91 Downloads (Pure)

• Verification of Modal Properties Using Boolean Equation Systems

  Mader, A. H., 1997, Bertz Verlag, Berlin: Edition versal 8. 182 p. (Edition versal 8)

  Research output: Book/Report › Book › Academic

  File
  170 Downloads (Pure)

• Verification of Modal Properties Using Infinite Boolean Equation Systems

  Mader, A. H., 1997, Nijmegen: Computing Science Institute, University of Nijmegen. (ICIS Technical Reports; no. CSI-R9)

  Research output: Book/Report › Report › Other research output

  File
  33 Downloads (Pure)

• Verification of models for wall-cooled packed-bed reactors. The selective oxidation of ethene

  Schouten, E. P. S., 1 Oct 1995, Enschede: Copy Print 2000. 135 p.

  Research output: Thesis › PhD Thesis - Research UT, graduation UT

• Verification of post - tsunami housing reconstruction projects by object - oriented building extraction from high resolution satellite imagery : extended abstract + poster

  Du, Y., Bijker, W. & Wang, C., 2009, ACRS 2009 : proceedings of the 30th Asian conference on remote sensing : geo - referenced images of capitals in Asia, 18-23 October 2009, Beijing, China. - Wuhan : Wuhan University Press, 2009. ISBN 978-7-900673-48-0. 5 p.. Wuhan, China: Wuhan University, 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Verification of probabilistic behaviours

  Dranidis, D. (ed.), Andova, S., Tigka, K. (ed.) & Willemse, T. A. C., 2004, p. 84-99. 16 p.

  Research output: Contribution to conference › Paper › Academic › peer-review

  Open Access

  File
  22 Downloads (Pure)

• Verification of Probabilistic Systems: Concurrent Alternating Bit Protocol

  Andova, S. & Willemse, T., 13 Dec 2003.

  Research output: Contribution to conference › Paper › peer-review

  20 Citations (Scopus)

• Verification of program parallelization

  Darabi, S., 2 Mar 2018, Enschede: University of Twente. 167 p.

  Research output: Thesis › PhD Thesis - Research UT, graduation UT

  Open Access

  File
  257 Downloads (Pure)

• Verification of random behaviours

  Andova, S. & Willemse, T. A. C., 20 Nov 2003, SEEFM 200: First south-east europian workshop on formal methods. Manolopoulos, Y. & Spirakis, P. (eds.). Thessaloniki, Greece: Aristotle University of Thessaloniki, p. 84-99 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

• Verification of redox-processes as switching and retention failure mechanisms in Nb:SrTiO₃/metal devices

  Baeumer, C., Raab, N., Menke, T., Schmitz, C., Rosezin, R., Müller, P., Andrä, M., Feyer, V., Bruchhaus, R., Gunkel, F., Schneider, C. M., Waser, R. & Dittmann, R., 7 Aug 2016, In: Nanoscale. 8, 29, p. 13967-13975 9 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  53 Citations (Scopus)

• Verification of Shared-Reading Synchronisers

  Amighi, A., Huisman, M. & Blom, S., 25 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). Bensalem, S. & Bliudze, S. (eds.). p. 107-120 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 272).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  1 Citation (Scopus)

  86 Downloads (Pure)

• Verification of the experimental behaviour of a planar quadrupole electrode structure for the collection of dissociated cortical rat neurons by theoretically found relationships

  Heida, T., Rutten, W. & Marani, E., 25 Oct 1999, Proceedings of the Dutch Annual Conference on BioMedical Engineering. Conferentiecentrum "Papendal", Arnhem, p. 48-50 3 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Verification of the Random Line-of-Sight Measurement Setup at 1.5-3 GHz Including MIMO Throughput Measurements of a Complete Vehicle

  Schilliger Kildal, M., Moghaddam, S. M., Razavi, A., Carlsson, J., Yang, J. & Alayón Glazunov, A., Nov 2020, In: IEEE transactions on vehicular technology. 69, 11, p. 13165-13179 15 p., 9185006.

  Research output: Contribution to journal › Article › Academic › peer-review
  2 Citations (Scopus)

• Verification of the shearstress boundary condition in the undertow problem

  Stive, M. J. F. & de Vriend, H. J., 5 Dec 1994, In: A.S.-Arcilla, M.J.F. Stive and N.C. Kraus (Editors), "Coastal Dynamics '94", ASCE. New York: American Society of Civil Engineers, p. 533-542 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  1 Citation (Scopus)

• Verification of Timed and Hybrid Systems

  Larsen, K. G., 22 Mar 2000, Proceedings of International Conference on Application and Theory of Petri Nets. Kopenhagen, p. 39-42

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Verification of transmissions in OO databases (abstract)

  Balsters, H., 1996, In: Dagstuhl Seminar Reports. 10, p. -

  Research output: Contribution to journal › Article › Professional

• Verification of two - dimensional numerical earthquake site effects on a dam site, Costa Rica

  Sigarán-Loría, C. & Hack, H. R. G. K., 2007, 11th congress of the International Society for Rock Mechanics : the second half century of rock mechanics, 9-13 July, 2007, Lisbon, Portugal. e Sousa, L. R. & Grossmann, C. O. N. (eds.). Leiden, The Netherlands: Taylor & Francis / Balkema, p. 1203-1207

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Verification steps and personal stories in an instruction manual for seniors: Effects on confidence, motivation, and usability

  Loorbach, N., Karreman, J. & Steehouder, M., 2013, In: IEEE transactions on professional communication. 56, 4, p. 294-312 19 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  8 Citations (Scopus)

• Verification Support For Object Database Design

  Spelt, D., 10 Sep 1999, Enschede: Universiteit Twente. 156 p.

  Research output: Thesis › PhD Thesis - Research UT, graduation UT

  Open Access

  File
  19 Downloads (Pure)

• Verification Support for Workflow Design with UML Activity Graphs

  Eshuis, H. & Wieringa, R. J., 2002, 24th Int. Conf. on Software Engineering (ICSE 2002). Tracz, W., Magee, J. & Young, M. (eds.). New York: Association for Computing Machinery (ACM), p. 166-176 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  77 Citations (Scopus)

  202 Downloads (Pure)

• Verification Techniques for Graph Rewriting (Tutorial)

  Rensink, A., Mar 2016, Verification of Evolving Graph Structures. Abdulla, P. A., Gadducci, F., König, B. & Vafeiadis, V. (eds.). Dagstuhl, Germany: Dagstuhl, p. 18-18 1 p. (Dagstuhl Reports; vol. 5, no. 11).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  File
  57 Downloads (Pure)

• Verification Tool for 2D Multi-Stage Metal Forming Processes involving Small Parts Made of Stainless Steel

  de Vries, C., Beyer, J., Geijselaers, H. J. M. & Post, J. A., 2 Apr 2001, Proceedings of the Shemet 2001. Duflou, J., Geiger, M., Kals, H. J. J., Shirvani, B. & Singh, U. P. (eds.). KU Leuven, p. 475-484

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• Verification Under Increasing Dimensionality

  Hendrikse, A. J., Veldhuis, R. N. J. & Spreeuwers, L. J., Aug 2010, 20th International Conference on Pattern Recognition (ICPR 2010). Los Alamitos, CA, USA: IEEE Computer Society, p. 589-592 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  1 Citation (Scopus)

  105 Downloads (Pure)