Cluster of Excellence Multimodal Computing and Interaction

Cluster of Excellence Multimodal Computing and Interaction

UserLogin

|

News

04.03.13

Movie heroes are soon to be transferred to virtual worlds more easily and realistically

Hollywood devotes great effort to chasing monsters through realistic-looking environments. Researchers at the Max Planck Institute for Informatics in Saarbrücken have now developed a technology that greatly simplifies the production of such scenes. Actors' movements are captured with a few cameras in a real scene and then transferred extremely realistically to virtual characters. This will not only simplify the work of cartoon makers, but also assist doctors and sportsmen with motion analysis. The new technology will soon be marketed by a newly-established business and presented at the computer trade show CeBIT in Hanover from March 5 to March 9 in Hall 9, Stand F34.

read more >>

04.03.13

Automatic test procedures for apps on smart phones and tablets

For many so-called apps, developers and companies have not adequately ensured that the mini-programs are actually working the way they should. Therefore, computer scientists at Saarland University developed software which tests apps for the Android operating system automatically. From March 5th at the computer expo Cebit in Hannover, the researchers will present how they discover failures even in popular and widespread apps by using their method. A robot arm will click itself through arbitrary apps to find their failures (hall 9, booth F34).

read more >>

Partners

Prof. Dr. Verena Wolf

Verena Wolf has been head of the Independent Research Group ALMA - Analysis of Markovian Models since March 2009.

Short CV

Verena Wolf studied computer science at the University of Bonn, where she received her Diploma in Computer Science in 2003. She obtained her doctoral degree in Computer Science from the University of Mannheim in April 2008.

From January 2008 until March 2009, she was a postdoctoral researcher at École Polytechnique Fédérale de Lausanne (EPFL), Switzerland. Since March 2009, she has been a member of of the Cluster of Excellence at Saarland University and head of the independent research group ALMA - Analysis of Markovian Models.

Research interests

Her current research interests include stochastic modeling for systems biology, approximations of structured infinite Markov chains, and abstraction techniques for Markov models.

Contact

Prof. Dr. Verena Wolf

Prof. Dr. Verena Wolf

Saarland University
Cluster of Excellence
Multimodal Computing and Interaction

Campus E1 3, Room 303
66123 Saarbrücken

Fon: +49 681 302-5586

Publications

Linar Mikeev and Verena Wolf Parameter estimation for stochastic hybrid models of biochemical reaction networks In: HSCC, 2012
Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf Three-valued abstraction for probabilistic systems In: J. Log. Algebr. Program., 2012
Aleksander Andreychenko and Linar Mikeev and David Spieler and Verena Wolf Approximate maximum likelihood estimation for stochastic chemical kinetics In: EURASIP J. Bioinformatics and Systems Biology, 2012
Alessio Angius and András Horváth and Verena Wolf Quasi Product Form Approximation for Markov Models of Reaction Networks In: T. Comp. Sys. Biology, 2012
Dayar, T. and Sandmann, W. and Spieler, D. and Wolf, V. Infinite Level Dependent QBDs and Matrix Analytic Solutions for Stochastic Chemical Kinetics In: Advances in Applied Probability, 2011
Dayar, T. and Hermanns, H. and Spieler, D. and Wolf, V Bounding the Equilibrium Distribution of Markov Population Models. In: Numerical Linear Algebra with Applications, 2011
L. Mikeev and W. Sandmann and V. Wolf Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks In: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'11), 2011
M. Lapin and L. Mikeev and V. Wolf SHAVE - Stochastic Hybrid Analysis of Markov Population Models In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC'11), 2011
T. A. Henzinger and B. Jobstmann and V. Wolf Formalisms for Specifying Markovian Population Models In: Journal of Foundations of Computer Science, 2011
A. Andreychenko and L. Mikeev and D. Spieler and V. Wolf Parameter Identification for Markov Models of Biochemical Reactions In: CAV, 2011
T. A. Henzinger and B. Jobstmann and V. Wolf Formalisms for Specifying Markovian Population Models In: Int. J. Found. Comput. Sci., 2011
F. Didier and T. A. Henzinger and M. Mateescu and V. Wolf Approximation of event probabilities in noisy cellular processes In: Theor. Comput. Sci., 2011
Aleksander Andreychenko and Linar Mikeev and David Spieler and Verena Wolf Parameter Identification for Markov Models of Biochemical Reactions In: CoRR, 2011
Maksim Lapin and Linar Mikeev and Verena Wolf SHAVE: stochastic hybrid analysis of markov population models In: HSCC, 2011
T. Dayar and L. Mikeev and V. Wolf On the Numerical Analysis of Stochastic Lotka-Volterra Models In: IMCSIT, 2010
T. Dayar and L. Mikeev and V. Wolf On the Numerical Analysis of Stochastic Lotka-Volterra Models In: Proceedings of the Workshop on Computer Aspects of Numerical Algorithms (CANA'10), 2010
T. Dayar and H. Hermanns and D. Spieler and V. Wolf Bounding the Equilibrium Distribution of Markov Population Models In: Proceedings of the International Workshop on the Numerical Solution of Markov Chains (NSMC'10), 2010
V. Wolf and R. Goel and M. Mateescu and T. A. Henzinger Solving the Chemical Master Equation Using Sliding Windows In: BMC Systems Biology Journal, 2010
M. Mateescu and V. Wolf and F. Didier and T. A. Henzinger Fast Adaptive Uniformisation of the Chemical Master Equation. In: IET Systems Biology Journal, 2010
T. A. Henzinger and L. Mikeev and M. Mateescu and V. Wolf Hybrid numerical solution of the chemical master equation In: CMSB, 2010
F. Didier and T. A. Henzinger and M. Mateescu and V. Wolf SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks In: QEST, 2010
Thomas A. Henzinger and Maria Mateescu and Linar Mikeev and Verena Wolf Hybrid Numerical Solution of the Chemical Master Equation In: CoRR, 2010
Frédéric Didier and Thomas A. Henzinger and Maria Mateescu and Verena Wolf SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks In: CoRR, 2010
Aleksander Andreychenko and Pepijn Crouzen and Verena Wolf On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models In: CoRR, 2010
T. A. Henzinger and M. Mateescu and V. Wolf Sliding Window Abstraction for Infinite Markov Chains In: CAV, 2009
T. Henzinger and M. Mateescu and V. Wolf Sliding Window Abstraction for Infinite Markov Chains In: Proceedings of the 21st International Conference on Computer Aided Verification (CAV'09), 2009
F. Didier and T. A. Henzinger and M. Mateescu and V. Wolf Approximation of Event Probabilities in Noisy Cellular Processes In: Proceedings of the 7th International Conference on Computational Methods in Systems Biology (CMSB'09), 2009
F. Didier and T. A. Henzinger and M. Mateescu and V. Wolf Fast Adaptive Uniformization of the Chemical Master Equation In: Proceedings of the High Performance Computational Systems Biology Workshop (HIBI'09), 2009
F. Didier and T. A. Henzinger and M. Mateescu and V. Wolf Approximation of Event Probabilities in Noisy Cellular Processes In: CMSB, 2009
T. A. Henzinger and B. Jobstmann and V. Wolf Formalisms for Specifying Markovian Population Models In: RP, 2009
W. Sandmann and V. Wolf Computational Probability for Systems Biology In: FMSB, 2008
J.-P. Katoen and D. Klink and M. Leucker and V. Wolf Abstraction for Stochastic Systems by Erlang`s Method of Stages In: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), 2008
W. Sandmann and V. Wolf Computational Probability for Systems Biology In: Proceedings of the International Workshop on Formal Methods in Systems Biology (FMSB'08), 2008
V. Wolf Equivalences on Phase Type Processes In: 2008
J.-P. Katoen and D. Klink and M. Leucker and V. Wolf Abstraction for Stochastic Systems by Erlang's Method of Stages In: CONCUR, 2008
M. E. Majster-Cederbaum and N. Semmelrock and V. Wolf Interaction Models for Biochemical Reactions In: BIOCOMP, 2007
J.-P. Katoen and D. Klink and M. Leucker and V. Wolf Three-Valued Abstraction for Continuous-Time Markov Chains In: CAV, 2007
V. Wolf Modelling of Biochemical Reactions by Stochastic Automata Networks In: Electr. Notes Theor. Comput. Sci., 2007
M. E. Majster-Cederbaum and N. Semmelrock and V. Wolf Interaction Models for Biochemical Reactions In: Proceedings of the International Conference on Bioinformatics and Computational Biology (BIOCOMP'07), 2007
J.-P. Katoen and D. Klink and M. Leucker and V. Wolf Three-Valued Abstraction for Continuous-Time Markov Chains In: Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07), 2007
V. Wolf Modelling of Biochemical Reactions by Stochastic Automata Networks In: Proceedings of the International Workshop on Membrane Computing and Biologically Inspired Process Calculi (MecBic'06), 2007
H. Busch and W. Sandmann and V. Wolf A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion In: CMSB, 2006
C. Baier and V. Wolf Stochastic Reasoning About Channel-Based Component Connectors In: COORDINATION, 2006
H. Fecher and M. Leucker and V. Wolf Don't Know in Probabilistic Systems In: SPIN, 2006
V. Wolf and C. Baier and M. E. Majster-Cederbaum Trace Machines for Observing Continuous-Time Markov Chains In: Electr. Notes Theor. Comput. Sci., 2006
C. Baier and H. Hermanns and J.-P. Katoen and V. Wolf Bisimulation and Simulation Relations for Markov Chains In: Electr. Notes Theor. Comput. Sci., 2006
V. Wolf and C. Baier and M. E. Majster-Cederbaum Trace Semantics for Stochastic Systems with Nondeterminism In: Electr. Notes Theor. Comput. Sci., 2006
V. Wolf and C. Baier and M. E. Majster-Cederbaum Trace Semantics for Stochastic Systems with Nondeterminism In: Proceedings of the International Workshop on Quantitative Aspects of Programming Languages (QAPL'06), 2006
C. Baier and H. Hermanns and J.-P. Katoen and V. Wolf Bisimulation and Simulation Relations for Markov Chains In: Proceedings of the Workshop Essays on Algebraic Process Calculi (ACP'06), 2006
H. Busch and W. Sandmann and V. Wolf A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion In: Proceedings of the 4th International Conference on Computational Methods in Systems Biology (CMSB'06), 2006
C. Baier and V. Wolf Stochastic Reasoning About Channel-based Component Connectors In: Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION'06), 2006
H. Fecher and M. Leucker and V. Wolf Don't know in probabilistic systems In: Proceedings of 13th International SPIN Workshop on Model Checking of Software (SPIN'06), 2006
C. Baier and J.-P. Katoen and H. Hermanns and V. Wolf Comparative branching-time semantics for Markov chains In: Inf. Comput., 2005
V. Wolf Testing Theory for Probabilistic Systems In: Model-Based Testing of Reactive Systems, 2005
V. Wolf Testing Theory for Probabilistic Systems In: Model-Based Testing of Reactive Systems, 2004
V. Wolf and C. Baier and M. Majster-Cederbaum Trace machines for observing continuous-time Markov chains In: Proceedings of the International Workshop on Quantitative Aspects of Programming Languages (QAPL'04), 2004
C. Baier and H. Hermanns and J.-P. Katoen and V. Wolf Comparative Branching-Time Semantics In: CONCUR, 2003
C. Baier and J.-P. Katoen and H. Hermanns and V. Wolf Comparative Branching Time Semantics for Markov Chains In: Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003
V. Wolf Bisimulation und Simulation für Markovmodelle In: 2003

Affiliation

Saarland University

Center for Bioinformatics

Cluster of Excellence