Boudewijn Remigius Heinrich Maria Haverkort

prof.dr.ir.

1990 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution

A centralized feedback control model for resource management in wireless networks

Yang, Y., Haverkort, B. R. & Heijenk, G. J., 20 Sep 2007, Proceedings of the The Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Cloth, L., Hiltunen, M. & van Moorsel, A. (eds.). Enschede, p. 10-16 7 p. (CTIT Workshop Proceedings).

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

Open Access
File
90 Downloads (Pure)

A Class-Based Least-Recently-Used Caching Algorithm for WWW Proxies Proceedings

Khayari el Abdouni, R., Sadre, R. & Haverkort, B. R. H. M., 2 Sep 2003, 13th Intl. Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Kemper, P. & Sanders, W. H. (eds.). Illinois, USA, p. 273-290 18 p. (Lecture Notes in Computer Science 2794; vol. 2794).

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

File
26 Downloads (Pure)

A Class-Based Weighted-Fair Queueing Algorithm for WWW Proxy Scheduling

El Abdouni Khayari, R., Sadre, R., Haverkort, B. R. H. M. & Zoschke, N., Aug 2002, SPIE 4865 Internet Performance and Control of Network Systems III. SPIE - The International Society for Optical Engineering, p. 120-131 12 p.

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

2 Citations (Scopus)

A control-theoretic modeling approach for service differentiation in multi-hop ad-hoc networks

Yang, Y., Haverkort, B. R. H. M. & Heijenk, G., 2008, Proceedings of the Fifth International Conference on the Quantitative Evaluation of Systems, QEST 2008). Piscataway: IEEE Computer Society, p. 7-16 10 p. 10.1109/QEST.2008.17

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

File
3 Citations (Scopus)
64 Downloads (Pure)

Adaptive Resource Control in 2-hop Ad-Hoc Networks

Yang, Y., Heijenk, G. & Haverkort, B. R. H. M., 12 Oct 2009, Proceedings of the International Conference on Ultra Modern Telecommunications 2009. St. Petersburg: IEEE Communications Society, p. 199:1-199:9 9 p.

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

File
1 Citation (Scopus)
74 Downloads (Pure)

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements

van den Berg, F. G. B., Hooman, J. & Haverkort, B. R. H. M., 2018, Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. German, R., Hielscher, K-S. & Krieger, U. R. (eds.). Springer, p. 295-301 7 p. (Lecture Notes in Computer Science; vol. 10740).

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

2 Downloads (Pure)

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems

van den Berg, F., Remke, A. K. I. & Haverkort, B. R. H. M., 14 Apr 2014, Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, MCPS 2014. Turau, V., Kwiatkowska, M., Mangharam, R. & Weyer, C. (eds.). Dagstuhl, Germany: Dagstuhl, p. 80-93 14 p. (OASICS; vol. 36).

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

File
9 Citations (Scopus)
16 Downloads (Pure)

A first Experimental Investigation of the Practical Efficiency of Battery Scheduling

Miliche, D., de Graaf, M., Hoekstra, G., Jongerden, M. R. & Haverkort, B. R. H. M., Feb 2010, Work shop on Ultra-Low Power Sensor Networks (WUPS). VDE Verlag GmbH, p. 241-246 6 p.

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

File
83 Downloads (Pure)

A Fixed-Point Algorithm for Closed Queueing Networks

Sadre, R., Haverkort, B. R. H. M. & Reinelt, P., 2007, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007. Wolter, K. (ed.). Springer, p. 154-170 17 p. 10.1007/978-3-540-75211-0_12. (Lecture Notes in Computer Science; vol. 4748, no. LNCS4549).

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

File
2 Citations (Scopus)
140 Downloads (Pure)

A Generic Processor Temperature Estimation Method

Ozceylan, B., Haverkort, B. R. H. M., de Graaf, M. & Gerards, M. E. T., 5 Dec 2019, 2019 25th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC). Rencz, M., Codecasa, L. & Poppe, A. (eds.). IEEE, 6 p.

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

3 Downloads (Pure)

A logic for model-checking mean-field models

Kolesnichenko, A., de Boer, P-T., Remke, A. & Haverkort, B. R., Jun 2013, 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013). Piscataway, NJ: IEEE, p. 1-12 12 p. (International Conference on Dependable Systems and Networks; vol. 43).

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

9 Citations (Scopus)
22 Downloads (Pure)

A method for analyzing the performance aspects of the fault-tolerance mechanisms in FDDI

van Moorsel, A. P. A., Haverkort, B. R. H. M. & Niemegeers, I. G. M. M., 18 May 1992, Proceedings IEEE INFOCOM '92. Florence: IEEE, p. 372-381

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

File
29 Downloads (Pure)

An adaptive resource control mechanism in multi-hop ad-hoc networks

Yang, Y., Heijenk, G. & Haverkort, B. R. H. M., Jun 2011, 9th IFIP international conference on Wired/Wireless Internet Communications, WWIC 2011. Masip Bruin, X., Verchere, D., Tsaoussidis, V. & Yannuzzi, M. (eds.). Berlin: Springer, p. 309-322 14 p. (Lecture Notes in Computer Science; vol. 6649).

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

File
14 Downloads (Pure)

Analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Dec 2013, Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013. New York: Association for Computing Machinery (ACM), p. 165-174 10 p.

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

File
10 Citations (Scopus)
26 Downloads (Pure)

An AnyLogic simulation model for power and performance analysis of data centres

Postema, B. F. & Haverkort, B. R. H. M., Aug 2015, Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015. Beltrán, M., Knottenbelt, W. & Bradley, J. (eds.). Switzerland: Springer, p. 258-272 15 p. (Lecture Notes in Computer Science; vol. 9272).

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

File
7 Citations (Scopus)
1055 Downloads (Pure)

A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications

Chromik, J. J., Remke, A. K. I., Haverkort, B. R. H. M. & Geist, G., 24 Jun 2019, (Accepted/In press) IEEE/IFIP International Conference on Dependable Systems and Networks.

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

A performability modelling tool based on the dynamic queueing network concept

Haverkort, B. R. H. M. & Niemegeers, I. G. M. M., 13 Feb 1991, Fifth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. Torino, Italie, p. 174-188 15 p.

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

Approximate Analysis of Networks of PH$....Queues: Theory & Tool Support

Haverkort, B. R. H. M., 13 Feb 1995, Quantitative Evaluation of Computing and Communication Systems, Editors: H. Beilner, F. Bause, Lecture Notes in Computer Science, Springer Verlag. p. 239-253

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

Approximate performability analysis using generalized stochastic petri nets

Haverkort, B. R. H. M., 3 Dec 1991, Fourth International Workshop on Petri Nets and Performance Models. Melbourne, Australie: IEEE, p. 300-309 10 p.

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

File
4 Citations (Scopus)
37 Downloads (Pure)

Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008). Los Alamitos: IEEE Computer Society, p. 243-248 6 p.

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

File
9 Citations (Scopus)
42 Downloads (Pure)

Architectural dependability evaluation with Arcade

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., 2008, Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Los Alamitos: IEEE Computer Society Press, p. 512-521 10 p.

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

File
35 Citations (Scopus)
22 Downloads (Pure)

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Wognsen, E. R., Haverkort, B. R. H. M., Jongerden, M. R., Hansen, R. R. & Larsen, K. G., Sep 2015, Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015. Sankaranarayanan, S. & Vicario, E. (eds.). London: Springer, p. 305-320 16 p. (Lecture Notes in Computer Science; vol. 9268).

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

File
9 Citations (Scopus)
455 Downloads (Pure)

Assessing the Cost of Energy Independence

Jongerden, M. R., Hüls, J., Haverkort, B. R. H. M. & Remke, A. K. I., Apr 2016, Proceedings of the IEEE International Energy Conference, ENERGYCON 2016. USA: IEEE Power & Energy Society, p. 1-6 6 p.

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

8 Citations (Scopus)

A Tool for Generating Automata of IEC60870-5-104 Implementations

Kerkers, M., Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 2018, Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. German, R., Hielscher, K-S. & Krieger, U. R. (eds.). p. 307-311 (Lecture notes in computer science; vol. 10740).

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

106 Downloads (Pure)

A uniformization-based algorithm for model checking the CSL until operator on labeled queueing networks

Remke, A. K. I. & Haverkort, B. R. H. M., 15 Sep 2008, The 6th International Conference on Formal Modelling and Analysis of Timed Systems. Berlin: Springer, p. 188-202 15 p. 10.1007/978-3-540-85778-5_14. (Lecture Notes in Computer Science; no. 302).

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

File
75 Downloads (Pure)

Automated rare event simulation for stochastic Petri nets

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013. Joshi, K., Siegle, M., Stoelinga, M. & d' Argenio, P. R. (eds.). Berlin, Heidelberg: Springer, p. 372-388 17 p. (Lecture Notes in Computer Science; vol. 8054).

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

File
13 Citations (Scopus)
8 Downloads (Pure)

Automating the mean-field method for large dynamic gossip networks

Bakhshi, R., Endrullis, J., Endrullis, S., Fokkink, W. & Haverkort, B. R. H. M., Sep 2010, Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST 2010). USA: IEEE Computer Society, p. 241-250 10 p.

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

File
15 Citations (Scopus)
54 Downloads (Pure)

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 11 Sep 2006, Third International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society, p. 63-72 10 p. 10.1109/QEST.2006.3

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

File
3 Citations (Scopus)
64 Downloads (Pure)

Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration

Jongerden, M. R. & Haverkort, B. R., 11 Aug 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 88-103 16 p. (Lecture Notes in Computer Science; vol. 10503).

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

4 Citations (Scopus)

Best of Three Worlds: Towards Sound Architectural Dependability Models

Boudali, H., Haverkort, B. R., Kuntz, M. & Stoelinga, M., Sep 2007, 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Enschede: Centre for Telematics and Information Technology (CTIT), p. 45-49 5 p. (CTIT Workshop Proceedings).

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

Open Access
File
18 Downloads (Pure)

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks

Remke, A., Haverkort, B. R., Heijenk, G. & Cloth, L., 4 Jun 2008, Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings. Al-Begain, K., Heindl, A. & Telek, M. (eds.). Berlin- Heidelberg: Springer, p. 279-294 16 p. (Lecture Notes in Computer Science; vol. 5055).

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

4 Citations (Scopus)
7 Downloads (Pure)

Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., Nov 2006, Stochastic Performance Models for Resource Allocation in Communication Systems. Mandjes, M., van der Mei, R. & Nunez Queija, R. (eds.). Centrum voor Wiskunde en Informatica, p. 23-26 4 p.

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

File
23 Downloads (Pure)

Bro in SCADA: dynamic intrusion detection policies based on a system model

Chromik, J. J., Remke, A. & Haverkort, B. R., 30 Aug 2018, 5th International Symposium for ICS&SCADA Cyber Security Research (ICS-CSR 2018). Hamburg: BCS Learning & Development Ltd., p. 112-121 10 p.

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

Challenges for modelling and analysis in embedded systems and systems-of-systems design

Haverkort, B. R. H. M., Mar 2013, Proceedings Advances in Systems of Systems, AiSoS 2013. Rome: arXiv.org, p. 40-46 7 p. (Electronic Proceedings in Theoretical Computer Science; vol. 133).

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

File
60 Downloads (Pure)

Changes in the Web from 2000 to 2007

Sadre, R. & Haverkort, B. R. H. M., Sep 2008, Managing Large-Scale Service Deployment: 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008. London: Springer, p. 136-148 13 p. 10.1007/978-3-540-87353-2_11. (Lecture Notes in Computer Science; vol. 5273, no. WP 08-02).

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

File
7 Citations (Scopus)
41 Downloads (Pure)

Combining Energy Saving Techniques in Data Centres using Model-Based Analysis

Postema, B. F., Van Damme, T., De Persis, C., Tesi, P. & Haverkort, B. R. H. M., 2018, ICPE'18. Companion of the 2018 ACM/SPEC International Conference on Performance Engineering . ACM Press, p. 67-72

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

Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Oct 2011, Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011. Thomas, N. (ed.). London: Springer, p. 133-147 15 p. (Lecture Notes in Computer Science; vol. 6977).

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

File
15 Citations (Scopus)
30 Downloads (Pure)

Computing Battery Lifetime Distributions

Cloth, L., Haverkort, B. R. H. M. & Jongerden, M. R., Jun 2007, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007). Los Alamitos: IEEE Computer Society Press, p. 780-789 10 p. 10.1109/DSN.2007.26

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

File
38 Citations (Scopus)
106 Downloads (Pure)

Computing lifetimes for battery-powered devices

Jongerden, M. R. & Haverkort, B. R. H. M., Sep 2010, Proceedings of the International Conference on Operations Research, OR2010. London: Springer, p. 193-198 6 p.

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

File
61 Downloads (Pure)

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B. R. H. M. & Remke, A. K. I., 31 Aug 2015, Proceedings of the 12th European Workshop on Computer Performance Engineering (EPEW 2015). Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Cham: Springer, p. 208-224 17 p. (Lecture notes in computer science; vol. 9272).

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

File
8 Citations (Scopus)
9 Downloads (Pure)

CSL Model Checking Algorithms for Infinite-state Structured Markov chains

Remke, A. K. I. & Haverkort, B. R. H. M., 3 Oct 2007, 5th International Conference, FORMATS 2007. Raskin, J-F. & Thiagarajan, P. S. (eds.). London: Springer, p. 336-351 16 p. 10.1007/978-3-540-75454-1_24. (Lecture Notes in Computer Science; vol. 4763, no. LNCS4549).

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

File
6 Citations (Scopus)
36 Downloads (Pure)

CSL model checking of deterministic and stochastic Petri nets

Martinez Verdugo, J. M. & Haverkort, B. R. H. M., 2006, Proceedings 13th GI/ITG conference on measuring, Modelling and Evaluation of Computer and Communication Systems. German, R. & Heindl, A. (eds.). Berlin: VDE Verlag, p. 265-282 18 p.

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

File
17 Downloads (Pure)

Design and implementation of digital communication systems for victim-offender mediation

van den Berg, L. I. S. A., Zebel, S., Stoelinga, M. I. A., Haverkort, B. R. H. M. & Giebels, E., 5 Sep 2016, SMART School on computational social and behavioral sciences. Paris: Laboratory of Excellence SMART, p. -

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

Development of a Smart Grid Simulation Environment

Delamare, J., Bitachon, B., Peng, Z., Wang, Y., Haverkort, B. R. H. M. & Jongerden, M. R., Nov 2015, Proceedings of the 29th and 30th Annual UK Performance Engineering Workshops (UKPEW 2014). Amsterdam: Elsevier, p. 19-29 11 p. (Electronic Notes in Theoretical Computer Science; vol. 318).

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

File
3 Citations (Scopus)
161 Downloads (Pure)

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Blom, S., Haverkort, B. R. H. M., Kuntz, G. W. M. & van de Pol, J. C., 3 Dec 2008, Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation. Černá, I. & Lüttgen, G. (eds.). Amsterdam: Elsevier, p. 35-50 16 p. 10.1016/j.entcs.2008.11.012. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 2).

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

File
9 Citations (Scopus)
70 Downloads (Pure)

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 29 Mar 2004, Tools and algorithms for the construction and analysis of systems. Jensen, K. & Podelski, A. (eds.). Berlin: Springer, p. 61-76

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

Efficiently Computing Latency Distributions by combined Performance Evaluation Techniques

van den Berg, F., Haverkort, B. R. H. M. & Hooman, J., Dec 2015, Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2015. Knottenbelt, W., Wolter, K., Busic, A., Gribaudo, M. & Reinecke, P. (eds.). Brussels, Belgium: Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, p. 158-163 6 p.

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

File
4 Citations (Scopus)
51 Downloads (Pure)

Efficient Solution of a Class of Infinite Stochastic Petri Nets: Theory and Applications

Haverkort, B. R. H. M., 13 Feb 1995, Proceedings of the International Computer Performance and Dependability Symposium, IEEE Computer Society Press. IEEE, p. 72-81

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

File
33 Downloads (Pure)

Energy Resilience Modeling for Smart Houses

Ghasemieh, H., Haverkort, B. R. H. M., Jongerden, M. R. & Remke, A. K. I., Jun 2015, Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015. USA: IEEE Computer Society, p. 275-286 12 p.

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

File
16 Citations (Scopus)
41 Downloads (Pure)

Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme

Ehren, S., Ludwig, N., Haverkort, B. & El Abdouni Khayari, R., 2001, Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik 2001. Buhl, H. U., Huther, A. & Reitweisner, B. (eds.). Heidelberg: Physica-Verlag, p. 503-516 14 p.

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

Open Access
File
19 Downloads (Pure)