Stöbern nach Publikationsorgan

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung

Springe zu: 2010 | 2008 | 2007 | 2006 | 2004 | 2003 | 2002 | 1999

Anzahl der Einträge: 11.

2010

Brosch, Frank ; Gitzel, Ralf ; Koziolek, Heiko ; Krug, Simone Combining architecture-based software reliability predictions with financial impact calculations. Electronic Notes in Theoretical Computer Science : ENTCS 264 1 3-17 (2010) Amsterdam [u.a.] 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2010) (Paphos, Cyprus) [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]

2008

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

2007

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]

2006

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]

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]

2004

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

2003

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]

2002

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]

1999

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]

Diese Liste wurde am Fri May 3 03:15:00 2024 CEST automatisch erstellt.

Zitation