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
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)
75 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
84 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)
1056 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)
38 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)