- Practical assignment for Software Specification (2IW05) Meeting Scheduler
- Timing the Untimed: Terminating Successfully while Being Conservative
- /department of mathematics and computer science 1/34 SOS for Higher Order Processes
- Sarir: A Rebeca to mCRL2 Translator H. Hojjat 1 , M. Sirjani 1 , M.R. Mousavi 2,3 and J.F. Groote 2
- Separation of Concerns in the Formal Design of RealTime Shared DataSpace Systems #
- Rule Formats for Distributivity Luca Aceto1
- Outline Introduction Terms Positive TSS Negative TSS Structured Operational Semantics
- A Hierarchy of SOS Rule Formats Jan Friso Groote 1 MohammadReza Mousavi 2
- Impossibility Results for the Equational Theory of Timed CCS #
- Towards Model-Based Testing of Electronic Funds Transfer Systems
- Class Diagrams in Alloy Analyzing Traces Conclusions 2IW05 Software Specification
- Lifting NonFinite Axiomatizability Results to Extensions of Process Algebras
- A Syntactic Commutativity Format for SOS MohammadReza Mousavi, Michel Reniers and Jan Friso Groote
- Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras
- FOCLASA 2005 Preliminary Version Formal Semantics and Analysis of Component
- Why? What? How?, When? This Course Software Testing: Introduction
- Prototyping SOS Metatheory in Maude MohammadReza Mousavi 1 Michel A. Reniers 2
- /department of mathematics and computer science 1/28 Congruence for Structural Congruences
- Schema Calculus Precondition 2IW05 Software Specification
- 2IW05 Examination A Software Specification Faculteit Wiskunde en Informatica
- 2IW05 Examination Software Specification Faculteit Wiskunde en Informatica
- Equational Theory of Timed CCS Luca Aceto1, Anna Ingolfsdottir1, Mohammad Mousavi1,2
- Rule Formats for Determinism and Idempotency
- Towards Model Checking Executable UML Specifications in mCRL2 Helle Hvid Hansen # , Jeroen Ketema + , Bas Luttik # , MohammadReza Mousavi # and Jaco van de Pol +
- Separating Functionality, Behavior and Timing in the Design of Reactive Systems
- Introduction: SOS, Determinism and Idempotency Determinism Rule Format Idempotency Rule Format Conclusions SOS Rule Formats for Determinism and
- Outline Positive TSS Negative TSS Structured Operational Semantics
- Introduction FSM-Based Testing LTS-Based Testing Model-Based Testing: An Introduction
- Structuring Structural Operational
- 2YW05 Model Examination Software Specification
- A Syntactic Commutativity Format for SOS MohammadReza Mousavi, Michel Reniers and Jan Friso Groote
- Rule Formats for Distributivity Luca Aceto1
- FOCLASA 2005 Preliminary Version Formal Semantics and Analysis of Component
- Software Specification (2IW05) Z and Alloy Notations: A Quick Reference
- A Hierarchy of SOS Rule Formats Jan Friso Groote 1
- Making Nondeterminism Explicit in Z S.H. Mirian-HosseinAbadi1
- Semantics and Expressiveness of Ordered SOS 1 MohammadReza Mousavi a,b,# , Iain Phillips c ,
- SOS for Higher Order Processes (Extended Abstract)
- From Paths to DU-Paths DU Path Testing Variants Comparison Data Flow Testing
- Structural Testing: An Introduction Flow Graphs Path Testing Conclusions Path Testing
- A Congruence Rule Format with Universal Quantification
- On WellFoundedness and Expressiveness of Promoted Tyft
- Proceedings of SOS 2007 A Congruence Rule Format with Universal
- Iusually start my lectures on Software Specification by the
- SOS for Higher Order Processes (Extended Abstract)
- Process Algebraic Verification of SystemC Codes H. Hojjat1,2
- Process Algebraic Verification of SystemC Codes Hossein Hojjat
- Process Algebraic Verification of SystemC Codes Hossein Hojjat
- Introduction Introducing Past Decomposing Computations Decomposing Formulae Conclusions Decompositional Reasoning About Past
- Process Algebra as a Common Framework for Hardware/Software Co-Verification
- Robustness of Behavioral Equivalence on Open Terms Peter D. Mosses
- On Rule Formats for Zero and Unit Elements Luca Aceto1
- Order-Independence of Vector-Based Transition Systems Matthias Raffelsieper, MohammadReza Mousavi, and Hans Zantema
- Analytical Software Design: Introduction and Industrial Experience Report
- Acta Informatica manuscript No. (will be inserted by the editor)
- C e n t r u m v o o r W i s k u n d e e n I n f o r m a t i c a Software ENgineering
- A Rule Format for Unit Elements Luca Aceto1
- PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
- Formal Analysis of Non-Determinism in Verilog Cell Library Simulation Models
- This is a preliminary version of a paper that will appear in Electronic Proceedings
- Model Checking Verilog Descriptions of Cell Libraries Matthias Raffelsieper
- A Rule Format for Associativity Sjoerd Cranen MohammadReza Mousavi Michel A. Reniers
- Introduction Proving Non-finite Axiomatizability Results in
- A Meta-Theorem of Unaximatizability Luca Aceto1, Wan Fokkink2,
- A Framework for Performance Evaluation and Functional Verification in Stochastic Process Algebras
- A Unifying Framework for Performance Evaluation and
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- A Congruence Rule Format with Universal Quantification
- Liveness and Boundedness of Synchronous Data Flow Graphs A.H. Ghamarian, M.C.W. Geilen, T. Basten, B.D. Theelen, M.R. Mousavi and S. Stuijk
- Liveness and Boundedness of Synchronous Data Flow Graphs
- Throughput Analysis of Synchronous Data Flow Graphs A.H. Ghamarian1
- Efficient Symmetry Reduction for an Actor-Based Model
- Specification, Simulation, and Verification of Component Connectors in Reo
- Towards SOS Meta-Theory for Language-Based Security (Position Paper)
- /department of mathematics and computer science 1/37 Congruence for SOS with Data
- Congruence for Structural Congruences MohammadReza Mousavi and Michel Reniers
- /department of mathematics and computer science 1/181/18 PARS: A Process Algebra with
- Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
- /department of mathematics and computer science 1/28 Modeling and Validating Globally Asynchronous
- Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems
- /department of mathematics and computer science 1/191/19 Separation of Concerns in the Formal Design of
- Using Aspect-GAMMA in the Design of Embedded Systems
- Purchase Transactions Messages have the following structure
- Software Testing Study Guide, September 2009
- Recap Weak Normal EC Strong Normal EC Robustness Combined with WCT Equivalence Class Testing
- Decision Tables Classification Trees Conclusions Decision Table-Based Testing
- Testability Cyclomatic Testing Level-i Paths Conclusions Cyclomatic Number: Testability and Testing
- Software Testing LTS-Based Testing Exercises
- Software Testing Solutions to LTS-Based Testing Exercise
- Finite State Machines Testing problems Conformance Testing Machine Identification FSM-Based Testing
- Software Testing (2IW30) Model Examination -May 2008
- Software Specification MohammadReza Mousavi Michel Reniers
- 2IW05 Software Specification Introduction
- 2IW05 Software Specification Class Diagrams
- Introduction Mathematical Toolkit Global Definitions Schemas 2IW05 Software Specification
- 2IW05 Software Specification Practical Project: The First Deliverable
- 2XW05 Model Examination Software Specification
- Introduction A Case Study Conclusions 2IW05 Software Specification
- Recap Micro-Steps Macro-Steps Other Features UML State Diagrams Conclusions 2IW05 Software Specification
- Software Specification Supplementary Exercise Hennessy-Milner Logic
- Software Specification Supplementary Exercise HML with Recursion
- Modal -Calculus + Regular Expressions Supplementary Exercises
- 2IW05 Examination A Software Specification Faculteit Wiskunde en Informatica
- 2IW05 Examination B Software Specification Faculteit Wiskunde en Informatica
- 2IW05 Final Examination Software Specification Faculteit Wiskunde en Informatica
- Intro Outline of This Course Structured Operational Semantics
- Outline Behavioral Equivalences Bisimulation with Data Structured Operational Semantics
- Structured Operational Semantics Part 6: Implement Your SOS
- Structured Operational Semantics Part 8: Conclusions
- Projectwijzer OGO 1.3 (2IO30) "UV Wafer-Stepper"
- Finite Basis Problems in Process Algebra (based on joint work with Luca Aceto, Silvio Capobianco, Taolue Chen,
- Reliable Embedded Multi-media Systems ? Twan Basten
- Exploiting Differentiated Tuple Distribution in Shared Data Spaces
- GSpace: Tailorable Data Distribution in Shared Data Space Systems
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- E#cient Symmetry Reduction for an ActorBased Model
- 2IW05 Final Examination Software Specification Faculteit Wiskunde en Informatica
- Software Testing FSM-Based Testing Exercises
- HML + restricted recursion Blocks of equations Regular modal -calculus Typical properties 2IW05 Software Specification
- Separating Distribution Policies in a Shared Data Space System
- Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
- PobSAM: Policybased Managing of Actors in SelfAdaptive Systems
- Orthogonal Extensions in Structural Operational Semantics
- Model Checking Verilog Descriptions of Cell Libraries Matthias Raffelsieper
- Impossibility Results for the Equational Theory of Timed CCS
- Structural Congruences and Structural Operational Semantics
- Formal Analysis of NonDeterminism in Verilog Cell Library Simulation Models
- Aspects + GAMMA = AspectGAMMA A Formal Framework for AspectOriented
- Lifting NonFinite Axiomatizability Results to Extensions of Process Algebras #
- Nordic Journal of Computing TIMED-GAMMA AND ITS COORDINATION
- PARS: A Process Algebra with Resources and Schedulers
- Decompositional Reasoning about the History of Parallel Processes
- Software Testing Project Description, May 2011
- Checking and Deriving Module Paths in Verilog Cell Library Descriptions
- Rule Formats for Determinism and Idempotency #
- HennessyMilner logic In the previous chapters we have seen that implementation verification is a natural
- Software Testing Solutions to Exercise I: Structural Testing
- Prototyping SOS Meta-theory in Maude MohammadReza Mousavi 1
- Use Case Diagrams M.R. Mousavi
- Specification, Simulation, and Verification of Component Connectors in Reo
- Structural Congruences and Structural Operational Semantics
- A Rule Format for Associativity Sjoerd Cranen, MohammadReza Mousavi and Michel A. Reniers
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Abstract---This paper addresses the issue of separation of concerns in the design and
- PARS: A Process Algebra with Resources and Schedulers
- LTS-Based Testing Mohammad Mousavi
- Outline Congruence Rule Formats Algebraic Properties Other Meta-Theorems Congruence with Data Structured Operational Semantics
- Finite State Machines Testing problems Homing and synchronizing sequences State identification State verification FSM-Based Testing
- On Well-Foundedness and Expressiveness of Promoted Tyft
- Acta Informatica manuscript No. (will be inserted by the editor)
- HMSC UML SDs Case-Study: EasyShop 2IW05 Software Specification
- Application of Process Algebraic Verification and Reduction Techniques to SystemC Designs
- Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space
- Symbolic Power Analysis of Cell Libraries Matthias Raffelsieper and MohammadReza Mousavi
- Decompositional Reasoning about the History of Parallel Processes
- Reconstruction and verification of group membership protocols
- Using AspectGAMMA in the Design of Embedded Systems (Extended Abstract)
- A Rule Format for Unit Elements # Luca Aceto 1 , Anna Ingolfsdottir 1 ,
- Congruence for SOS with Data MohammadReza Mousavi, Michel Reniers, Jan Friso Groote
- Proceedings of Formal Methods 2009 Doctoral Symposium
- 2IW05 Examination Software Specification Faculteit Wiskunde en Informatica
- Fundamenta Informaticae XXI (2001) 10011025 1001 Formal Analysis of SystemC Designs in Process Algebra
- Customizable Data Distribution for Shared Data Spaces Giovanni Russello, Michel Chaudron Maarten van Steen
- technische universiteit eindhoven Department of Electrical Engineering
- The Meaning of Ordered SOS MohammadReza Mousavi 1,2,# , Iain Phillips 3 ,
- Introduction: Behavioral Models (recap) Hierarchy of States (recap) Transitions Transitions Micro-Steps 2IW05 Software Specification
- Slices: Informal Idea Sequential Slicing Structured Programs Conclusions Program Slicing
- The Meaning of Ordered SOS MohammadReza Mousavi1,2,
- Temporal logic Hennessy-Milner logic HML with one recursively defined variable 2IW05 Software Specification
- Orthogonal Extensions in Structural Operational Semantics MohammadReza Mousavi and Michel A. Reniers
- Orthogonal Extensions in Structural Operational Semantics
- 2IW05 Software Specification Message Sequence Charts (MSCs): Part I
- A Rule Format for Associativity Sjoerd Cranen, MohammadReza Mousavi and Michel A. Reniers
- Software Testing (2IW65) Model Examination -May 2008
- EPTCS ??, 20??, pp. 115, doi:10.4204/EPTCS.??.?? c P.D. Mosses, M.R. Mousavi & M.A. Reniers
- Using Aspect-GAMMA in the Design of Embedded Systems (Extended Abstract)
- Principles Simplifying the Test-Case Isolating the Causes Conclusions Automated Debugging
- /department of mathematics and computer science 1/33 Orthogonal Extensions in SOS
- ALGEBRAIC PROPERTIES FOR FREE! Luca Aceto, Anna Ingolfsdottir
- Towards SOS MetaTheory for LanguageBased Security (Position Paper)
- Congruence for SOS with Data MohammadReza Mousavi, Michel Reniers, Jan Friso Groote
- On Rule Formats for Zero and Unit Elements Luca Aceto1
- /department of mathematics and computer science 1/38 Structural Congruences
- Consistency Combining instances Abstraction from messages Composition mechanisms HMSC 2IW05 Software Specification
- Software Testing Project Description, September 2009
- Basic Idea Robustness Worst-Cases Worst-Cases + Robustness Special Values Random Boundary Value Testing
- Formal Specification and Analysis of Accelerated Heartbeat Protocols
- Structuring Structural Operational
- Software Specification MohammadReza Mousavi Michel Reniers
- Precondition (Cont'd) Class Diagrams ZEasy Shop Resources Conclusions 2IW05 Software Specification
- Integration and (De)Composition Levels of Testing Composition MM-Graphs Conclusions Integration Testing
- Model-Based Testing applied to the Dutch E-Passport
- Checking and Deriving Module Paths in Verilog Cell Library Descriptions
- CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code
- Congruence for SOS with Data MohammadReza Mousavi, Michel Reniers, Jan Friso Groote
- A######## P######### ### F###! # Luca Aceto, Anna Ingolfsdottir
- Orthogonal Extensions in Structural Operational Semantics MohammadReza Mousavi and Michel A. Reniers
- FPCUnit: Basic Concepts Installation FPC(J,D,N)Unit: A Brief Introduction
- Restricted Delegation and Revocation in Language-Based Security (Position Paper)
- Esterel: A Cook's Tour Semantics of SOS Semantics for Esterel Conclusions Causality in the Semantics of Esterel: Revisited
- Being Promoted Makes a Difference Mohammad Mousavi1,2 and Michel Reniers1
- Compositional Verification of an ObjectBased Model for Reactive Systems
- /department of mathematics and computer science 1/42 Reo: Operational Semantics, Animation and
- Outline Introduction Denotational Semantics Axiomatic Semantics Operational Semantics Structured Operational Semantics
- xUnit: A Brief Introduction Mohammad Mousavi
- This is a preliminary version of a paper that will appear in Electronic Proceedings
- Restricted Delegation and Revocation in LanguageBased Security (Position Paper)
- Congruence for Structural Congruences MohammadReza Mousavi and Michel Reniers
- Towards Model Checking Executable UML Specifications in mCRL2 Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, MohammadReza Mousavi and Jaco van de Pol
- Software Testing Solutions to FSM-Based Testing Exercise
- System Validation: An Introduction MohammadReza Mousavi
- LTS-Based Testing Mohammad Mousavi
- Synchronizing Asynchronous Conformance Testing Neda Noroozi1,2
- Modelling and Analysis of Communicating Systems Jan Friso Groote and Mohammad Reza Mousavi
- Software Testing Project Description, June 2011
- Behavioral Equivalences Mohammad Mousavi
- Automated Verification of Executable UML Models
- Software Testing (2IW65) Solutions to Model Examination -May 2008
- Synchronizing Asynchronous Conformance Testing Neda Noroozi1,2
- Temporal logic Hennessy-Milner logic Semantics of HML Recursion Semantics of Recursion Modal -Calculus
- System Validation: Project Meeting MohammadReza Mousavi
- System Validation (IN4387) Model Examination October 25, 2011
- System Validation (IN4387) Assessment Guide
- Actions Multi-Actions Alternative and Sequential Composition Conditional and Sum Operators Algebraic Process Descriptions
- Abstract Data Types Mohammad Mousavi
- Practical assignment for Software Specification (2IW05) Laptop WebStore
- Weak Behavioral Equivalences Mohammad Mousavi
- System validation Project, IN4387 Mohammad Reza Mousavi (M.R.Mousavi@tue.nl, HB 09.160).
- Parallel Composition Communication and Allow Hiding Parallel Processes
- System Validation (IN4387) Model Examination October 25, 2011
- System Validation (IN4387) Project Guide
- Daniel Jackson May 0, 2004
- Testability Cyclomatic Testing Level-i Paths Conclusions Cyclomatic Number: Testability and Testing
- Introduction Robustness Worst-Cases Worst-Cases + Robustness Special Values Random Boundary Value Testing
- Decision Tables Classification Trees Conclusions Decision Table-Based Testing
- LTS-Based Testing Mohammad Mousavi
- Organization Why? What? How?, When? Software Testing: Introduction
- Slices: Informal Idea Sequential Slicing Structured Programs Conclusions Program Slicing
- 2IW05 Model Examination Software Specification
- Structural Testing: An Introduction Flow Graphs Path Testing Conclusions Path Testing
- Software Testing Project Description, February 2012
- Finite State Machines Final State Identification Initial State Identification FSM-Based Testing
- Test Automation Ant JUnit Test Automation
- From Paths to DU-Paths DU Path Testing Variants Comparison Data Flow Testing
- Design by Contract Mohammad Mousavi
- Mechanized extraction of topology anti-patterns in wireless networks
- LTS-Based Testing Mohammad Mousavi
- Software Testing (2IW66) Practical Project
- Recap Weak Normal EC Strong Normal EC Robustness Combined with WCT Equivalence Class Testing
- 2IW05 Model Examination Software Specification
- Software Testing Solutions to Exercise I: Structural Testing
- Model-Based Testing: An Introduction Mohammad Mousavi
