| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marijn R. Jongerden, Boudewijn R. Haverkort |
Lifetime Improvement by Battery Scheduling.  |
MMB/DFT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort |
Simulative and Analytical Evaluation for ASD-Based Embedded Software. |
MMB/DFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen |
Time-bounded reachability in tree-structured QBDs by abstraction. |
Perform. Eval. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort |
Mean-field framework for performance evaluation of push-pull gossip protocols. |
Perform. Eval. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivana Cerná, Boudewijn R. Haverkort |
Parallel and Distributed Methods in Verification. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort |
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort |
An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks. |
WWIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn R. Haverkort |
Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study. |
EPEW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen |
Computing Optimal Schedules for battery Usage in Embedded Systems. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort |
A Massively Scalable Architecture For Instant Messaging & Presence. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performance evaluation and model checking join forces. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Performability assessment by model checking of Markov reward models. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Miliche, Maurits de Graaf, Gerard Hoekstra, Marijn R. Jongerden, Boudewijn R. Haverkort |
A First Experimental Investigation of the Practical Efficiency of Battery Scheduling. |
ARCS Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga |
Evaluating repair strategies for a water-treatment facility using Arcade. |
DSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort |
Automating the Mean-Field Method for Large Dynamic Gossip Networks. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort |
Rare Event Simulation for Highly Dependable Systems with Fast Repairs. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen |
Quantitative Verification in Practice. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Jesper Bax |
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. |
MMB/DFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn R. Jongerden, Boudewijn R. Haverkort |
Which battery model to use? |
IET Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen |
Maximizing system lifetime by battery scheduling. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort |
Adaptive resource control in 2-hop ad-hoc networks. |
ICUMT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort |
Time - It's time for a change. |
MASCOTS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen |
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Applications, Abstraction, Probabilistic model checking, Infinite-state systems |
| 1 | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort |
Mean-Field Analysis for the Evaluation of Gossip Protocols. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
gossip protocols, mean-field approximation |
| 1 | Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk |
A Centralized Feedback Control Model for Resource Management in Wireless Networks. |
Praxis der Informationsverarbeitung und Kommunikation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol |
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivana Cerná, Boudewijn R. Haverkort |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen |
Quantitative analysis of gossiping protocols. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort |
MeanField analysis for the evaluation of gossip protocols. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth |
Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. |
ASMTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramin Sadre, Boudewijn R. Haverkort |
Changes in the Web from 2000 to 2007. |
DSOM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga |
Architectural dependability evaluation with Arcade. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Remke, Boudewijn R. Haverkort |
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Cloth, Boudewijn R. Haverkort |
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Reachability in continuous-time Markov reward decision processes. |
Logic and Automata |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lucia Cloth, Boudewijn R. Haverkort |
The Performability Tool P'ility. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk |
A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga |
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort |
Performance and Dependability Evaluation: Successes, Failures and Challenges. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
security, performance evaluation, model checking, verification, scalability, Markov chains, Dependability evaluation |
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Markov Chains with Actions and State Labels. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
model checking, Markov processes, automata, Protocol verification, performance of systems |
| 1 | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |
CSL model checking algorithms for QBDs. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicky D. van Foreest, Boudewijn R. Haverkort, Michel Mandjes, Werner R. W. Scheinhardt |
Versatile stochastic models for networks with asymmetric TCP sources. |
Perform. Eval. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort |
Formal analysis techniques for gossiping protocols. |
Operating Systems Review |
2007 |
DBLP DOI BibTeX RDF |
survey, gossiping protocols, verification techniques |
| 1 | Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort |
Computing Battery Lifetime Distributions. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Remke, Boudewijn R. Haverkort |
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (eds.) |
Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers |
FMICS/PDMC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele (eds.) |
Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007 |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele |
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele |
07101 Executive Summary -- Quantitative Aspects of Embedded Systems. |
Quantitative Aspects of Embedded Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Patrick Goering, Geert J. Heijenk, Boudewijn R. Haverkort, Robbert Haarman |
The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Boudewijn R. Haverkort |
Faster SPDL Model Checking Through Property-Driven State Space Generation. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bell, Boudewijn R. Haverkort |
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt |
A Fixed-Point Algorithm for Closed Queueing Networks. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo |
Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. |
IEEE Trans. Dependable Sec. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bell, Boudewijn R. Haverkort |
Distributed disk-based algorithms for model checking very large Markov chains. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Disk-based algorithms, CSL model checking, Distributed algorithms, Markov chains, State-space generation, Matrix-vector product |
| 1 | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger Kalden, Boudewijn R. Haverkort |
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose M. Martinez, Boudewijn R. Haverkort |
MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
DSPNs, CSL, model checking, Markov process, Markov regenerative process |
| 1 | José Martínez, Boudewijn R. Haverkort |
CSL model checking of Deterministic and Stochastic Petri Nets. |
MMB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort |
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bell, Boudewijn R. Haverkort |
Sequential and distributed model checking of Petri nets. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model checking meets performance evaluation. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen |
Performance and verification. |
SIGMETRICS Performance Evaluation Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |
Model Checking Infinite-State Markov Chains. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Cloth, Boudewijn R. Haverkort |
Model Checking for Survivability. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort, Alexander Ost |
The pseudo-self-similar traffic model: application and validation. |
Perform. Eval. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.) |
Validation of Stochastic Systems - A Guide to Current Research |
Validation of Stochastic Systems |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
Model Checking Action- and State-Labelled Markov Chains. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model-Checking Algorithms for Continuous-Time Markov Chains. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping |
| 1 | Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort |
Fitting world-wide web request traces with the EM-algorithm. |
Perform. Eval. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Rachid El Abdouni Khayari, Ramin Sadre |
A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies. |
Computer Performance Evaluation / TOOLS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort |
Introduction to the Special Section on Petri Nets and Performance Models. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bell, Boudewijn R. Haverkort |
Sequential and Distributed Model Checking of Petri Net Specifications. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
Simulation for Continuous-Time Markov Chains. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter |
Enabling Network Caching of Dynamic Web Objects. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort |
A Validation of the Pseudo Self-Similar Traffic Model. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |
Model Checking Performability Properties. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Automated Performance and Dependability Evaluation Using Model Checking. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Boudewijn R. Haverkort |
The Mean Value of the Maximum. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Rick Harper |
Performance and dependability techniques and tools. |
Perform. Eval. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Ehren, Norbert Ludwig, Boudewijn R. Haverkort, Rachid El Abdouni Khayari |
Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme. |
Wirtschaftsinformatik |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort |
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort (eds.) |
Proceedings 11th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB 2001), September 11-14, 2001, Aachen, Germany |
MMB |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ramin Sadre, Boudewijn R. Haverkort |
Flows in Networks of MAP/MAP/1 Queues. |
MMB |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marko Schuba, Boudewijn R. Haverkort, Gaby Schneider |
Performance evaluation of multicast communication in packet-switched networks. |
Perform. Eval. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramin Sadre, Boudewijn R. Haverkort |
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.) |
Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
On the Logical Characterisation of Performability Properties. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort |
Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
On the Use of Model Checking Techniques for Dependability Evaluation. (PDF / PS) |
SRDS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model Checking Continuous-Time Markov Chains by Transient Analysis. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort |
Markovian Models for Performance and Dependability Evaluation. |
European Educational Forum: School on Formal Methods and Performance Analysis |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Hessel P. Idzenga |
Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch. |
Application of Petri Nets to Communication Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort |
Performance Evaluation of Polling-Based Communication Systems Using SPNs. |
Application of Petri Nets to Communication Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramin Sadre, Boudewijn R. Haverkort |
FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations. |
MMB (Kurzvorträge) |
1999 |
DBLP BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Boudewijn R. Haverkort |
Semi-numerical Solution of Stochastic Process Algebra Models. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Ost, Boudewijn R. Haverkort |
Analysis of windowing mechanisms with infinite-state stochastic Petri nets. |
SIGMETRICS Performance Evaluation Review |
1998 |
DBLP DOI BibTeX RDF |
window flow control, congestion control, stochastic Petri nets, matrix-geometric methods |
| 1 | Boudewijn R. Haverkort |
Performance of computer communication systems - a model-based approach. |
|
1998 |
RDF |
|
| 1 | Gaby Schneider, Marko Schuba, Boudewijn R. Haverkort |
QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams. |
Computer Performance Evaluation (Tools) |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")