Find Research Output

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

50 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
38 Citations (Scopus)

Verification of temporal properies of processes in a setting with data

Groote, J. F. & Mateescu, R., 1999, Algebraic Methodology and Software Technology (Proceedings 7th International Conference, AMAST'98, Amazonia, Brasil, January 408, 1999). Haeberer, A. M. (ed.). Berlin: Springer, p. 74-90 (Lecture Notes in Computer Science; vol. 1548).

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

Fixed point
Operator
Linear Process
Term
Modality
38 Citations (Scopus)

Verification of temporal properties of processes in a setting with data

Groote, J. F. & Mateescu, R., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 18 p. (CWI Report; vol. SEN-R9804)

Research output: Book/ReportReportAcademic

Verification of the energy flow analysis method as identification tool for damping in high-rise buildings

Talib, I., Bronkhorst, O., Pruiksma, J. & Suiker, A., 1 Jan 2019, Proceedings of the Belgian-Dutch IABSE Young Engineers Colloquium 2019, YEC 2019. De Pauw, B., Leonetti, D., Snijder, H. H. & De Pauw, B. (eds.). Zoetermeer: Belgian and Dutch National Groups of IABSE, p. 98-99 2 p.

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

Damping
Loads (forces)
Soils
Finite element method
Experiments
67 Citations (Scopus)
1 Downloads (Pure)
Industry
Semantics
11 Citations (Scopus)
1 Downloads (Pure)

Verification of the short-circuit current making capability of high-voltage switching devices

Smeets, R. P. P. & Linden, van der, W. A., 2001, In : IEEE Transactions on Power Delivery. 16, 4, p. 611-618 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Short circuit currents
Electric potential
Electric switchgear
Electric circuit breakers
Electric grounding

Verification of timed Chi models using Uppaal

Bortnik, E., Beek, van, D. A., Mortel - Fronczak, van de, J. M. & Rooda, J. E., 2005, Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation. Spain, Barcelona, p. 486-492

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

287 Downloads (Pure)

Verification of WF-nets

Verbeek, H. M. W., 2004, Eindhoven: Technische Universiteit Eindhoven. 336 p.

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

Open Access
File
607 Citations (Scopus)

Verification of workflow nets

Aalst, van der, W. M. P., 1997, Application and Theory of Petri Nets 1997 (Proceedings 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997). Azema, P. & Balbo, G. (eds.). Berlin: Springer, p. 407-426 (Lecture Notes in Computer Science; vol. 1248).

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

201 Citations (Scopus)
1 Downloads (Pure)

Verification of workflow task structures : a Petri-net-based approach

Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2000, In : Information Systems. 25, 1, p. 43-69

Research output: Contribution to journalArticleAcademicpeer-review

Verification of XRL : an XML-based workflow language

Aalst, van der, W. M. P., Verbeek, H. M. W. & Kumar, A., 2001, Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001. Shen, W., Lin, Z., Barthes, J. P. & Kamel, M. (eds.). Ottawa, Canada: NRC Research Press, p. 427-432

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

Verification on workflow task structures: A Petri-net-based approach

Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 1998, Karlsruhe: Universität Karlsruhe. (Forschungsbericht; vol. 380)

Research output: Book/ReportReportAcademic

117 Citations (Scopus)
38 Downloads (Pure)

Verification studies of a simplified model for the removal of dichloromethane from waste gases using a biological trickling filter (Part I)

Diks, R. M. M. & Ottengraf, S. P. P., 1991, In : Bioprocess Engineering. 6, 3, p. 93-99

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
61 Citations (Scopus)
139 Downloads (Pure)

Verification studies of a simplified model for the removal of dichloromethane from waste gases using a biological trickling filter (part II)

Diks, R. M. M. & Ottengraf, S. P. P., 1991, In : Bioprocess Engineering. 6, 4, p. 131-140

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Correctness
21 Citations (Scopus)

Verified design of an automated parking garage

Mathijssen, A. H. J. & Pretorius, A. J., 2007, Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 11) and 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 5) 26-27 August 2006 and 31 August 2006, Bonn, Germany. Brim, L., Haverkort, B., Leucker, M. & Pol, van de, J. (eds.). Berlin: Springer, p. 165-180 (Lecture Notes in Computer Science; vol. 4346).

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

Parking
Software architecture
Software design
Large scale systems
Railroad cars
150 Citations (Scopus)
2 Downloads (Pure)

VERIFY (VERification of instantaneous wave-free ratio and fractional flow reserve for the assessment of coronary artery stenosis severity in everyday practice): A multicenter study in consecutive patients

Berry, C., Van 'T Veer, M., Witt, N., Kala, P., Bocek, O., Pyxaras, S. A., McClure, J. D., Fearon, W. F. W., Barbato, E. E., Tonino, W. A. L. P., Bruyne, de, B. B., Pijls, N. & Oldroyd, K. G. K., 2 Apr 2013, In : Journal of the American College of Cardiology. 61, 13, p. 1421-1427 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)

Verifying a sliding window protocol in µCRL

Fokkink, W. J., Groote, J. F., Pang, J., Badban, B. & Pol, van de, J. C., 2004, Algebraic Methodology and Software Technology (Proceedings 10th International Conference, AMAST 2004, Stirling, UK, July 12-16, 2004). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Berlin: Springer, p. 148-163 (Lecture Notes in Computer Science; vol. 3116).

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

Sliding Window
Queue
Branching
Modulo
Correctness

Verifying a sliding window protocol in mu-CRL

Fokkink, W. J., Groote, J. F., Pang, J., Badban, B. & Pol, van de, J. C., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 36 p. (CWI report. SEN-R : software engineering; vol. 0308)

Research output: Book/ReportReportAcademic

2 Citations (Scopus)
2 Downloads (Pure)

Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

Zhang, D., Bošnački, D., van den Brand, M. G. J., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 2017, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Revised Selected Papers. Hammoudi, S., Pires, L. F., Selic, B. & Desfray, P. (eds.). Springer, p. 249-273 25 p. (Communications in Computer and Information Science; vol. 692).

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

Specifications
Semantics
2 Citations (Scopus)
2 Downloads (Pure)

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
12 Downloads (Pure)

Verifying big data topologies by-design: a semi-automated approach

Bersani, M. M., Marconi, F., Tamburri, D. A., Nodari, A. & Jamshidi, P., 1 Dec 2019, In : Journal of Big Data. 6, 1, 23 p., 40.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Topology
Momentum
Processing
Big data
Inference
1 Downloads (Pure)

Verifying business processes using spin

Janssen, W., Mateescu, R., Mauw, S. & Springintveld, J., 1998, On-line Proceedings 4th International SPIN Workshop (SPIN'98, Paris, France, November 2, 1998). Holzmann, G., Najm, E. & Serhrouchni, A. (eds.).

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

Amber
Testbeds
Specifications
Industry
Reengineering
1 Citation (Scopus)

Verifying Chi models of industrial systems with Spin

Trcka, N., 2006, Formal Methods and Software Engineering (Proceedings 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006). Liu, Z. & He, Z. (eds.). Berlin: Springer, p. 132-148 (Lecture Notes in Computer Science; vol. 4260).

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

Functional analysis
Simulators
22 Downloads (Pure)

Verifying Chi models of industrial systems with Spin

Trcka, N., 2005, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 0512)

Research output: Book/ReportReportAcademic

Open Access
File
6 Citations (Scopus)

Verifying deadlock- and livelock freedom in an SOA scenario

Wolf, K., Stahl, C., Ott, J. & Danitz, R., 2009, Proceedings 9th International Conference on Application of Concurrency to System Design (ACSD 2009, Augsburg, Germany, July 1-3, 2009). Institute of Electrical and Electronics Engineers, p. 168-177

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

Service oriented architecture (SOA)
Chemical analysis
58 Downloads (Pure)

Verifying generalized soundness for workflow nets

Hee, van, K. M., Oanea, O. I., Sidorova, N. & Voorhoeve, M., 2006, Eindhoven: Technische Universiteit Eindhoven. 10 p. (Computer science reports; vol. 0608)

Research output: Book/ReportReportAcademic

Open Access
File
7 Citations (Scopus)
1 Downloads (Pure)

Verifying generalized soundness for workflow nets

Hee, van, K. M., Oanea, O. I., Sidorova, N. & Voorhoeve, M., 2007, Proceedings of the 6th International Andrei Ershov Memorial Conference : Perspectives of Systems Informatics (PSI 2006) 27-30 June 2006, Novosibirsk, Russia. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 235-247 (Lecture Notes in Computer Science; vol. 4378).

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

marking
acoustics
prototypes
10 Citations (Scopus)
1 Downloads (Pure)

Verifying large SDL-specifications using model checking

Sidorova, N. & Steffen, M., 2001, SDL 2001: Meeting UML (Proceedings 10th International SDL Forum, Copenhagen, Denmark, June 27-29, 2001). Reed, R. & Reed, J. (eds.). Berlin: Springer, p. 403-420 (Lecture Notes in Computer Science; vol. 2078).

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

Model checking
Specifications
Network protocols
Automatic teller machines
Explosions
5 Downloads (Pure)

Verifying liveness in supervised systems using UPPAAL and mCRL2

Markovski, J. & Reniers, M. A., 2013, ICT innovations 2012 : secure and intelligent systems. Markovski, S. & Gusev, M. (eds.). Springer, p. 295-304 (Advances in Intelligent Systems and Computing; vol. 207).

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

Discrete event simulation
Controllers
Systems engineering
Interfaces (computer)

Verifying multi-party authentication using rank functions and PVS

Verhoeven, R. H. A. & Dechesne, F., 2009, Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008. Revised Selected Papers. Degano, P., Guttman, J. & Martinelli, F. (eds.). Berlin: Springer, p. 226-241 16 p. (Lecture Notes in Computer Science (LNCS); vol. 5491).

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

Authentication
Network protocols
Model checking
3 Citations (Scopus)

Verifying parallel algorithms and programs using coloured Petri nets

Westergaard, M., 2012, Transactions on Petri Nets and Other Models of Concurrency VI. Jensen, K., Aalst, van der, W. M. P., Ajmone Marsan, M., Franceschinis, G., Kleijn, J. & Kristensen, L. M. (eds.). Berlin: Springer, p. 146-168 (Lecture Notes in Computer Science; vol. 7400).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Petri nets
Parallel algorithms
Message passing
Data storage equipment
20 Downloads (Pure)

Verifying PB3D: a new code for 3D ideal linear peeling-ballooning stability

Weyens, T., Sánchez, R., Huijsmans, G. T. A., Loarte, A. & García, L., 2016, 43rd European Physical Society Conference on Plasma Physics, EPS 2016, 4-8 July 2016, Leuven, Belgium. s.l.: European Physical Society (EPS), p. 1-4 P4.067

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

Open Access
File
peeling
perturbation
field coils
stellarators
ripples
17 Citations (Scopus)
1 Downloads (Pure)

Verifying performance of supervised plants

Markovski, J. & Reniers, M. A., 2012, Proceedings of the 2012 12th International Conference on Application of Concurrency to System Design (ACSD), 27-29 June 2012, Hamburg, Germany. Piscataway: Institute of Electrical and Electronics Engineers, p. 52-61

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

Supervisory personnel
Controllers
Stochastic systems
Stochastic models
Control theory

Verifying Petri-net models using process algebra.

Basten, T., 2003, Petri Nets for Systems Engineering : A Guide to Modeling, Verification and Applications. Girault, C. & Valk, R. (eds.). Berlin: Springer, p. 382-397 16 p.

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

6 Citations (Scopus)

Verifying probabilistic programs using a Hoare like logic

Hartog, den, J. I., 1999, Advances in Computing Science - ASIAN'99 (Proceedings 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999). Thiagarajan, P. S. & Yap, R. (eds.). Springer, p. 790- (Lecture Notes in Computer Science; vol. 1742).

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

Semantics
29 Citations (Scopus)

Verifying probabilistic programs using a Hoare-like logic

Hartog, den, J. I. & Vink, de, E. P., 2002, In : International Journal of Foundations of Computer Science. 13, 3, p. 315-340

Research output: Contribution to journalArticleAcademicpeer-review

273 Downloads (Pure)

Verifying responsiveness for open systems by means of conformance checking

Müller, R., 2014, Eindhoven: Technische Universiteit Eindhoven. 289 p.

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

Open Access
File
225 Downloads (Pure)

Verifying sequentially consistent memory

Brinksma, E., Davies, J., Gerth, R. T., Graf, S., Janssen, W., Jonsson, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C. & Zwiers, J., 1994, Eindhoven: Technische Universiteit Eindhoven. 160 p. (Computing science reports; vol. 9444)

Research output: Book/ReportReportPopular

Open Access
File
29 Downloads (Pure)

Verifying sequentially consistent memory using interface refinement

Gerth, R. T., 1993, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computing science notes; vol. 9348)

Research output: Book/ReportReportAcademic

Open Access
File

Verifying SystemC^FL designs using the SMV model checker

Man, K. L., 2005, Proceedings of the 8th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'05, Sopron, Hungary, April 13-16, 2005). p. 244-247

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

1 Citation (Scopus)
1 Downloads (Pure)

Verifying system-wide properties of industrial component-based software

Neele, T., Rol, M. H. & Groote, J. F., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 158-175 18 p. (Lecture notes in computer science; vol. 11761).

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

Software design
Software Design
Software
Software System
Engines

Verifying the manipulation of data objects according to business process and data models

Pérez-Alvarez, J. M., Gómez-López, M. T., Eshuis, R., Montali, M. & Gasca, R. M., 1 Jan 2020, (Accepted/In press) In : Knowledge and Information Systems.

Research output: Contribution to journalArticleAcademicpeer-review

Data structures
Industry
2 Citations (Scopus)

Verifying the spin of centrifuges

Delbeke, J. F. A., Eklund, G., Esch, van, B. P. M., Janssens-Maenhout, G. & Janssens, W., 2010, In : Energy. 35, 8, p. 3123-3130

Research output: Contribution to journalArticleAcademicpeer-review

Centrifuges
Nuclear fuels
Isotopes
Flow rate
23 Citations (Scopus)
3 Downloads (Pure)

Verifying workflow processes : a transformation-based approach

Zha, H., Aalst, van der, W. M. P., Wang, J., Wen, L. & Sun, J., 2011, In : Software and Systems Modeling. 10, 2, p. 253-264

Research output: Contribution to journalArticleAcademicpeer-review

Work Flow
Semantics
Petri nets
Model Transformation
Modeling Language
16 Downloads (Pure)

Verifying workflows with cancellation regions and OR-joins : an approach based on invariants

Verbeek, H. M. W., Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2006, Eindhoven: Technische Universiteit Eindhoven. 36 p. (BETA publicatie : working papers; vol. 156)

Research output: Book/ReportReportAcademic

Open Access
File
49 Citations (Scopus)

Verifying workflows with cancellation regions and OR-joins : an approach based on relaxed soundness and invariants

Verbeek, H. M. W., Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2007, In : The Computer Journal. 50, 3, p. 294-314

Research output: Contribution to journalArticleAcademicpeer-review

Semantics
Flow control
Flow patterns
Structural properties
15 Citations (Scopus)

Verifying workflows with cancellation regions and OR-joins : an approach based on reset nets and reachability analysis

Wynn, M. T., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Edmond, D., 2006, Business Process Management (Proceedings 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006). Dustdar, S., Fiadeiro, J. L. & Sheth, A. (eds.). Berlin: Springer, p. 389-394 (Lecture Notes in Computer Science; vol. 4102).

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

Industry
Information systems
1 Citation (Scopus)

Veritistic value and the use of evidence: a shortcoming of Goldman's epistemic evaluation of social practices

Berends, J. J., 2002, In : Social Epistemology. 16, 2, p. 177-179

Research output: Contribution to journalArticleAcademicpeer-review

evaluation
evidence
Values
Evaluation
Social Practice