TY - CONF AU - Ruhroth, Thomas AU - Wehrheim, Heike AU - Ziegert, Steffen ID - 3185 T2 - 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011 TI - ReL: {A} Generic Refactoring Language for Specification and Execution ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - J. Butler, Michael ED - Schulte, Wolfram ID - 3186 T2 - {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings TI - Verifying Linearisability with Potential Linearisation Points ER - TY - CONF AU - Steenken, Dominik AU - Wehrheim, Heike AU - Wonisch, Daniel ED - da Silva Sim{\~{a}}o, Adenilso ED - Morgan, Carroll ID - 3187 T2 - Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers TI - Sound and Complete Abstract Graph Transformation ER - TY - CONF AU - Schneider, Steve AU - Treharne, Helen AU - Wehrheim, Heike ED - Derrick, John ED - A. Boiten, Eerke ED - Reeves, Steve ID - 3188 T2 - Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. TI - A {CSP} Account of Event-B Refinement ER - TY - JOUR AU - Leuschel, Michael AU - Wehrheim, Heike ID - 647 IS - 10 JF - Science of Computer Programming TI - Selected papers on Integrated Formal Methods (iFM09) ER - TY - JOUR AB - Today, the concept of service oriented architectures provides a way of building integrated solutions out of existing services. To this end, services from different providers are composed using advanced orchestration and choreography techniques. However, while this principle allows for greater flexibility at a smaller cost, the use of third party services also includes a risk: Deployed services might not work as claimed by their providers. In this paper, we propose a technique for analyzing the expected reliability of service compositions based on ratings given by (previous) service users. Every service thereby comes with a reputation, and the analysis computes an overall reliability of a service composition from the reputations of its constituent services. The proposed model-driven approach proceeds by translating statechart models of service compositions into input for a probabilistic model checker (PRISM) using state-of-the-art model transformations techniques. The approach has been implemented as an Eclipse plug-in and is fully compliant with UML. AU - Besova, Galina AU - Wehrheim, Heike AU - Wagner, Annika ID - 649 IS - 2 JF - Electronic Notes in Theoretical Computer Science TI - Reputation-based Reliability Prediction of Service Compositions ER - TY - GEN AU - Schremmer, Alexander ID - 658 TI - Function Specification Inference Using Craig Interpolation ER - TY - CONF AU - Schneider, Steve AU - Treharne, Helen AU - Wehrheim, Heike ED - M{\'{e}}ry, Dominique ED - Merz, Stephan ID - 3195 T2 - Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings TI - A {CSP} Approach to Control in Event-B ER - TY - CONF AU - Dräger, Klaus AU - Kupriyanov, Andrey AU - Finkbeiner, Bernd AU - Wehrheim, Heike ED - Esparza, Javier ED - Majumdar, Rupak ID - 3196 T2 - Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings TI - {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems ER - TY - JOUR AU - Steenken, Dominik AU - Wehrheim, Heike AU - Wonisch, Daniel ID - 3198 JF - CoRR TI - Towards {A} Shape Analysis for Graph Transformation Systems ER - TY - JOUR AU - Derrick, John AU - Wehrheim, Heike ID - 3189 IS - 3 JF - Sci. Comput. Program. TI - Model transformations across views ER - TY - CONF AU - Schäfer, Wilhelm AU - Wehrheim, Heike ED - Engels, Gregor ED - Lewerentz, Claus ED - Sch{\"{a}}fer, Wilhelm ED - Sch{\"{u}}rr, Andy ED - Westfechtel, Bernhard ID - 3191 T2 - Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday TI - Model-Driven Development with Mechatronic {UML} ER - TY - CONF AU - Timm, Nils AU - Wehrheim, Heike ED - Song Dong, Jin ED - Zhu, Huibiao ID - 3193 T2 - Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings TI - On Symmetries and Spotlights - Verifying Parameterised Systems ER - TY - CONF AU - Hülsbusch, Mathias AU - König, Barbara AU - Rensink, Arend AU - Semenyak, Maria AU - Soltenborn, Christian AU - Wehrheim, Heike ED - M{\'{e}}ry, Dominique ED - Merz, Stephan ID - 3194 T2 - Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings TI - Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques ER - TY - JOUR AU - Wehrheim, Heike AU - Wonisch, Daniel ID - 3199 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Compositional {CSP} Traces Refinement Checking ER - TY - JOUR AU - Ruhroth, Thomas AU - Wehrheim, Heike ID - 3200 JF - Electr. Notes Theor. Comput. Sci. TI - Static Class Elements for Object-Z ER - TY - CONF AU - Ruhroth, Thomas AU - Voigt, Hendrik AU - Wehrheim, Heike ID - 3201 T2 - 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings TI - Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models ER - TY - GEN ED - Leuschel, Michael ED - Wehrheim, Heike ID - 3202 SN - 978-3-642-00254-0 TI - Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings ER - TY - JOUR AU - Wehrheim, Heike ID - 3203 JF - Electr. Notes Theor. Comput. Sci. TI - Refinement in the Presence of Unknowns ER - TY - JOUR AU - Estler, H.{-}Christian AU - Wehrheim, Heike ID - 3204 JF - Electr. Notes Theor. Comput. Sci. TI - Alloy as a Refactoring Checker? ER - TY - JOUR AU - Möller, Michael AU - Olderog, Ernst-Rüdiger AU - Rasch, Holger AU - Wehrheim, Heike ID - 3205 IS - 2 JF - Formal Asp. Comput. TI - Integrating a formal method into a software engineering process with {UML} and Java ER - TY - JOUR AU - Brückner, Ingo AU - Dräger, Klaus AU - Finkbeiner, Bernd AU - Wehrheim, Heike ID - 3206 IS - 4 JF - Fundam. Inform. TI - Slicing Abstractions ER - TY - CONF AU - Engels, Gregor AU - Kleppe, Anneke AU - Rensink, Arend AU - Semenyak, Maria AU - Soltenborn, Christian AU - Wehrheim, Heike ED - Schieferdecker, Ina ED - Hartman, Alan ID - 3207 T2 - Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings TI - From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - Barthe, Gilles ED - S. de Boer, Frank ID - 3208 T2 - Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings TI - Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack ER - TY - CONF AU - Metzler, Björn AU - Wehrheim, Heike AU - Wonisch, Daniel ED - Liu, Shaoying ED - S. E. Maibaum, T. ED - Araki, Keijiro ID - 3209 T2 - Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings TI - Decomposition for Compositional Verification ER - TY - CONF AU - Wehrheim, Heike ED - S. Fitzgerald, John ED - Elisabeth Haxthausen, Anne ED - Yenig{\"{u}}n, H{\"{u}}sn{\"{u}} ID - 3210 T2 - Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings TI - Bounded Model Checking for Partial Kripke Structures ER - TY - JOUR AU - Derrick, John AU - Wehrheim, Heike ID - 3211 IS - 1 JF - Acta Inf. TI - On using data abstractions for model checking refinements ER - TY - JOUR AU - Metzler, Björn AU - Wehrheim, Heike ID - 3212 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Extending a Component Specification Language with Time ER - TY - JOUR AU - Estler, H.{-}Christian AU - Ruhroth, Thomas AU - Wehrheim, Heike ID - 3213 JF - Electr. Notes Theor. Comput. Sci. TI - Modelchecking Correctness of Refactorings - Some Experiments ER - TY - CONF AU - Engels, Gregor AU - Güldali, Baris AU - Soltenborn, Christian AU - Wehrheim, Heike ED - Sch{\"{u}}rr, Andy ED - Nagl, Manfred ED - Z{\"{u}}ndorf, Albert ID - 3214 T2 - Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers TI - Assuring Consistency of Business Process Models and Web Services Using Visual Contracts ER - TY - CONF AU - Engels, Gregor AU - Soltenborn, Christian AU - Wehrheim, Heike ED - M. Bonsangue, Marcello ED - Broch Johnsen, Einar ID - 3215 T2 - Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings TI - Analysis of {UML} Activities Using Dynamic Meta Modeling ER - TY - CONF AU - Ruhroth, Thomas AU - Wehrheim, Heike ED - M. Bonsangue, Marcello ED - Broch Johnsen, Einar ID - 3216 T2 - Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings TI - Refactoring Object-Oriented Specifications with Data and Processes ER - TY - CONF AU - Schäfer, Wilhelm AU - Wehrheim, Heike ED - C. Briand, Lionel ED - L. Wolf, Alexander ID - 3221 T2 - International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA} TI - The Challenges of Building Advanced Mechatronic Systems ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - Davies, Jim ED - Gibbons, Jeremy ID - 3222 T2 - Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings TI - Proving Linearizability Via Non-atomic Refinement ER - TY - JOUR AU - Brückner, Ingo AU - Metzler, Björn AU - Wehrheim, Heike ID - 3223 IS - 1-2 JF - Nord. J. Comput. TI - Optimizing Slicing of Formal Specifications by Deductive Verification ER - TY - CONF AU - Derrick, John AU - Wehrheim, Heike ED - Johnson, Michael ED - Vene, Varmo ID - 3224 T2 - Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings TI - Model Transformations Incorporating Multiple Views ER - TY - CONF AU - Wehrheim, Heike ED - Liu, Zhiming ED - He, Jifeng ID - 3225 T2 - Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings TI - Incremental Slicing ER - TY - GEN ED - Gorrieri, Roberto ED - Wehrheim, Heike ID - 3226 SN - 3-540-34893-X TI - Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings ER - TY - JOUR AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ID - 3227 IS - 1-3 JF - Sci. Comput. Program. TI - Specification and (property) inheritance in {CSP-OZ} ER - TY - JOUR AU - Wehrheim, Heike ID - 3228 IS - 3 JF - Theor. Comput. Sci. TI - Slicing techniques for verification re-use ER - TY - CONF AU - Rasch, Holger AU - Wehrheim, Heike ED - Steffen, Martin ED - Zavattaro, Gianluigi ID - 3229 T2 - Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings TI - Checking the Validity of Scenarios in {UML} Models ER - TY - CONF AU - Brückner, Ingo AU - Wehrheim, Heike ED - Lau, Kung{-}Kiu ED - Banach, Richard ID - 3230 T2 - Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings TI - Slicing an Integrated Formal Method for Verification ER - TY - CONF AU - Derrick, John AU - Wehrheim, Heike ED - Treharne, Helen ED - King, Steve ED - C. Henson, Martin ED - A. Schneider, Steve ID - 3231 T2 - {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings TI - Non-atomic Refinement in {Z} and {CSP} ER - TY - CONF AU - Brückner, Ingo AU - Wehrheim, Heike ED - Treharne, Helen ED - King, Steve ED - C. Henson, Martin ED - A. Schneider, Steve ID - 3232 T2 - {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings TI - Slicing Object-Z Specifications for Verification ER - TY - CONF AU - Wehrheim, Heike ED - H. Reussner, Ralf ED - A. Stafford, Judith ED - A. Szyperski, Clemens ID - 3233 T2 - Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers TI - Refinement and Consistency in Component Models with Multiple Views ER - TY - CONF AU - Möller, Michael AU - Olderog, Ernst-Rüdiger AU - Rasch, Holger AU - Wehrheim, Heike ED - A. Boiten, Eerke ED - Derrick, John ED - Smith, Graeme ID - 3234 T2 - Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings TI - Linking {CSP-OZ} with {UML} and Java: {A} Case Study ER - TY - CONF AU - Wehrheim, Heike ED - B{\'{e}}zivin, Jean ED - Heckel, Reiko ID - 3235 T2 - Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004 TI - Refinement and Consistency in Multiview Models ER - TY - JOUR AU - Wehrheim, Heike ID - 3236 IS - 2 JF - Formal Methods in System Design TI - Behavioral Subtyping Relations for Active Objects ER - TY - CONF AU - Wehrheim, Heike ED - S. de Boer, Frank ED - M. Bonsangue, Marcello ED - Graf, Susanne ED - P. de Roever, Willem ID - 3237 T2 - Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures TI - Preserving Properties Under Change ER - TY - CONF AU - Wehrheim, Heike ED - Najm, Elie ED - Nestmann, Uwe ED - Stevens, Perdita ID - 3238 T2 - Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings TI - Inheritance of Temporal Logic Properties ER - TY - CONF AU - Rasch, Holger AU - Wehrheim, Heike ED - Najm, Elie ED - Nestmann, Uwe ED - Stevens, Perdita ID - 3239 T2 - Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings TI - Checking Consistency in {UML} Diagramms: Classes and State Machines ER - TY - CONF AU - Derrick, John AU - Wehrheim, Heike ED - Bert, Didier ED - P. Bowen, Jonathan ED - King, Steve ED - A. Wald{\'{e}}n, Marina ID - 3240 T2 - {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings TI - Using Coupled Simulations in Non-atomic Refinement ER - TY - JOUR AU - Wehrheim, Heike ID - 3241 IS - 4 JF - Nord. J. Comput. TI - Relating State-based and Behaviour-oriented Subtyping ER - TY - CONF AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ED - S. de Boer, Frank ED - M. Bonsangue, Marcello ED - Graf, Susanne ED - P. de Roever, Willem ID - 3242 T2 - Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures TI - Specification and Inheritance in {CSP-OZ} ER - TY - CONF AU - Wehrheim, Heike ED - Jacobs, Bart ED - Rensink, Arend ID - 3243 T2 - Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands TI - Checking Behavioural Subtypes via Refinement ER - TY - JOUR AU - Rensink, Arend AU - Wehrheim, Heike ID - 3244 IS - 3 JF - Acta Inf. TI - Process algebra with action dependencies ER - TY - JOUR AU - Bartetzko, Detlef AU - Fischer, Clemens AU - Möller, Michael AU - Wehrheim, Heike ID - 3245 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Jass - Java with Assertions ER - TY - CONF AU - Fischer, Clemens AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ED - Hu{\ss}mann, Heinrich ID - 3246 T2 - Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings TI - A {CSP} View on {UML-RT} Structure Diagrams ER - TY - JOUR AU - Fischer, Clemens AU - Wehrheim, Heike ID - 3247 JF - Bulletin of the {EATCS} TI - Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method ER - TY - JOUR AU - Wehrheim, Heike ID - 3248 IS - 3 JF - Formal Asp. Comput. TI - Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications ER - TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Rus, Teodor ID - 3249 T2 - Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings TI - Behavioural Subtyping Relations for Object-Oriented Formalisms ER - TY - CONF AU - Wehrheim, Heike ED - S. E. Maibaum, T. ID - 3250 T2 - Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings TI - Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods ER - TY - CONF AU - Wehrheim, Heike ED - F. Smith, Scott ED - L. Talcott, Carolyn ID - 3251 T2 - Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA} TI - Behavioural Subtyping and Property Preservation ER - TY - JOUR AU - Wehrheim, Heike ID - 3252 JF - Electr. Notes Theor. Comput. Sci. TI - Partial order reductions for failures refinement ER - TY - CONF AU - Wehrheim, Heike ED - M. Wing, Jeannette ED - Woodcock, Jim ED - Davies, Jim ID - 3253 T2 - FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} TI - Data Abstraction for {CSP-OZ} ER - TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Araki, Keijiro ED - Galloway, Andy ED - Taguchi, Kenji ID - 3254 T2 - Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999 TI - Model-Checking {CSP-OZ} Specifications with {FDR} ER - TY - CONF AU - Gehrke, Thomas AU - Huhn, Michaela AU - Niebert, Peter AU - Rensink, Arend AU - Wehrheim, Heike ED - K{\"{o}}nig, Hartmut ED - Langend{\"{o}}rfer, Peter ID - 3255 T2 - Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998 TI - A Process Algebra Semantics for {MSC} Including Conditions ER - TY - CONF AU - Gehrke, Thomas AU - Huhn, Michaela AU - Rensink, Arend AU - Wehrheim, Heike ED - Budkowski, Stanislaw ED - R. Cavalli, Ana ED - Najm, Elie ID - 3256 T2 - Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France TI - An Algebraic Semantics for Message Sequence Chart Documents ER - TY - CONF AU - Huhn, Michaela AU - Niebert, Peter AU - Wehrheim, Heike ED - Arvind, Vikraman ED - Ramanujam, Ramaswamy ID - 3257 T2 - Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings TI - Partial Order Reductions for Bisimulation Checking ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Pr{\'{\i}}vara, Igor ED - Ruzicka, Peter ID - 3258 T2 - Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings TI - Dependency-Based Action Refinement ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Pr{\'{\i}}vara, Igor ED - Ruzicka, Peter ID - 3259 T2 - Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings TI - Dependency-Based Action Refinement ER - TY - THES AU - Wehrheim, Heike ID - 3260 TI - Specifying reactive systems with action dependencies: modelling and hierarchical design ER - TY - JOUR AU - Goltz, Ursula AU - Wehrheim, Heike ID - 3261 IS - 4 JF - Inf. Process. Lett. TI - Modelling Causality via Action Dependencies in Branching Time Semantics ER - TY - CONF AU - Goltz, Ursula AU - Wehrheim, Heike ED - Penczek, Wojciech ED - Szalas, Andrzej ID - 3262 T2 - Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings TI - Causal Testing ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Jonsson, Bengt ED - Parrow, Joachim ID - 3263 T2 - {CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings TI - Weak Sequential Composition in Process Algebras ER - TY - CONF AU - Wehrheim, Heike ED - Olderog, Ernst{-}R{\"{u}}diger ID - 3264 T2 - Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994 TI - Parametric Action Refinement ER -