Bisimulation on speed: worst-case efficiency von Lüttgen, Gerald, Vogler, Walter

Volltext

Efficient symbolic state-space construction for asynchronous systems von CIARDO, G, LÜTTGEN, G, SIMINICEANU, R

Volltext

To Parallelize or to Optimize? von Ezekiel, J., Luttgen, G., Siminiceanu, R.

Volltext

Introducing Fairness into Compositional Verification via Unidirectional Counters von Siirtola, A., Puhakka, A., Luttgen, G.

Volltext

Analyzing mode confusion via model checking von LÜTTGEN, G, CARRENO, V

Volltext

Bisimulation on speed: Lower time bounds von Lüttgen, Gerald, Vogler, Walter

Volltext

An algebraic theory of multiple clocks von Cleaveland, Rance, Lüttgen, Gerald, Mendler, Michael

Volltext

A Compositional Semantic Theory for Synchronous Component-Based Design von Norton, Barry, Lüttgen, Gerald, Mendler, Michael

Volltext

Conjunction on Processes: Full–Abstraction Via Ready–Tree Semantics von Lüttgen, Gerald, Vogler, Walter

Volltext

Bisimulation on Speed: A Unified Approach von Lüttgen, Gerald, Vogler, Walter

Volltext

Bisimulation on Speed: Lower Time Bounds von Lüttgen, Gerald, Vogler, Walter

Volltext

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models von Lüttgen, Gerald, Mendler, Michael

Volltext

Statecharts via Process Algebra von Lüttgen, Gerald, von der Beeck, Michael, Cleaveland, Rance

Volltext

A process algebra with distributed priorities von Cleaveland, Ranee, Lüttgen, Gerald, Natarajan, V.

Volltext

A Semantic Theory for Heterogeneous System Design von Cleaveland, Rance, Lüttgen, Gerald

Volltext

Compositional minimisation of finite state systems using interface specifications von GRAF, S, STEFFEN, B, LÜTTGEN, G

Volltext

Using formal specifications to support testing von Hierons, R.M, Bogdanov, K, Bowen, J.P, Cleaveland, R, Derrick, J, Dick, J, Gheorghe, M, Harman, M, Kapoor, K, Krause, P, Luttgen, G, Simons, A.J.H, Vilkomir, S, Woodward, M.R, Zedan, H

Volltext bestellen

Furniture caster von Luttgen, Hans G

Volltext bestellen

A compositional approach to statecharts semantics von Lüttgen, Gerald, von der Beeck, Michael, Cleaveland, Rance

Volltext

Paired High-Content Analysis of Prostate Cancer Cells in Bone Marrow and Blood Characterizes Increased Androgen Receptor Expression in Tumor Cell Clusters von Carlsson, Anders, Kuhn, Peter, Luttgen, Madelyn S, Keomanee-Dizon, Kevin, Troncoso, Patricia, Corn, Paul G, Kolatkar, Anand, Hicks, James B, Logothetis, Christopher J, Zurita, Amado J

Volltext