FSEN 2011: Tehran, Iran
Farhad Arbab, Marjan Sirjani (Eds.): Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-29319-1- Joost-Pieter Katoen: Model Checking: One Can Do Much More Than You Think! 1-14
- 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
- Alexandra Silva: A Specification Language for Reo Connectors. 368-376
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team