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]

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]

Majster-Cederbaum, Mila ; Fecher, Harald (2006) Action Refinement Applied to Late Decisions. Formal Aspects of Computing London [u.a.] 18 2 211-230 [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 (2005) Event Structures for Arbitrary Disruption. Fundamenta informaticae Amsterdam 68 1/2 103-130 [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]

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]

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) Transition systems from event structures revisited. Information Processing Letters Amsterdam [u.a.] 119-124 [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]

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

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]

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]

Freiling, Felix ; Lambertz, Christian ; Majster-Cederbaum, Mila Modular Consensus Algorithms for the Crash-Recovery Model. Second International Workshop on Reliability, Availability, and Security (WRAS 2009) Hiroshima, Japan, December 2009; proceedings 287-292 In: 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies : PDCAT 2009 ; Higashi-Hiroshima, Japan, 8 - 11 December 2009 ; [including workshop papers] (2009) Washington, DC [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]

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]

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]

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]

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]

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]

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 ; 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]

Arbeitspapier

Semmelrock, Nils ; Majster-Cederbaum, Mila (2009) Reachability in tree-like component systems is PSPACE-complete. None Mannheim [Arbeitspapier]

Vorschau

Freiling, Felix ; Lambertz, Christian ; Majster-Cederbaum, Mila (2008) Easy Consensus Algorithms for the Crash-Recovery Model. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Martens, Moritz (2007) Robustness in Interaction Systems. None [Arbeitspapier]

Vorschau

Minnameier, Christoph ; Majster-Cederbaum, Mila (2007) Interaction Systems and 1-safe Petri Nets. None [Arbeitspapier]

Vorschau

Martens, Moritz ; Minnameier, Christoph ; Majster-Cederbaum, Mila (2006) Deciding Liveness in Component-Based Systems is NP-hard. Manuskripte / Reihe Informatik Mannheim 06-17 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (2000) Underspecification for process algebras. Technical Reports Mannheim 00-007 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Salger, Frank (1999) On syntactic action refinement and logic. Technical Reports Mannheim 99-007 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) The essence of bisimulation : a comparative study. Technical Reports Mannheim 98-017 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1998) Infinite possible worlds for process algebras. Technical Reports Mannheim 98-019 [Arbeitspapier]

Vorschau

Benjes, Friederike ; Majster-Cederbaum, Mila (1997) A categorical view of action refinement in models of concurrency. Technical Reports Mannheim 97-007 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1996) On two different characterizations of bisimulation. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1996) How to interpret and establish consistency results for semantics of concurrent programming languages. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1996) The connection between the initial and unique solutions of domain equations in the partial order and metric approach. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1995) Construction of a cms on a given cpo. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1995) Denotational Linear Time Semantics and Sequential Composition. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Peters, Peter (1992) A definition of redundancy in relational databases. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1992) On the definability of concurrency and communication : event structures versus pomset classes. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1991) The connection between an event structure semantics and an operational semantics for TCSP. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1990) On redundancy, anomalies and on the question "what do normal forms really do". None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1990) Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in O (N2) time. None [Arbeitspapier]

Vorschau

Baier, Christel ; Majster-Cederbaum, Mila (1990) The consistency of a noninterleaving and an interleaving model for full TCSP. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1989) The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of acomplete metric spaces. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Zetzsche, Frank (1989) Towards a foundation for semantics in complete metric spaces. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1989) Some comments on CPO-semantics and metric space semantics for imperative languages. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila (1988) On the uniqueness of fixed points endofunctors in a category of complete metric spaces. None [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Zetzsche, Frank (1987) Foundations for semantics in complete metric spaces. None [Arbeitspapier]

Vorschau