Skip to contents

Benes, Nikola [Author]; Kretinsky, Jan [Author] ; Nikola Benes and Jan Kretinsky [Contributor]

Process Algebra for Modal Transition Systemses

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Schlachter, Uli [Author]; Wimmel, Harro [Author] ; Uli Schlachter and Harro Wimmel [Contributor]

k-Bounded Petri Net Synthesis from Modal Transition Systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Schlachter, Uli [Author] ; Uli Schlachter [Contributor]

Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Alrajeh, Dalal [Author]; Kramer, Jeff [Author]; Russo, Alessandra [Author]; Uchitel, Sebastian [Author] ; Dalal Alrajeh and Jeff Kramer and Alessandra Russo and Sebastian Uchitel [Contributor]

An Inductive Approach for Modal Transition System Refinement

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Lee, Matias David [Author]; de Vink, Erik P. [Author] ; Matias David Lee and Erik P. de Vink [Contributor]

Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Doberkat, Ernst-Erich [Author]; Kurz, Alexander [Author] ; Ernst-Erich Doberkat and Alexander Kurz [Contributor]

09502 Abstracts Collection – Coalgebraic Logics

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
van Glabbeek, Rob [Author] ; Rob van Glabbeek [Contributor]

Reactive Bisimulation Semantics for a Process Algebra with Time-Outs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Parrow, Joachim [Author]; Borgström, Johannes [Author]; Eriksson, Lars-Henrik [Author]; Gutkovas, Ramunas [Author]; Weber, Tjark [Author] ; Joachim Parrow and Johannes Borgström and Lars-Henrik Eriksson and Ramunas Gutkovas and Tjark Weber [Contributor]

Modal Logics for Nominal Transition Systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Jasper, Marc [Author] ; Steffen, Bernhard [Contributor]; Siegel, Stephen F. [Contributor]

Synthesizing realistic verification tasks

View online
Schließen

Links

http://hdl.handle.net/2003/40473

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eldorado - Repositorium der TU Dortmund, 2021-01-01
Jasper, Marc [Author] ; Steffen, Bernhard [Degree supervisor]; Siegel, Stephen F. [Other]

Synthesizing realistic verification tasks

View online
Schließen

Access

https://d-nb.info/1239417918/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dortmund: Universitätsbibliothek Dortmund, 2021
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří

Refinement checking on parametric modal transition systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2015

Published in: Acta Informatica
Xie, Zihao; Sun, Jiabao; Xie, Jin

Modal-Transition-Induced Valleys of K2 in Piezoelectric Bilayer Laterally Vibrating Resonators

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MDPI AG, 2023

Published in: Micromachines
Blanchini, Franco; Casagrande, Daniele; Miani, Stefano

Modal and transition dwell time computation in switching systems: A set-theoretic approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2010

Published in: Automatica
Darondeau, Philippe; Marchand, Hervé; Ricker, Laurie

Enforcing opacity of regular predicates on modal transition systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2015

Published in: Discrete Event Dynamic Systems
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří

EXPTIME-completeness of thorough refinement on modal transition systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2012

Published in: Information and Computation
Fecher, Harald [Author]; Huth, Michael [Author]

Complete abstraction through extensions of disjunctive modal transition systems

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:8:1-zs-00000129-a1

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MACAU: Open Access Repository of Kiel University, 2006
Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus

Weighted modal transition systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2013

Published in: Formal Methods in System Design
Joachim Parrow; Johannes Borgström; Lars-Henrik Eriksson; Ramūnas Forsberg Gutkovas; Tjark Weber

Modal Logics for Nominal Transition Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: Logical Methods in Computer Science
Bujtor, Ferenc; Vogler, Walter

Failure Semantics for Modal Transition Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2015

Published in: ACM Transactions on Embedded Computing Systems
Sibay, German Emir; Braberman, Victor; Uchitel, Sebastian; Kramer, Jeff

Synthesizing Modal Transition Systems from Triggered Scenarios

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2013

Published in: IEEE Transactions on Software Engineering

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication