fecher.bib
@INPROCEEDINGS{FecherHPW:bib:08:qest,
AUTHOR = {Harald Fecher and Michael Huth and
Nir Piterman and Daniel Wagner},
TITLE = {Hintikka Games for PCTL on Labeled Markov Chains.},
BOOKTITLE = {QEST},
YEAR = {2008},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher08qest.pdf},
NOTE = {accepted for publication.}
}
@INPROCEEDINGS{FecherS:bib:2008:spin,
AUTHOR = {Harald Fecher and Sharon Shoham},
TITLE = {State focusing: Lazy abstraction for the mu-calculus},
YEAR = {2008},
BOOKTITLE = {SPIN},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
VOLUME = {5156},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher08spin.pdf},
PAGES = {95-113},
NOTE = {Copyright hold by Springer-Verlag}
}
@INPROCEEDINGS{FecherH:bib:2008:vmcai,
AUTHOR = {Harald Fecher and
Michael Huth},
TITLE = {Model checking for action abstraction.},
BOOKTITLE = {VMCAI},
YEAR = {2008},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
PAGES = {112-126},
VOLUME = {4905},
NOTE = {Copyright hold by Springer-Verlag},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher08vmcai.pdf}
}
@ARTICLE{FecherS:bib:2008:CDMTSO,
AUTHOR = {Harald Fecher and Heiko Schmidt},
TITLE = {Comparing Disjunctive Modal Transition Systems with an
One-Selecting Variant},
JOURNAL = {Journal of Logic and Algebraic Programming},
PAGES = {20-39},
VOLUME = {77},
YEAR = {2008},
URL = {http://dx.doi.org/10.1016/j.jlap.2008.05.003},
NOTE = {Preliminary version: http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher07CDMTSO.pdf}
}
@INPROCEEDINGS{FecherHSS:bib:07:avocs,
AUTHOR = {Harald Fecher and Michael Huth and
Heiko Schmidt and Jens Sch{\"o}nborn},
TITLE = {Refinement sensitive formal semantics of state machines with
persistent choice.},
BOOKTITLE = {AVoCS},
YEAR = {2007},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher07avocs-Proc.pdf}
}
@INPROCEEDINGS{FecherG:bib:2007:nwpt,
AUTHOR = {Harald Fecher and Heiko Schmidt and Jens Sch{\"o}nborn},
TITLE = {UML state machines: Fairness Conditions specify the Event Pool (extended abstract).},
BOOKTITLE = {Nordic Workshop on Programming Theory},
YEAR = {2007},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher07nwpt.pdf}
}
@TALK{Fecher:bib:2007:CopenhagenTalk,
AUTHOR = {Harald Fecher},
TITLE = {Applications for variants of modal transition systems},
YEAR = {2007},
NOTE = {Talk at the Copenhagen Meeting on Modal Transition Systems.},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher07TalkCopenhagen.pdf}
}
@INPROCEEDINGS{FecherS:bib:2007:spin,
AUTHOR = {Harald Fecher and Sharon Shoham},
TITLE = {Local abstraction-refinement for the mu-calculus},
YEAR = {2007},
BOOKTITLE = {SPIN},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
VOLUME = {4595},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher07spin.pdf},
PAGES = {4-23},
NOTE = {Copyright hold by Springer-Verlag}
}
@INPROCEEDINGS{FecherS:bib:2007:sos,
AUTHOR = {Harald Fecher and
Heiko Schmidt},
TITLE = {Process Algebra Having Inherent Choice:
Revised Semantics for Concurrent Systems.},
BOOKTITLE = {SOS},
YEAR = {2007},
PAGES = {45-60},
SERIES = {Electr. Notes Theor. Comput. Sci.},
VOLUME = {192},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher07sos.pdf}
}
@INPROCEEDINGS{FecherG:bib:2007:fsen,
AUTHOR = {Harald Fecher and
Immo Grabe},
TITLE = {Finite Abstract Models for Deterministic Transition Systems:
Fair Parallel Composition and Refinement-Preserving Logic.},
BOOKTITLE = {FSEN},
YEAR = {2007},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher07fsen.pdf},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
PAGES = {1-16},
VOLUME = {4767}
}
@INPROCEEDINGS{FecherH:bib:2007:vmcai,
AUTHOR = {Harald Fecher and
Michael Huth},
TITLE = {More precise partition abstraction.},
BOOKTITLE = {VMCAI},
YEAR = {2007},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher07vmcai.pdf},
PAGES = {167-181},
VOLUME = {4349},
NOTE = {Copyright hold by Springer-Verlag}
}
@INPROCEEDINGS{FecherS:bib:2007:lncs4346,
AUTHOR = {Harald Fecher and
Jens Sch{\"o}nborn},
TITLE = {{UML} 2.0 State Machines: Complete Formal Semantics via Core State Machines.},
BOOKTITLE = {FMICS and PDMC},
YEAR = {2006},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher06fmics.pdf},
PAGES = {244-260},
VOLUME = {4346},
NOTE = {Copyright hold by Springer-Verlag}
}
@INPROCEEDINGS{FecherH:bib:2006:atva,
AUTHOR = {Harald Fecher and
Michael Huth},
TITLE = {Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.},
BOOKTITLE = {ATVA},
YEAR = {2006},
SERIES = {Lecture Notes in Computer Science},
PAGES = {322-336},
PUBLISHER = {Springer},
VOLUME = {4218},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher06atva.pdf},
NOTE = {Copyright hold by Springer-Verlag}
}
@ARTICLE{FecherM:bib:2006:ARLD,
AUTHOR = {Harald Fecher and Mila Majster-Cederbaum},
TITLE = {Action Refinement Applied to Late Decisions},
JOURNAL = {Formal Aspects of Computing},
PAGES = {211-230},
VOLUME = {18},
NUMBER = {2},
YEAR = {2006},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher06FAC.pdf},
NOTE = {The original publication is available at www.springerlink.com}
}
@INPROCEEDINGS{FecherLW:bib:2006:lncs3925,
AUTHOR = {Harald Fecher and Martin Leucker and Verena Wolf},
TITLE = {Don't Know in Probabilistic Systems},
BOOKTITLE = {SPIN},
YEAR = {2006},
PAGES = {71-88},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {3925},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher06spin.pdf},
NOTE = {Copyright hold by Springer-Verlag}
}
@INPROCEEDINGS{FecherKRB:bib:05:SOS,
AUTHOR = {Harald Fecher and Marcel Kyas and Willem-Paul de
Roever and Frank S. de Boer},
TITLE = {Compositional Operational Semantics of a {UML}-Kernel-Model Language},
BOOKTITLE = {SOS'05},
SERIES = {Electronic Notes in Theoretical Computer Science},
PUBLISHER = {Elsevier Science Publishers},
PAGES = {79-96},
VOLUME = {156},
YEAR = {2006},
ISSUE = {3},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher05sos.pdf}
}
@TECHREPORT{FecherH:bib:2006:techCADMTS,
AUTHOR = {Harald Fecher and Michael Huth},
TITLE = {Complete abstraction through extensions of disjunctive
modal transition systems},
INSTITUTION = {Christian-Albrechts-Universit{\"{a}}t zu Kiel},
NUMBER = {0604},
YEAR = {2006},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher06tech0604.pdf}
}
@ARTICLE{FecherM:2005:bib:ESD,
AUTHOR = {Harald Fecher and Mila Majster-Cederbaum},
TITLE = {Event Structures for Arbitrary Disruption},
JOURNAL = {Fundamenta Informaticae},
PAGES = {103--130},
VOLUME = {68},
NUMBER = {1,2},
PUBLISHER = {IOS Press},
YEAR = {2005},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher05FI.pdf}
}
@INPROCEEDINGS{FecherKS:bib:2005:lncs3785,
AUTHOR = {Harald Fecher and
Jens Sch{\"o}nborn and
Marcel Kyas and
Willem P. de Roever},
TITLE = {29 New Unclarities in the Semantics of {UML} 2.0 State Machines.},
BOOKTITLE = {ICFEM},
YEAR = {2005},
PAGES = {52--65},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {3785},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher05icfem.pdf},
NOTE = {Copyright hold by Springer-Verlag}
}
@TECHREPORT{FecherKS:bib:2005:techSISM,
AUTHOR = {Harald Fecher and Marcel Kyas and Jens
Sch{\"{o}}nborn},
TITLE = {Semantic Issues in {UML} 2.0 State Machines},
INSTITUTION = {Christian-Albrechts-Universit{\"{a}}t zu Kiel},
NUMBER = {0507},
YEAR = {2005},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher05tech0507.pdf}
}
@INPROCEEDINGS{Fecher:bib:05:TLIB,
AUTHOR = {Harald Fecher},
TITLE = {True Concurrent Logic via In-Between Specification},
BOOKTITLE = {AVoCS'04},
SERIES = {Electronic Notes in Theoretical Computer Science},
PUBLISHER = {Elsevier Science Publishers},
VOLUME = {128 (6)},
YEAR = {2005},
PAGES = {215-230},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher04avocs.pdf}
}
@INPROCEEDINGS{KyasFBJHZAK:bib:05:FoclCpvs,
AUTHOR = {Marcel Kyas and Harald Fecher and Frank S. de Boer and Joost Jacob and Jozef Hooman and
Mark van der Zwaag and Tamarah Arons and Hillel Kugler},
TITLE = {Formalizing {UML} Models and {OCL} Constraints in {PVS}},
BOOKTITLE = {SFEDL'04},
SERIES = {Electronic Notes in Theoretical Computer Science},
PUBLISHER = {Elsevier Science Publishers},
VOLUME = {115},
PAGES = {39--47},
YEAR = {2005},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher04sfedl.pdf}
}
@INPROCEEDINGS{FecherS:bib:05:CFUTS,
AUTHOR = {Harald Fecher and Martin Steffen},
TITLE = {Characteristic $\mu$-Calculus Formula for an Underspecified Transition System},
BOOKTITLE = {EXPRESS'04},
SERIES = {Electronic Notes in Theoretical Computer Science},
PUBLISHER = {Elsevier Science Publishers},
YEAR = {2005},
VOLUME = {128},
PAGES = {103--116},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher04express.pdf}
}
@INPROCEEDINGS{Fecher:bib:04:DATE,
TITLE = {The Influences of Durational Actions on Time Equivalences},
AUTHOR = {Harald Fecher},
BOOKTITLE = {FORMATS and FTRTFT'04},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer-Verlag},
VOLUME = {3253},
PAGES = {231--245},
YEAR = {2004},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher04formats.pdf},
NOTE = {Copyright hold by Springer-Verlag}
}
@ARTICLE{Fecher:bib:04:HTE,
TITLE = {A Completed Hierarchy of True Concurrent Equivalences},
AUTHOR = {Harald Fecher},
JOURNAL = {Information Processing Letters},
PAGES = {261--265},
VOLUME = {89},
NUMBER = {5},
PUBLISHER = {Elsevier},
YEAR = {2004},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher04IPL.ps}
}
@INPROCEEDINGS{Fecher:bib:04:ESI,
TITLE = {Event Structures for Interrupt Process Algebras},
AUTHOR = {Harald Fecher},
BOOKTITLE = {EXPRESS'03},
SERIES = {Electronic Notes in Theoretical Computer Science},
PUBLISHER = {Elsevier Science Publishers},
PAGES = {113--127},
VOLUME = {96},
YEAR = {2004},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher03express.pdf}
}
@PHDTHESIS{Fecher:bib:Phd:2003,
TITLE = {Action Refinement in End-Based Choice Settings},
AUTHOR = {Harald Fecher},
SCHOOL = {Universit{\"{a}}t Mannheim},
YEAR = {2003},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher03Diss.pdf},
NOTE = {Phd-thesis}
}
@INPROCEEDINGS{Majster-CZF:bib:03:ARL,
TITLE = {Action Refinement from a Logical Point of View},
AUTHOR = {Mila Majster-Cederbaum and Naijun Zhan and Harald Fecher},
PAGES = {253--267},
BOOKTITLE = {VMCAI},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {2575},
PUBLISHER = {Springer-Verlag},
EDITOR = {L. Zuck and P. Attie and A. Cortesi and S. Mukhopadhyay},
YEAR = {2003},
NOTE = {contains some technical mistakes}
}
@INPROCEEDINGS{FecherM:bib:02:TDL,
TITLE = {Taking Decisions Late:
End-Based Choice Combined with Action Refinement},
AUTHOR = {Harald Fecher and Mila Majster-Cederbaum},
BOOKTITLE = {REFINE'02},
SERIES = {Electronic Notes in Theoretical Computer Science},
VOLUME = {70},
ISSUE = {3},
PUBLISHER = {Elsevier Science Publishers},
YEAR = {2002},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher02refineM.ps}
}
@INPROCEEDINGS{FecherMW:bib:02:RTPA,
TITLE = {Refinement of Actions in a Real-Time Process Algebra
with a True Concurrency Model},
AUTHOR = {Harald Fecher and Mila Majster-Cederbaum and Jinzhao Wu},
BOOKTITLE = {REFINE'02},
SERIES = {Electronic Notes in Theoretical Computer Science},
VOLUME = {70},
ISSUE = {3},
PUBLISHER = {Elsevier Science Publishers},
YEAR = {2002},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher02refineMW.ps}
}
@INPROCEEDINGS{FecherMW:bib:02:RPC,
TITLE = {Action Refinement for Probabilistic Processes with True
Concurrency Models},
AUTHOR = {Harald Fecher and Mila Majster-Cederbaum and Jinzhao Wu},
BOOKTITLE = {PAPM-PROBMIV},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {2399},
PAGES = {77--94},
PUBLISHER = {Springer-Verlag},
YEAR = {2002},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher02papmProbmiv.pdf},
NOTE = {Copyright hold by Springer-Verlag}
}
@ARTICLE{FecherMW:bib:02:bes,
TITLE = {Bundle event structures: A revised {C}{P}{O} approach},
AUTHOR = {Harald Fecher and Mila Majster-Cederbaum and Jinzhao Wu},
JOURNAL = {Information Processing Letters},
PAGES = {7--12},
VOLUME = {83},
NUMBER = {1},
PUBLISHER = {Elsevier},
YEAR = {2002},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher02IPL.ps}
}
@ARTICLE{Fecher:bib:01:OPMP,
TITLE = {A Real-Time Process Algebra with Open Intervals and
Maximal Progress},
AUTHOR = {Harald Fecher},
PAGES = {346--365},
JOURNAL = {Nordic Journal of Computing},
VOLUME = {8},
NUMBER = {3},
YEAR = {2001},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher01NJC.ps}
}
@MISC{Fecher:bib:1999:master,
TITLE = {Denotational Semantics of Untyped Object-Based
Programming Languages},
AUTHOR = {Harald Fecher},
SCHOOL = {Technische Universit{\"a}t Darmstadt},
YEAR = {1999},
URL = {http://www.informatik.uni-freiburg.de/~fecher/papers/Fecher00Diplom.ps},
NOTE = {masterthesis}
}
This file has been generated by
bibtex2html 1.54