Stop the war!
Остановите войну!
for scientists:
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.