IPA dissertation series
hasDerivative
Ins and outs in refusal testing / Alexander Wilhelmus HeerinkTowards probabilistic unification-based parsing / Hugo Wilfried Laurenz ter DoestAlgebras and automata for timed and stochastic systems / Pedro R. D'ArgenioAnalysing industrial protocols with formal methods / Judi Maria Tirza RomijnAdaptability of model transformations / Ivan Kurtev IvanovAnalysis and transformation of source code by parsing and rewriting / Jurgen Jordanus VinjuKey management and link-layer security of wireless sensor networks : energy-efficient attack and defense / Yee Wei LawVerifying OCL specifications of UML models : tool support and compositionality / Marcel KyasAn assertional proof system for multithreaded Java : theory and tool support / Erika ÁbrahámHybrid techniques for hybrid systems / Tomas KrilavičiusAt home in service discovery / Vasughi SundramoorthyA run-time reconfigurable network-on-chip for streaming DSP applications / Nikolay Krasimirov KavaldjievTheories for model-based testing: real-time and coverage / Laura Brandán BrionesImperfect information in software design processes / Johannnes Albertus Rudolf NoppenComponent-based configuration, integration and delivery / Tijs van der StormCryptology and statecraft in the Dutch Republic / Karl Maria Michael de LeeuwA framework for debugging heterogeneous applications : on bugs and trees / Pieter Antonius OlivierTechniques for understanding legacy software systems / Tobias KuipersChoice quantification in process algebra / Sebastiaan Pascal LuttikTo reuse or to be reused : techniques for component composition and construction / Merijn de JongeComposing constraint solvers / Peter ZoeteweijModels and logics for process algebra / Mark Bastiaan van der ZwaagEvolvable behavior specifications using context-sensitive wildcards / Gürcan GüleşirModel checking Markov chains : techniques and tools / Ivan S. ZapreevTesting reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger CalaméGraph-based software specification and verification / Hermannus KastenbergWireless sensor networks in motion : clustering algorithms for service discovery and provisioning / Raluca Sandra Marin-PerianuModels of natural computation : gene assembly and membrane systems / Robert BrijderArchitecting fault-tolerant software systems / Hasan SözerCryptographic keys from noisy data theory and applications / Ileana Roziala BuhanResource-based verification for robust composition of aspects / Pascal Eugène Alois DürrMEMS-based storage devices : integration in energy-constrained mobile systems / Mohammed Ghiath KhatibRevisiting anomaly-based network intrusion detection systems / Damiano BolzoniTuLip : reshaping trust management / Marcin Ryszard CzenkoDiagnosis, synthesis and analysis of probabilistic models / by Tingting HanStripline-based microfluidic devices for high-resolution NMR spectroscopy / Jacob BartFlexible access control for dynamic collaborative environments / Mari Antonius Cornelis DekkerModel checking nondeterministic and randomly timed systems / Martin Richard NeuhäußerFlexible access control for dynamic collaborative environments / Mari Antonius Cornelis DekkerGraph-based specification and verification for aspect-oriented languages / Tom Staijen
isPartOf
mainEntity
IPA dissertation series
author
description
Imprint varieert
inLanguage
isBasedOn
mainEntityOfPage
name
IPA dissertation series
publication
label
IPA dissertation series