Anzahl der Einträge: 82. 2013
2012
2010
|
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]
|
|
2009
|
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]
|
|
2008
|
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]
|
|
2007
|
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
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]
|
|
2006
|
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]
|
|
2005
|
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]
|
|
2004
|
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]
|
|
2003
|
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]
|
|
|
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]
|
|
2002
|
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]
|
|
2001
|
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]
|
|
2000
|
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]
|
|
1999
1998
1997
1996
|
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]
|
|
1995
|
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]
|
|
1994
1992
1991
1990
1989
1988
1987
Diese Liste wurde am Sat Nov 23 01:46:22 2024 CET automatisch erstellt. |
None
Mannheim
[Arbeitspapier]
![[img]](/style/images/fileicons/application_pdf.png)