


default search action
FSEN 2011: Tehran, Iran
- Farhad Arbab, Marjan Sirjani:

Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7141, Springer 2012, ISBN 978-3-642-29319-1 - Joost-Pieter Katoen

:
Model Checking: One Can Do Much More Than You Think! 1-14 - Jan A. Bergstra, Alban Ponse

:
Proposition Algebra and Short-Circuit Logic. 15-31 - Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi

:
Decompositional Reasoning about the History of Parallel Processes. 32-47 - Shekoufeh Kolahdouz Rahimi, Kevin Lano:

A Model-Based Development Approach for Model Transformations. 48-63 - Christian Lambertz, Mila E. Majster-Cederbaum:

Analyzing Component-Based Systems on the Basis of Architectural Constraints. 64-79 - Hassan Haghighi, Mohammad Mahdi Javanmard:

Constructive Development of Probabilistic Programs. 80-95 - Mohammad Mahdi Jaghoori:

Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability. 96-111 - Jan Friso Groote

, Tim W. D. M. Kouters, Ammar Osaiweran:
Specification Guidelines to Avoid the State Space Explosion Problem. 112-127 - Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi:

Strong Normalisation in λ-Calculi with References. 128-142 - Yuxin Deng

, Matthew Hennessy:
Compositional Reasoning for Markov Decision Processes - (Extended Abstract). 143-157 - Einar Broch Johnsen

, Thi Mai Thuong Tran, Olaf Owe
, Martin Steffen:
Safe Locking for Multi-threaded Java. 158-173 - Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse

:
Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. 174-189 - Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:

A Distributed Logic for Networked Cyber-Physical Systems. 190-205 - Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen:

Reachability Analysis of Non-linear Planar Autonomous Systems. 206-220 - Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li:

Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs. 221-235 - Maryam Kamali

, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
:
Refinement-Based Modeling of 3D NoCs. 236-252 - Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi

, Neda Noroozi:
Towards Model-Based Testing of Electronic Funds Transfer Systems. 253-267 - Luca Aceto, Ignacio Fábregas

, David de Frutos-Escrig
, Anna Ingólfsdóttir, Miguel Palomino
:
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. 268-283 - Chaodong He, Yuxi Fu, Hongfei Fu

:
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. 284-298 - Roméo Courbis:

Rewriting Approximations for Properties Verification over CCS Specifications. 299-315 - Manuel Barbosa

, Andrew Moss, Dan Page, Nuno F. Rodrigues
, Paulo F. Silva
:
Type Checking Cryptography Implementations. 316-334 - David Costa, Milad Niqui, Jan J. M. M. Rutten:

Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract). 335-342 - Thomas T. Hildebrandt, Raghava Rao Mukkamala

, Tijs Slaats:
Nested Dynamic Condition Response Graphs. 343-350 - Hamideh Sabouri, Ramtin Khosravi:

Efficient Verification of Evolving Software Product Lines. 351-358 - Zining Cao, Hui Wang:

Extending Interface Automata with Z Notation. 359-367 - Alexandra Silva:

A Specification Language for Reo Connectors. 368-376

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














