89 Infos zu Juliane Päßler

1 Aktuelle Nachrichten

— Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth Tapia Tarifa, Einar Broch Johnsen. Self-adaptation is a crucial feature of — Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth Tapia Tarifa, Einar Broch Johnsen. Self-adaptation is a crucial feature of ...

9 Profile in Sozialen Netzwerken

› juliane-päßler

Juliane Päßler. Marie Skłodowska-Curie PhD Fellow at the University of Oslo. LSTS FEUP Westfälische Wilhelms-Universität Münster. Norge Juliane Päßler. Marie Skłodowska-Curie PhD Fellow at the University of Oslo. LSTS FEUP Westfälische Wilhelms-Universität Münster. Norge

1 Hobbys & Interessen

— A Formal Model of Metacontrol in Maude. Autoren: Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Carlos Hernández Corbato — A Formal Model of Metacontrol in Maude. Autoren: Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Carlos Hernández Corbato ...

2 Business-Profile

Juliane PÄSSLER | Cited by 5 | of University of Oslo, Oslo | Read 5 publications | Contact Juliane PÄSSLER. Juliane PÄSSLER | Cited by 5 | of University of Oslo, Oslo | Read 5 publications | Contact Juliane PÄSSLER.

Juliane Päßler · Esther Aguado · Gustavo Rezende Silva; [...] Einar Broch Johnsen. Nowadays smart applications appear in domains spanning from commodity ... › Carlos-Hernandez-Corbato-2

2 Firmen-Mitarbeiter

Juliane Päßler. Rezeption, Verwaltung. Sie ist das dienstjüngste Mitglied unserer Praxis und wurde beizeiten sowohl für die Patienten als auch für das gesamte ... Juliane Päßler. Rezeption, Verwaltung. Sie ist das dienstjüngste Mitglied unserer Praxis und wurde beizeiten sowohl für die Patienten als auch für das gesamte ...

Juliane Päßler / Esther Aguado / Gustavo Rezende Silva / Silvia Lizeth Tapia Tarifa / Carlos Hernández Corbato / Einar Broch Johnsen ...

7 Bücher zum Namen

Juliane Päßler. Tobias Pett. Ricardo Prudencio. Qusai Ramadan. Mathias Ramparison. Henrique Rebêlo. Tobias Runge. Lucas Sakizloglou. Arnaud Sangnier. Sota Sato. Juliane Päßler. Tobias Pett. Ricardo Prudencio. Qusai Ramadan. Mathias Ramparison. Henrique Rebêlo. Tobias Runge. Lucas Sakizloglou. Arnaud Sangnier. Sota Sato.

... Juliane Päßler. Tobias Pett. Ricardo Prudencio. Qusai Ramadan. Mathias Ramparison. Henrique Rebêlo. Tobias Runge. Lucas Sakizloglou. Arnaud Sangnier. Sota Sato Juliane Päßler. Tobias Pett. Ricardo Prudencio. Qusai Ramadan. Mathias Ramparison. Henrique Rebêlo. Tobias Runge. Lucas Sakizloglou. Arnaud Sangnier. Sota Sato.

von EB Johnsen · — Juliane Päßler. Tobias Pett. Ricardo Prudencio. Qusai Ramadan. Mathias Ramparison. Henrique Rebêlo. Tobias Runge. Lucas Sakizloglou. Arnaud Sangnier. › bitstream › handle

Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, and Einar Broch Johnsen ...

13 Dokumente

Formal Modelling and Analysis of a Self-Adaptive Robotic System. Authors:Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth Tapia ... Formal Modelling and Analysis of a Self-Adaptive Robotic System. Authors:Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth Tapia ...

Ongoing Juliane Päßler. Topic: Safety of Autonomous Underwater Robots. Ongoing Roxana Pop. Topic: AI with Structured Data. Ongoing Paul Kobialka. Topic: Smart ... Ongoing Juliane Päßler. Topic: Safety of Autonomous Underwater Robots. Ongoing Roxana Pop. Topic: AI with Structured Data. Ongoing Paul Kobialka. Topic: Smart ...

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. Authors:Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. Authors:Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S.

Juliane Päßler,. Tobias John Specification and Verification of parallel Systems. • Specification is tailored towards verification method. • What is ... Juliane Päßler,. Tobias John Specification and Verification of parallel Systems. • Specification is tailored towards verification method. • What is ...

9 Wissenschaftliche Publikationen

Juliane Päßler: "Forking and JSJ decompositions in the free group" mehr 11:00: Oberseminare und sonstige Vorträge Dominik Winkler (WWU Münster): Well ... Juliane Päßler: "Forking and JSJ decompositions in the free group" mehr 11:00: Oberseminare und sonstige Vorträge Dominik Winkler (WWU Münster): Well ...

— Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, — Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, ...

10:45 via Zoom: Oberseminare und sonstige Vorträge Juliane Päßler: "Forking and JSJ decompositions in the free group" mehr 11:00: Oberseminare und sonstige :45 via Zoom: Oberseminare und sonstige Vorträge Juliane Päßler: "Forking and JSJ decompositions in the free group" mehr 11:00: Oberseminare und sonstige ...

— https://dblp.org/rec/journals/corr/abs Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia — https://dblp.org/rec/journals/corr/abs Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia ...

8 Allgemeine Veröffentlichungen

— Juliane Päßler, VERANSTALTUNGEN 39. MARTIN-LUTHER. MARTIN LUTHER-KIRCHE KIRCHE. Gustav-Adolf

Juliane Päßler. Ingrid Yu. Tobias John. S. Lizeth Tapia Tarifa. Erik Voogd. Eduard Kamburjan. Collaboration. Semantic Technology Digital Twins. Contact. S. Juliane Päßler. Ingrid Yu. Tobias John. S. Lizeth Tapia Tarifa. Erik Voogd. Eduard Kamburjan. Collaboration. Semantic Technology Digital Twins. Contact. S.

Juliane Päßler, Esther Aguado,. Gustavo Rezende Silva, S. Lizeth Tapia Tarifa,. Carlos Hernández Corbato , and Einar Broch Johnsen. Page 2. MONDAY. October 24th. Juliane Päßler, Esther Aguado,. Gustavo Rezende Silva, S. Lizeth Tapia Tarifa,. Carlos Hernández Corbato , and Einar Broch Johnsen. Page 2. MONDAY. October 24th.

— ... Juliane Päßler · University of Oslo · Maurice ter Beek at Italian ... Juliane Päßler · Jeroen Zwanepol — ... Juliane Päßler · University of Oslo · Maurice ter Beek at Italian ... Juliane Päßler · Jeroen Zwanepol ...

3 Meinungen & Artikel

The first talk is from #iFM23 "Formal Modelling and Analysis of a Self-Adaptive Robotic System" by Juliane Päßler, Maurice H. ter Beek, ... The first talk is from #iFM23 "Formal Modelling and Analysis of a Self-Adaptive Robotic System" by Juliane Päßler, Maurice H. ter Beek, ...

Juliane Päßler talking about verification of self-adaptive control for underwater robots at @iFMconf @ItnRemaro. Juliane Päßler talking about verification of self-adaptive control for underwater robots at @iFMconf @ItnRemaro.

Great presentation of Juliane Päßler, a formal model of Metacontrol #ISoLA2022, #REMARO project. › status

34 Webfunde aus dem Netz

Juliane Päßler. PhD Student in Computer Science, University of Oslo. Verified email at uio.no. ArticlesCited byPublic accessCo-authors. Title. Juliane Päßler. PhD Student in Computer Science, University of Oslo. Verified email at uio.no. ArticlesCited byPublic accessCo-authors. Title.

A Formal Model of Metacontrol in Maude. Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa*, Carlos Hernández Corbato, Einar ... A Formal Model of Metacontrol in Maude. Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa*, Carlos Hernández Corbato, Einar ...

SilvaJuliane Päßler +5 authors C. H. Corbato. Environmental Science, Engineering. International Symposium on Software Engineering… TLDR. SUAVE is ... SilvaJuliane Päßler +5 authors C. H. Corbato. Environmental Science, Engineering. International Symposium on Software Engineering… TLDR. SUAVE is ...

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth Tapia Tarifa, Einar Broch Johnsen. Jan cs.LO, cs.RO, cs.SE. Self-adaptation is a ... Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth Tapia Tarifa, Einar Broch Johnsen. Jan cs.LO, cs.RO, cs.SE. Self-adaptation is a ...

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa and Einar Broch Johnsen; CAN-verify: Verification Tool for BDI Agents (iFM ... Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa and Einar Broch Johnsen; CAN-verify: Verification Tool for BDI Agents (iFM ...

Formal Modelling and Analysis of a Self-Adaptive Robotic System :47:40. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth ... Formal Modelling and Analysis of a Self-Adaptive Robotic System :47:40. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, S. Lizeth ...

Creators. Juliane Päßler · ORCID icon · Maurice H. ter Beek · ORCID icon · Ferruccio Damiani · ORCID icon · S. Lizeth Tapia Tarifa · ORCID icon · Einar Broch ... Creators. Juliane Päßler · ORCID icon · Maurice H. ter Beek · ORCID icon · Ferruccio Damiani · ORCID icon · S. Lizeth Tapia Tarifa · ORCID icon · Einar Broch ...

verfasst von : Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. Mehr anzeigen. Erschienen in ... verfasst von : Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. Mehr anzeigen. Erschienen in ...

Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández ... Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández ...

A Formal Model of Metacontrol in Maude. Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar ... A Formal Model of Metacontrol in Maude. Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar ...

Juliane Päßler (University of Oslo, Norway). 13: :20, Exploring the Architecture and Development Process of Open-Source ML-Enabled Software Systems. Juliane Päßler (University of Oslo, Norway). 13: :20, Exploring the Architecture and Development Process of Open-Source ML-Enabled Software Systems.

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa and Einar Broch Johnsen; CAN-verify: Verification Tool for BDI Agents Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa and Einar Broch Johnsen; CAN-verify: Verification Tool for BDI Agents

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. 16 Mar · Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. Lizeth ... SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. 16 Mar · Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. Lizeth ...

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. Lizeth ... SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, S. Lizeth ...

The paper is accompanied by a tool that implements realisability checks and synthesises realisations. [13], Juliane Päßler, Maurice H. ter Beek, Ferruccio ... The paper is accompanied by a tool that implements realisability checks and synthesises realisations. [13], Juliane Päßler, Maurice H. ter Beek, Ferruccio ...

... Juliane Päßler (University of Oslo, Norway), Jeroen Zwanepol (Technical University of Delft, The Netherlands), Elvin Alberts (Vrije Universiteit Amsterdam Juliane Päßler (University of Oslo, Norway), Jeroen Zwanepol (Technical University of Delft, The Netherlands), Elvin Alberts (Vrije Universiteit Amsterdam ...

— SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles · G. R. SilvaJuliane Päßler +5 authors C. H. Corbato. Environmental Science — SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles · G. R. SilvaJuliane Päßler +5 authors C. H. Corbato. Environmental Science ...

— Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. Mehr anzeigen. CAN-verify: A — Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. Mehr anzeigen. CAN-verify: A ...

WebSusanne Dugas-Breit, Juliane Päßler, Claudia Hentschel und Für solch ein tolles Engage- Rudolf Eschner für ihren teilwei- ment gebührt allen ein herzli- se jahrzehntelangen …

... Celin Heermann, Anna Bohner, Charlotte Möhring, Valeriya Göbel, Melina Kleine, Cosima Rieffenberg, Charl Reinhold, Juliane Päßler, Lisa Marie Fuhr, ... › doc › dm-bestenliste