Zeitschriftenartikel

Lambertz, Christian ; Majster-Cederbaum, Mila (2013) Efficient deadlock analysis of component-based software architectures. Science of Computer Programming Amsterdam [u.a.] 78 12 2488-2510 [Zeitschriftenartikel]

Martens, Moritz ; Majster-Cederbaum, Mila (2012) Deadlock-freedom in component systems with architectural constraints. Formal Methods in System Design Dordrecht [u.a.] 41 2 129-177 [Zeitschriftenartikel]

Zhan, Naijun ; Majster-Cederbaum, Mila (2010) On hierarchically developing reactive systems. Information and Computation Amsterdam 208 9 997-1019 [Zeitschriftenartikel]

Minnameier, Christoph (2007) Local and Global Deadlock-Detection in Component-Based Systems are NP-hard. Information Processing Letters Amsterdam 103 3 105-111 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun (2006) Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. Acta Informatica Heidelberg 42 6 389-418 [Zeitschriftenartikel]

Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila (2006) Trace machines for observing continuous-time Markov chains. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 153 2 259-277 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald (2006) Action Refinement Applied to Late Decisions. Formal Aspects of Computing London [u.a.] 18 2 211-230 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald (2005) Event Structures for Arbitrary Disruption. Fundamenta informaticae Amsterdam 68 1/2 103-130 [Zeitschriftenartikel]

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena (2005) Comparative Branching Time Semantics for Markov Chains. Information and Computation Amsterdam 200 2 149-214 [Zeitschriftenartikel]

Fecher, Harald (2004) A Completed Hierarchy of True Concurrent Equivalences. Information Processing Letters Amsterdam [u.a.] 89 5 261-265 [Zeitschriftenartikel]

Fecher, Harald (2004) Event Structures for Interrupt Process Algebras. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 96 113-127 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Salger, Frank (2004) Towards the Hierarchical Development of Reactive Systems. Theoretical Computer Science Berlin [u.a.] 318 3 243-296 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Wu, Jinzhao (2003) Towards Action Refinement for True Concurrent Real Time. Acta Informatica Berlin [u.a.] 39 8 531-577 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Bundle Event Structures : a Revised Cpo Approach. Information Processing Letters Amsterdam [u.a.] 83 3 7-12 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald ; Wu, Jinzhao (2002) Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 70 3 260-280 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Fecher, Harald (2002) Taking Decisions Late : End-Based Choice with Action Refinement. Electronic Notes in Theoretical Computer Science : ENTCS Amsterdam [u.a.] 70 3 244-259 [Zeitschriftenartikel]

Fecher, Harald (2001) A real-time process algebra with open intervals and maximal progress. Nordic Journal of Computing : NJC Helsinki 8 3 346-365 [Zeitschriftenartikel]

Majster-Cederbaum, Mila (2001) Underspecification for a simple process algebra of recursive processes. Theoretical Computer Science Amsterdam [u.a.] 266 1/2 935-950 [Zeitschriftenartikel]

Baier, Christel ; Engelen, Bettina ; Majster-Cederbaum, Mila (2000) Deciding bisimilarity and bimilarity for probabilistic processes. Journal of Computer and System Sciences San Diego, Calif. 60 1 187-231 [Zeitschriftenartikel]

Roggenbach, Markus ; Majster-Cederbaum, Mila (2000) Towards a unified view of bisimulation: a comparative study. Theoretical Computer Science : the Journal of the EATCS Amsterdam 238 1/2 81-130 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (2000) Domain Equations for Probabilistic Processes. Mathematical Structures in Computer Science Cambridge 10 6 665-717 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (2000) On Topological Hierarchies of Temporal Properties. Fundamenta informaticae Amsterdam 41 3 259-294 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (1998) On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Information Processing Letters Amsterdam [u.a.] 66 2 71-79 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) Transition systems from event structures revisited. Information Processing Letters Amsterdam [u.a.] 119-124 [Zeitschriftenartikel]

Baier, Christel ; Kwiatkowska, Marta (1998) Model checking for a probabilistic branching time logic with fairness. Distributed Computing Berlin [u.a.] 11 3 125-155 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1997) How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages. Fundamenta informaticae Amsterdam 29 3 225-256 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1997) Metric Semantics from Partial Order Semantics. Acta Informatica Berlin [u.a.] 34 9 701-735 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1997) The Connection between Initial and Unique Solutions of Domain Equations in the CPO and Metric Approach. Formal Aspects of Computing Berlin [u.a.] 9 4 425-445 [Zeitschriftenartikel]

Baier, Christel (1997) Trees and Semantics. Theoretical Computer Science Amsterdam [u.a.] 179 1/2 217-250 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1996) Denotational Linear Time Semantics and Sequential Composition. Information Processing Letters Amsterdam [u.a.] 59 3 135-143 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1996) Metric Completion versus Ideal Completion. Theoretical Computer Science Dordrecht [u.a.] 170 1/2 145-171 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Roggenbach, Markus (1996) On two different characterisations of bisimulation. Bulletin of the European Association for Theoretical Computer Science EATCS : BEATCS Leiden 59 164-172 [Zeitschriftenartikel]

Baier, Christel ; Majster-Cederbaum, Mila (1994) The Connection Between an Event Structure Semantics and an Operational Semantics for TCSP. Acta Informatica Berlin [u.a.] 31 1 81-104 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Zetzsche, Frank (1994) The comparison of a cpo-based semantics with a cms-based semantics for CSP. Theoretical Computer Science : the Journal of the EATCS Amsterdam 124 1 1-40 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1994) Denotational semantics in the cpo and metric approach. Theoretical Computer Science : the Journal of the EATCS Amsterdam 135 2 171-248 [Zeitschriftenartikel]

Buchkapitel

Wolf, Verena (2005) Testing theory for probabilistic systems. Broy, Manfred Model-based Testing of Reactive Systems : advanced lectures Lecture Notes in Computer Science Berlin [u.a.] 3472 233-275 [Buchkapitel]

Majster-Cederbaum, Mila ; Wu, Jinzhao (2003) Adding Action Refinement to Stochastic True Concurrency Models. Dong, Jin Song Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003; proceedings Lecture Notes in Computer Science Berlin [u.a.] 2885 226-245 [Buchkapitel]

Baier, Christel ; Katoen, Joost-Pieter ; Latella, Diego (1998) Metric Semantics for True Concurrent Real-Time. Larsen, Kim Guldstrand Automata, languages and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13 - 17, 1998; proceedings Lecture Notes in Computer Science Berlin [u.a.] 1443 568-580 [Buchkapitel]

Baier, Christel (1996) Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. Alur, Rajeev Computer aided verification : 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings Berlin [u.a.] 38-49 [Buchkapitel]

Dissertation

Semmelrock, Nils (2013) Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations. Mannheim [Dissertation]

Vorschau

Lambertz, Christian (2012) Software components and formal methods from a computational viewpoint. Mannheim [Dissertation]

Vorschau

Minnameier, Christoph (2010) Interaction in Concurrent Systems. None [Dissertation]

Vorschau

Martens, Moritz (2009) Establishing Properties of Interaction Systems. None Mannheim [Dissertation]

Vorschau

Wolf, Verena (2008) Equivalences on Phase Type Processes. None Mannheim [Dissertation]

Vorschau

Fecher, Harald (2003) Action Refinement in End-Based Choice Settings. None [Dissertation]

Vorschau

Salger, Frank (2001) Verification in the Hierarchical Development of Reactive Systems. None [Dissertation]

Vorschau

Konferenzveröffentlichung

Lambertz, Christian ; Majster-Cederbaum, Mila Analyzing Component-Based Systems on the Basis of Architectural Constraints. Arbab, Farhad Lecture Notes in Computer Science 7141 64-79 In: Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers (2012) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Semmelrock, Nils Reachability in tree-like component systems is PSPACE-complete. Electronic Notes in Theoretical Computer Science : ENTCS 263 197-210 (2010) Amsterdam [u.a.] 6th International Workshop, FACS 2009 (Eindhoven, The Netherlands) [Konferenzveröffentlichung]

Lambertz, Christian ; Majster-Cederbaum, Mila Port protocols for deadlock-freedom of component-based systems. Bliudze, Simon Electronic Proceedings in Theoretical Computer Science : EPTCS 38 7-11 In: Proceedings : 3rd Interaction and Concurrency Experience Workshop (ICE 2010) (2010) Sydney ICE 2010 (Amsterdam, The Netherlands) [Konferenzveröffentlichung]

Lambertz, Christian Exploiting Architectural Constraints and Branching Bisimulation : Equivalences in Component-Based Systems. Mousavi, MohammadReza Proceedings of Formal Methods 2009 Doctoral Symposium November 6, 2009 Eindhoven, The Netherlands 1-7 In: Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009 Eindhoven, The Netherlands (2009) Eindhoven [Konferenzveröffentlichung]

Martens, Moritz ; Majster-Cederbaum, Mila Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. Chin, Wei-Ngan Theoretical aspects of software engineering : 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China; proceedings 225-232 In: 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering : (TASE 2009) ; Tianjin, China, 29 - 31 July 2009 (2009) Piscataway, NJ [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Minnameier, Christoph Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-based Systems. Bournez, Olivier Lecture Notes in Computer Science 5697 189-202 In: Reachability problems : Third International Workshop, RP 2009, Palaiseau, France, September 23 - 25, 2009; proceeding (2009) Berlin [u.a.] [Konferenzveröffentlichung]

Martens, Moritz Liveness in Interaction Systems. Electronic Notes in Theoretical Computer Science : ENTCS 215 57-74 (2008) Amsterdam [u.a.] [Konferenzveröffentlichung]

Freiling, Felix ; Lambertz, Christian ; Majster-Cederbaum, Mila Easy Consensus Algorithms for the Crash-Recovery Model. Taubenfeld, Gadi Lecture Notes in Computer Science 5218 507-508 In: Distributed computing : 22nd International Symposium, DISC 2008, Arcachon, France, September 22 - 24, 2008; proceedings (2008) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz Compositional analysis of deadlock-freedom for tree-like component architectures. De Alfaro, Luca Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 199-206 In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 (2008) New York, NY [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Minnameier, Christoph Everything is PSPACE-complete in Interaction Systems. Fitzgerald, John S. Lecture Notes in Computer Science 5160 216-227 In: Theoretical aspects of computing - ICTAC 2008 : 5th international colloquium; Istanbul, Turkey, September 1 - 3, 2008; proceeding (2008) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Minnameier, Christoph Deriving Complexity Results for Interaction Systems from 1-safe Petri Nets. Geffert, Viliam Lecture Notes in Computer Science 4910 352-363 In: SOFSEM 2008: theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19 - 25, 2008; proceedings (2008) Berlin [u.a.] [Konferenzveröffentlichung]

Wolf, Verena Modelling of Biochemical Reactions by Stochastic Automata Networks. Busi, Nadia Electronic Notes in Theoretical Computer Science : ENTCS 171 197-208 In: MeCBIC 2006 : Workshop on Membrane Computing and Biologically Inspired Process Calculi, S. Servolo, Venice, Italy, July 9, 2006 (2007) Amsterdam [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz ; Minnameier, Christoph ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph A Polynomial-Time checkable sufficient Condition for Deadlock-Freedom of Component-Based Systems. Leeuwen, Jan van Lecture Notes in Computer Science 4362 888-899 In: SOFSEM 2007: Theory and Practice of Computer Science : 33rd Conference on Current Trends in Theory and Practice of Computer Science; Harrachov, Czech Republic, January 20-26, 2007; proceedings (2007) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph ; Minnameier, Christoph An Approach to Modelling and Verification of Component Based Systems. SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings In: SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings (2007) Berlin; Heidelberg [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph Ensuring Properties of Interaction Systems by Construction. (2007) Berlin; Heidelberg [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Martens, Moritz Robustness in Interaction Systems. Derrick, John Lecture Notes in Computer Science 4574 325-340 In: Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27 - 29, 2007; proceedings (2007) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Semmelrock, Nils ; Wolf, Verena Interaction Models for Biochemical Reactions. Arabnia, Hamid R. 2007 International Conference on Bioinformatics & Computational Biology : BioComp '07, Monte Carlo Resort, Las Vegas, Nevada, USA (June 25-28, 2007) 480-486 In: Proceedings of the 2007 International Conference on Bioinformatics & Computational Biology, BIOCOMP 2007 : [at] WORLDCOMP'07, June 25 - 28, 2007, Las Vegas, Nevada, USA (2007) Las Vegas, Nev. [Konferenzveröffentlichung]

Busch, Hauke ; Sandmann, Werner ; Wolf, Verena A Numerical Aggregation Algorithm for the Enzyme-catalyzed Substrate Conversion. Priami, Corrado Lecture Notes in Computer Science 4210 298-311 In: Computational methods in systems biology : proceedings / International Conference, CMSB 2006, Trento, Italy, October 18 - 19, 2006 (2006) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Minnameier, Christoph Termination and Divergence are undecidable under a Maximum Progress Multi-Step Semantics for LinCa. Barkaoui, Kamel Lecture Notes in Computer Science 4281 65-79 In: Theoretical aspects of computing - ICTAC 2006 : 3rd International Colloquium on Theoretical Aspects of Computing. Tunis, Tunisia, 20-24 November 2006 (2006) Berlin [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila Trace Semantics for Stochastic Systems with Nondeterminism. Di Pierro, Alessandra Electronic Notes in Theoretical Computer Science : ENTCS 164,3 187-204 In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006 (2006) Amsterdam [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Fecher, Harald ; Leucker, Martin Don't Know in Probabilistic Systems. Valmari, Antti Lecture Notes in Computer Science 3925 71-88 In: Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006; proceedings (2006) Berlin [u.a.] [Konferenzveröffentlichung]

Wolf, Verena ; Baier, Christel Stochastic Reasoning About Channel-Based Component Connectors. Ciancarini, Paolo Lecture Notes in Computer Science 4038 1-15 In: Coordination models and languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14 - 16, 2006; proceedings (2006) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Zhan, Naijun Deriving non-determinism from conjunction and disjunction. Wang, Farn Lecture Notes in Computer Science 3731 351-365 In: Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan; proceedings (2005) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Sun, Xiuli ; Wu, Jinzhao ; Song, Xiaoyu Formal Specification of Asynchronous Processors via Action Refinement. Abadir, Magdy S. 36-41 In: Proceedings / 5th International Workshop on Microprocessor Test and Verification : common challenges and solutions ; Austin, Texas, September 9 - 10, 2004 (2005) Los Alamitos, Calif. [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang ; Zhan, Naijun Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. Davies, Jim Lecture Notes in Computer Science 3308 449-463 In: Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8 - 12, 2004; proceedings (2004) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Zhan, Naijun ; Fecher, Harald Action Refinement from a Logical Point of View. Zuck, Lenore D. Lecture Notes in Computer Science 2575 253-267 In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003; proceedings (2003) Berlin [u.a.] [Konferenzveröffentlichung]

Zhan, Naijun Combining Hierarchical Specification with Hierarchical Implementation. Saraswat, Vijay A. Lecture Notes in Computer Science 2896 110-124 In: Advances in computing science - ASIAN 2003 : programming languages and distributed computation; 8th Asian Computing Science Conference, Mumbai, India, December 10 - 12, 2003; proceedings (2003) Berlin [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena Comparative Branching Time Semantics for Markov Chains. Amadio, Roberto M. Lecture Notes in Computer Science 2761 492-507 In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings (2003) Berlin [u.a.] [Konferenzveröffentlichung]

Zhan, Naijun Compositional Properties of Sequential Processes. Electronic Notes in Theoretical Computer Science : ENTCS 118 111-128 (2003) Amsterdam [u.a.] Software Verification and Validation 2003 (Mumbai, India) [Konferenzveröffentlichung]

Fecher, Harald ; Majster-Cederbaum, Mila ; Wu, Jinzhao Action Refinement for Probabilistic Processes with True Concurrency. Hermanns, Holger Lecture Notes in Computer Science 2399 77-94 In: Process algebra and probabilistic methods : performance modeling and verification; second Joint International Workshop PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002; proceedings (2002) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Wu, Jinzhao Action Refinement for True Concurrent Real Time. Andler, Sten F. Proceedings of the 7th IEEE-Int. Conference on Engineering of Complex Computer Systems 58-68 In: Proceedings / Seventh IEEE International Conference on Engineering of Complex Computer Systems : Skövde, Sweden, June 11 - 13, 2001 (2001) Los Alamitos, Calif. [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank On Developing Correct Reactive Systems by Syntatically Refining Temporal Specifications. Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems 63-78 In: FMICS 2001, Formal Methods for Industrial Critical Systems : proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems (2001) New York, NY (Paris) [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank ; Sorea, Maria A priori verification of reactive systems. Bolognesi, Tommaso IFIP Advances in Information and Communication Technology 55 35-50 In: Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6, FORTE XIII and PSTV XX, October 10-13, 2000, Pisa, Italy (2000) Boston, Mass. [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank Correctness by Construction: Towards Verification in Hierarchical System Development. Havelund, Klaus Lecture Notes in Computer Science 1885 163-180 In: SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000; proceedings (2000) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank A Verification Technique Based on Syntactic Action Refinement in a TCSP-Process-Algebra and the Hennessy Milner Logic. Thiagarajan, Pazhamaneri S. Lecture Notes in Computer Science 1742 379-380 In: Advances in computing science - ASIAN '99 : proceedings / 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 (1999) Berlin [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Engelen, Bettina Establishing qualitative properties for probabilistic lossy channel systems: an Algorithmic Approach. Katoen, Pieter Lecture Notes in Computer Science 1601 34-52 In: Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany; proceedings (1999) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Salger, Frank Syntactic action refinement in the modal Mu-Calculus and its application to the verification of reactive systems. Victor, Björn Technical report / Department of Information Technology, Uppsala University 99/008 In: NWPT'99 : The 11th Nordic Workshop on Programming Theory, Uppsala University, Sweden, October 6-8 1999 ; proceedings (1999) Uppsala [Konferenzveröffentlichung]

Baier, Christel ; Kwiatkowska, Marta ; Norman, Gethin Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains. Baier, Christel Electronic Notes in Theoretical Computer Science : ENTCS 22 In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification : proceedings (1999) Amsterdam [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili On the Semantic Foundations of Probabilistic VERUS. Proceedings / Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, IN, USA , Juni 7-32 In: Proceedings / 1st Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, Ind., USA (1998) Trier [Konferenzveröffentlichung]

Baier, Christel ; Clarke, Edmund M. The Algebraic Mu-Calculus and MTBDDs. Proceedings / 5th Workshop on Logic, Language, Information and Computation. WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998 27-38 In: Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998 (1998) Sao Paulo [Konferenzveröffentlichung]

Baier, Christel ; Kwiatkowska, Marta Automatic Verification of Liveness Properties of Randomized Systems. ACM Press 295 In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing (1997) New York, NY (Santa Barbara, Calif.) [Konferenzveröffentlichung]

Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili ; Kwiatkowska, Marta ; Ryan, Mark Symbolic Model Checking for Probabilistic Processes. Degano, Pierpaolo Lecture Notes in Computer Science 1256 430-440 In: Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7 - 11, 1997; proceedings (1997) Berlin [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Hermanns, Holger Weak Bisimulation for Fully Probabilistic Processes. Grumberg, Orna Lecture Notes in Computer Science 1254 119-130 In: Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22 - 25, 1997; proceedings (1997) Berlin [u.a.] [Konferenzveröffentlichung]

Baier, Christel ; Majster-Cederbaum, Mila A Categorical Characterization of Consistency. Wirsing, Martin Lecture Notes in Computer Science 1101 473-486 In: Algebraic Methodology and Software Technology : 5th international conference, AMAST '96, Munich, Germany, July 1 - 5, 1996; proceedings (1996) Berlin [u.a.] [Konferenzveröffentlichung]

Majster-Cederbaum, Mila ; Baier, Christel Metric Completion versus Ideal Completion [Extended Abstract]. Desel, Jörg Proceedings of the Workshop on Structures in Concurreny Theory, Workshops in Computing 236-248 In: Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory, (STRICT), Berlin, 11 - 13 May 1995 (1995) London ; Berlin [u.a.] [Konferenzveröffentlichung]