Zeitschriftenartikel
Baier, Christel
(1997)
Trees and Semantics.
Theoretical Computer Science
Amsterdam [u.a.]
179
1/2
217-250
[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]
|
|
Dissertation
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]
|
|
Martens, Moritz
Liveness in Interaction Systems.
Electronic Notes in Theoretical Computer Science : ENTCS
215
57-74
(2008)
Amsterdam [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 ; 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]
|
|
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]
|
|
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 ; 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]
|
|
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 ; 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]
|
|
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]
|
|
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]
|
|
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]
|
|
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]
|
|
Diese Liste wurde am Fri Aug 16 04:29:30 2024 CEST automatisch erstellt.
|