Entwicklung korrekter Systeme
Sibylle Fröschle
| Anschrift: | Sibylle Fröschle Universität Oldenburg Fakultät II Department für Informatik 26111 Oldenburg |
|
| Raum: | A3 2-213 | |
| Telefon: | (0441) 798-3124 | |
| Fax: | (04 41) 798-2965 | |
| E-Mail: | Sibylle.Froeschle | |
Curriculum Vitae
| 1996 | MSc an der Universität Edinburgh |
| 12/1999 - 08/2004 | Research Associate an der Universität Edinburgh |
| 2004 | PhD an der Universität Edinburgh (Graduierung) |
| 09/2004 - 09/2006 | Research Fellow an der Universität Warschau |
| 11/2006 - 05/2007 | Research Visitor an der Universität Edinburgh |
| seit 05/2007 | Wissenschaftliche Mitarbeiterin an der Universität Oldenburg |
Publikationen
- [FL07]
-
Sibylle Fröschle and Slawomir Lasota.
Causality versus true-concurrency.
Theoretical Computer Science, 386(3):169-187, 2007.
[ bib ] - [Frö07]
-
Sibylle Fröschle.
The insecurity problem: tackling unbounded data.
In IEEE Computer Security Foundations Symposium 2007. IEEE
Computer Society, 2007.
[ bib | Abstract ] - [FLb]
-
Sibylle Fröschle and Slawomir Lasota.
Normed processes, unique decomposition, and complexity of
bisimulation equivalences.
In Proceedings of INFINITY'06, Electronic Notes in Theoretical
Computer Science. Elsevier.
To appear.
[ bib ] - [FLa]
-
Sibylle Fröschle and Slawomir Lasota.
Causality versus true-concurrency.
Theoretical Computer Science.
To appear.
[ bib ] - [Frö05b]
-
Sibylle Fröschle.
The decidability border of hereditary history preserving
bisimilarity.
Information Processing Letters, 93(6):289-293, 2005.
(c) Elsevier.
[ bib | .pdf ] - [Frö05a]
-
Sibylle Fröschle.
Composition and decomposition in true-concurrency.
In Proceedings of FOSSACS'05, volume 3441 of LNCS, pages
333-347. Springer-Verlag, 2005.
(c)
Springer-Verlag.
[ bib | .pdf | Abstract ] - [FL05b]
-
Sibylle Fröschle and Slawomir Lasota.
Decomposition and complexity of hereditary history preserving
bisimulation on BPP.
In Proceedings of CONCUR'05, volume 3656 of LNCS, pages
263-277. Springer-Verlag, 2005.
(c)
Springer-Verlag.
[ bib | .pdf | Abstract ] - [FL05a]
-
Sibylle Fröschle and Slawomir Lasota.
Causality versus true-concurrency.
In Proceedings of EXPRESS'05, Electronic Notes in Theoretical
Computer Science. Elsevier, 2005.
(c) Elsevier.
[ bib | .pdf | Abstract ] - [BF02]
-
Julian C. Bradfield and Sibylle Fröschle.
Independence-friendly modal logic and true concurrency.
Nordic Journal of Computing, (9):102-117, 2002.
[ bib ] - [BF01]
-
Julian C. Bradfield and Sibylle Fröschle.
On logical and concurrent equivalences.
In Proceedings of EXPRESS'01, volume 52 of Electronic
Notes in Theoretical Computer Science. Elsevier, 2001.
[ bib ] - [Frö99]
-
Sibylle Fröschle.
Decidability of plain and hereditary history-preserving bisimulation
for bpp.
In Proceedings of EXPRESS'99, volume 27 of Electronic
Notes in Theoretical Computer Science. Elsevier, 1999.
[ bib ] - [FH99]
-
Sibylle Fröschle and Thomas T. Hildebrandt.
On plain and hereditary history-preserving bisimulation.
In Proceedings of MFCS'99, volume 1672 of LNCS.
Springer-Verlag, 1999.
[ bib ]
Abschlussarbeiten
- [Frö04]
-
Sibylle Fröschle.
Decidability and Coincidence of Equivalences for Concurrency.
PhD thesis, University of Edinburgh, 2004.
[ bib | .pdf | Abstract ]