Marvin Triebel

Research associate at the Theory of Programming chair
Participant at Graduate School SOAMED
Outstanding Paper Award at the 36th International Conference on Application and Theory of Petri Nets and Concurrency (2015)

	adress	Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin Germany
	office adress	Humboldt-Universität zu Berlin Institut für Informatik house IV, 1st floor, room 104 Rudower Chaussee 25 12489 Berlin Germany
	phone	+49 30-2093-3083
	fax	+49 30 2093-5484
	e-mail	triebel @ hu-berlin.de
	office hours	please contact

Publications

2016

Triebel, Marvin, Sürmeli, Jan
Homogeneous Equations of Algebraic Petri Nets
volume abs/1606.05490 of CoRR abs/1606.05490, 2016

@techreport{TriebelS16b, author = {Marvin Triebel and Jan S{\"{u}}rmeli}, title = {Homogeneous Equations of Algebraic Petri Nets}, journal = {CoRR}, volume = {abs/1606.05490}, year = {2016}, url = {http://arxiv.org/abs/1606.05490}, timestamp = {Fri, 01 Jul 2016 17:39:49 +0200} }
close
Triebel, Marvin, Sürmeli, Jan
Homogeneous Equations of Algebraic Petri Nets
In 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Qu\'ebec City, Canada, volume 59 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016

@inproceedings{TriebelS16a, author = {Marvin Triebel and Jan S{\"{u}}rmeli}, editor = {Jos{\'{e}}e Desharnais and Radha Jagadeesan}, title = {Homogeneous Equations of Algebraic Petri Nets}, booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'{e}}bec City, Canada}, series = {LIPIcs}, volume = {59}, pages = {14:1--14:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, year = {2016}, url = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.14}, doi = {10.4230/LIPIcs.CONCUR.2016.14}, timestamp = {Tue, 30 Aug 2016 15:28:48 +0200} }
close
Triebel, Marvin, Sürmeli, Jan
Characterizing Stable and Deriving Valid Inequalities of Petri Nets
volume 146 of Fundam. Inform. 146 (1), 2016

@article{DBLP:journals/fuin/TriebelS16, author = {Marvin Triebel and Jan S{\"{u}}rmeli}, title = {Characterizing Stable and Deriving Valid Inequalities of Petri Nets}, journal = {Fundam. Inform.}, volume = {146}, number = {1}, pages = {1--34}, year = {2016}, url = {http://dx.doi.org/10.3233/FI-2016-1374}, doi = {10.3233/FI-2016-1374}, timestamp = {Tue, 20 Sep 2016 12:02:08 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/TriebelS16}, bibsource = {dblp computer science bibliography, http://dblp.org} }
close

2015

Triebel, Marvin,
Characterizing Stable Inequalities of Petri Nets
In Application and Theory of Petri Nets and Concurrency, volume 9115 of Lecture Notes in Computer Science, Springer International Publishing, 2015

close
Triebel, Marvin
Stabile Ungleichungen in Petrinetzen
Diplomarbeit, jan 2015

@MastersThesis{Triebel_2015_da, author = {Marvin Triebel}, title = {Stabile Ungleichungen in Petrinetzen}, school = {Humboldt-Universit\"{a}t zu Berlin}, year = 2015, type = {Diplomarbeit}, month = jan, pdf = {http://www.informatik.hu-berlin.de/top/download/publications/Triebel2015DA.pdf} }
close

2013

Sürmeli, Jan, Triebel, Marvin
Cost-optimizing compositions of services - analysis and synthesis
Informatik-Berichte, Humboldt-Universität zu Berlin, 2013

@TECHREPORT{SuermeliT_TR_2013, author = {Jan S\"urmeli and Marvin Triebel}, title = {Cost-optimizing compositions of services - analysis and synthesis}, institution = {Humboldt-Universit\"at zu Berlin}, year = {2013}, type = {Informatik-Berichte}, number = {242}, url = {http://www2.informatik.hu-berlin.de/sam/preprint/suermeli242.pdf} }
close
Sürmeli, Jan, Triebel, Marvin
Synthesizing Cost-Minimal Partners for Services
In Service-Oriented Computing, volume 8274 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013

@inproceedings{DBLP:conf/icsoc/SurmeliT13, year={2013}, isbn={978-3-642-45004-4}, booktitle={Service-Oriented Computing}, volume={8274}, series={Lecture Notes in Computer Science}, editor={Basu, Samik and Pautasso, Cesare and Zhang, Liang and Fu, Xiang}, author = {Jan S{\"u}rmeli and Marvin Triebel}, title = {Synthesizing Cost-Minimal Partners for Services}, url={http://dx.doi.org/10.1007/978-3-642-45005-1_49}, publisher={Springer Berlin Heidelberg}, pages = {584-591} }
close

Teaching

Summer 2016: Seminar „Verifikation verteilter Systeme“
Summer 2018: Practice „Modellierung und Spezifikation“