48 Infos zu Philipp Chrszon

1 Aktuelle Nachrichten

2 Profile in Sozialen Netzwerken

Publicly released extensions and snapshots of PRISM. The master branch mirrors the main repo; each extension/snapshot is in a separate branch/release

Semantic Scholar profile for Philipp Chrszon, with 16 highly influential citations and 9 scientific research papers.

5 Bücher zum Namen

This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016,...

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Kl ̈uppelholz, Steffen Märcker, and David M ̈uller. Advances in ...

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in...

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the...

1 Dokumente

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, and Christel. Baier. Family-based modeling and analysis for probabilistic systems– featuring profeat.

18 Wissenschaftliche Publikationen

11:20-11:40, Clemens Dubslaff, Philipp Chrszon, Christel Baier, Joachim Klein, Sascha Klüppelholz, Modeling Role-Based Systems with ...

List of computer science publications by Philipp Chrszon

Philipp Chrszon Büro Raum 3042Dresden Postanschrift TU Dresden, Fakultät Informatik, Dresden

Bibliographic content of SASO 2017

4 Allgemeine Veröffentlichungen

The concept of features provides an elegant way to specify families of systems. Given a base system, features encapsulate additional functionalities that can...

[doi] · Modeling Role-Based Systems with Exogenous CoordinationPhilipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein 0001, Sascha ...

Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz. Pages PDF · A Note on Reactive Transitions and Reo Connectors.

[7] Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein & Sascha Klüppelholz (2016): Modeling Role-Based Systems with ...

18 Webfunde aus dem Netz

Publications by 'Philipp Chrszon' ... Modeling Role-Based Systems with Exogenous CoordinationPhilipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim ...

... @inproceedings(DBLP:conf/birthday/ChrszonDB0K16, author = {Philipp Chrszon and Clemens Dubslaff and Christel Baier and Joachim Klein and Sascha ...

European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site

Autoren: Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller. Verlag: Springer ...

Semantic Scholar extracted view of

The concept of features provides an elegant way to specify families of systems. Given a base system, features encapsulate additional functionalities

[CDKB16] Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier. Family-Based Modeling and Analysis for Probabilistic Systems ...

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. Philipp Chrszon, M. Sc., · Advances in Symbolic ...

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took

Joachim Klein and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Klüppelholz and Steffen ...

AutorIn: Philipp Chrszon Technische Universität Dresden, Professur für Softwaretechnologie: Clemens DubslaffTechnische Universität ...

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat · Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier.

Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein & Sascha Klüppelholz (2016): Modeling Role-Based Systems with Exogenous Coordination.

... for Markov Decision Processes and Its Application to Self-Adaptive Systems; Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier.

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking" ...

... Analysis for Probabilistic Systems – Featuring ProFeat by Philipp Chrszon, Clemens Dubsla, Sascha Klüppelholz and Christel Baier (FASE) ...

ProFeat is mainly developed by Philipp Chrszon. You find more information about the tool and download options here. aMeSGee. This is a tool written in Java I ...

Lecture Notes in Computer Science , pp , Link, additional materials. Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens ...