Search results for "FSEN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna	Lending Petri Nets and Contracts.	FSEN	2013	DBLP DOI BibTeX RDF
1	Hamideh Sabouri, Ramtin Khosravi	Delta Modeling and Model Checking of Product Families.	FSEN	2013	DBLP DOI BibTeX RDF
1	Keiko Nakata 0001, Andri Saar	Compiling Cooperative Task Management to Continuations.	FSEN	2013	DBLP DOI BibTeX RDF
1	Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali	Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.	FSEN	2013	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani (eds.)	Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers	FSEN	2012	DBLP DOI BibTeX RDF
1	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.	FSEN	2011	DBLP DOI BibTeX RDF
1	Zining Cao, Hui Wang	Extending Interface Automata with Z Notation.	FSEN	2011	DBLP DOI BibTeX RDF
1	Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino	Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.	FSEN	2011	DBLP DOI BibTeX RDF
1	David Costa 0001, Milad Niqui, Jan J. M. M. Rutten	Intentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract).	FSEN	2011	DBLP DOI BibTeX RDF
1	Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats	Nested Dynamic Condition Response Graphs.	FSEN	2011	DBLP DOI BibTeX RDF
1	Yuxin Deng, Matthew Hennessy	Compositional Reasoning for Markov Decision Processes - (Extended Abstract).	FSEN	2011	DBLP DOI BibTeX RDF
1	Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen	Reachability Analysis of Non-linear Planar Autonomous Systems.	FSEN	2011	DBLP DOI BibTeX RDF
1	Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva 0001	Type Checking Cryptography Implementations.	FSEN	2011	DBLP DOI BibTeX RDF
1	Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li 0001	Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs.	FSEN	2011	DBLP DOI BibTeX RDF
1	Roméo Courbis	Rewriting Approximations for Properties Verification over CCS Specifications.	FSEN	2011	DBLP DOI BibTeX RDF
1	Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Decompositional Reasoning about the History of Parallel Processes.	FSEN	2011	DBLP DOI BibTeX RDF
1	Mohammad Mahdi Jaghoori	Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability.	FSEN	2011	DBLP DOI BibTeX RDF
1	Chaodong He, Yuxi Fu, Hongfei Fu 0001	Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.	FSEN	2011	DBLP DOI BibTeX RDF
1	Alexandra Silva 0001	A Specification Language for Reo Connectors.	FSEN	2011	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen	Model Checking: One Can Do Much More Than You Think!	FSEN	2011	DBLP DOI BibTeX RDF
1	Hamideh Sabouri, Ramtin Khosravi	Efficient Verification of Evolving Software Product Lines.	FSEN	2011	DBLP DOI BibTeX RDF
1	Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab	Refinement-Based Modeling of 3D NoCs.	FSEN	2011	DBLP DOI BibTeX RDF
1	Christian Lambertz, Mila E. Majster-Cederbaum	Analyzing Component-Based Systems on the Basis of Architectural Constraints.	FSEN	2011	DBLP DOI BibTeX RDF
1	Hassan Haghighi, Mohammad Mahdi Javanmard	Constructive Development of Probabilistic Programs.	FSEN	2011	DBLP DOI BibTeX RDF
1	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Strong Normalisation in λ-Calculi with References.	FSEN	2011	DBLP DOI BibTeX RDF
1	Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran	Specification Guidelines to Avoid the State Space Explosion Problem.	FSEN	2011	DBLP DOI BibTeX RDF
1	Shekoufeh Kolahdouz Rahimi, Kevin Lano	A Model-Based Development Approach for Model Transformations.	FSEN	2011	DBLP DOI BibTeX RDF
1	Hamid Reza Asaadi, Ramtin Khosravi, Mohammad Reza Mousavi 0001, Neda Noroozi	Towards Model-Based Testing of Electronic Funds Transfer Systems.	FSEN	2011	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen	Safe Locking for Multi-threaded Java.	FSEN	2011	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, Alban Ponse	Proposition Algebra and Short-Circuit Logic.	FSEN	2011	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott	A Distributed Logic for Networked Cyber-Physical Systems.	FSEN	2011	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani (eds.)	Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers	FSEN	2010	DBLP DOI BibTeX RDF
1	Zhiming Liu 0001, Charles Morisset, Volker Stolz	rCOS: Theory and Tool for Component-Based Model Driven Development.	FSEN	2009	DBLP DOI BibTeX RDF
1	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Termination in Higher-Order Concurrent Calculi.	FSEN	2009	DBLP DOI BibTeX RDF
1	Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers	Rule Formats for Determinism and Idempotence.	FSEN	2009	DBLP DOI BibTeX RDF
1	Dominik Klein 0001, Frank G. Radmacher, Wolfgang Thomas	The Complexity of Reachability in Randomized Sabotage Games.	FSEN	2009	DBLP DOI BibTeX RDF
1	Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt	On the Expressiveness of Refinement Settings.	FSEN	2009	DBLP DOI BibTeX RDF
1	Alexander Gruler, Michael Meisinger	Fundamental Concepts for the Structuring of Functionality into Modular Parts.	FSEN	2009	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Sara Capecchi, Betti Venneri	A Safe Implementation of Dynamic Overloading in Java-Like Languages.	FSEN	2009	DBLP DOI BibTeX RDF
1	Jens Schönborn, Marcel Kyas	Refinement Patterns for Hierarchical UML State Machines.	FSEN	2009	DBLP DOI BibTeX RDF
1	Massimo Merro, Eleonora Sibilio	A Timed Calculus for Wireless Systems.	FSEN	2009	DBLP DOI BibTeX RDF
1	Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen	Executable Interface Specifications for Testing Asynchronous Creol Components.	FSEN	2009	DBLP DOI BibTeX RDF
1	Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane	Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.	FSEN	2009	DBLP DOI BibTeX RDF
1	Mohammed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira	An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.	FSEN	2009	DBLP DOI BibTeX RDF
1	Jacky Estublier, Thomas Leveque, Germán Vega	Evolution Control in MDE Projects: Controlling Model and Code Co-evolution.	FSEN	2009	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Mohammad Izadi	Automata Based Model Checking for Reo Connectors.	FSEN	2009	DBLP DOI BibTeX RDF
1	Viktor Schuppan	Towards a Notion of Unsatisfiable Cores for LTL.	FSEN	2009	DBLP DOI BibTeX RDF
1	Gregor Gößler	Compositional Strategy Mapping.	FSEN	2009	DBLP DOI BibTeX RDF
1	Miaomiao Zhang, Zhiming Liu 0001, Naijun Zhan	Model Checking Linear Duration Invariants of Networks of Automata.	FSEN	2009	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori	Modular Schedulability Analysis of Concurrent Objects in Creol.	FSEN	2009	DBLP DOI BibTeX RDF
1	Zhenbang Chen, Charles Morisset, Volker Stolz	Specification and Validation of Behavioural Protocols in the rCOS Modeler.	FSEN	2009	DBLP DOI BibTeX RDF
1	Martin Berger 0001	Program Logics for Sequential Higher-Order Control.	FSEN	2009	DBLP DOI BibTeX RDF
1	Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar 0001	Equational Reasoning on Ad Hoc Networks.	FSEN	2009	DBLP DOI BibTeX RDF
1	Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot	A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.	FSEN	2009	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Luttik, P. J. A. van Tilburg	A Process-Theoretic Look at Automata.	FSEN	2009	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre	The Interplay between Relationships, Roles and Objects.	FSEN	2009	DBLP DOI BibTeX RDF
1	Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos	A Coordination Model for Interactive Components.	FSEN	2009	DBLP DOI BibTeX RDF
1	Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi	Bounded Rational Search for On-the-Fly Model Checking of LTL Properties.	FSEN	2009	DBLP DOI BibTeX RDF
1	Sun Meng	A First Step towards Security Policy Compliance of Connectors.	FSEN	2009	DBLP DOI BibTeX RDF
1	Wan J. Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko	Automated Translation and Analysis of a ToolBus Script for Auctions.	FSEN	2009	DBLP DOI BibTeX RDF
1	Jetty Kleijn, Maciej Koutny	Applying Step Coverability Trees to Communicating Component-Based Systems.	FSEN	2009	DBLP DOI BibTeX RDF
1	Franco Barbanera, Sara Capecchi, Ugo de'Liguoro	Typing Asymmetric Client-Server Interaction.	FSEN	2009	DBLP DOI BibTeX RDF
1	Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar 0001	A Review on Specifying Software Architectures Using Extended Automata-Based Models.	FSEN	2007	DBLP DOI BibTeX RDF	Automata-based models, Software architectures, Components interaction
1	Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim	Slicing Abstractions.	FSEN	2007	DBLP DOI BibTeX RDF
1	Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar 0001, Rasool Jalili	Vulnerability Analysis in VGBPS Using Prolog.	FSEN	2007	DBLP DOI BibTeX RDF	Protection System, Safety Problem, Prolog, Vulnerability Analysis
1	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Formal Specification of Multi-agent Systems by Using EUSMs.	FSEN	2007	DBLP DOI BibTeX RDF	Formal specification of multi-agent systems, e-commerce, autonomous agents
1	Gizela Jakubowska, Wojciech Penczek	Is Your Security Protocol on Time ?	FSEN	2007	DBLP DOI BibTeX RDF
1	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet	Test Selection Criteria for Quantifier-Free First-Order Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
1	Lucia Acciai, Michele Boreale	Type Abstractions of Name-Passing Processes.	FSEN	2007	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani (eds.)	International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings	FSEN	2007	DBLP DOI BibTeX RDF
1	Mahdi Niamanesh, Rasool Jalili	Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata.	FSEN	2007	DBLP DOI BibTeX RDF
1	Niloofar Razavi, Marjan Sirjani	Compositional Semantics of System-Level Designs Written in SystemC.	FSEN	2007	DBLP DOI BibTeX RDF	formal verification, SystemC, hardware design, Reo, constraint automata
1	Mario Bravetti, Gianluigi Zavattaro	Contract Based Multi-party Service Composition.	FSEN	2007	DBLP DOI BibTeX RDF
1	Michel A. Reniers, Muck van Weerdenburg	Action Abstraction in Timed Process Algebra.	FSEN	2007	DBLP DOI BibTeX RDF
1	Bahman Pourvatan, Nima Rouhy	An Alternative Algorithm for Constraint Automata Product.	FSEN	2007	DBLP DOI BibTeX RDF	Constraint Automata Product, Reo, Constraint Automata
1	Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon	Hoare Logic for ARM Machine Code.	FSEN	2007	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell 0001	Zone-Based Universality Analysis for Single-Clock Timed Automata.	FSEN	2007	DBLP DOI BibTeX RDF
1	Saeed Parsa, Gholamreza Safi	ArchC#: A New Architecture Description Language for Distributed Systems.	FSEN	2007	DBLP DOI BibTeX RDF
1	Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker	Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.	FSEN	2007	DBLP DOI BibTeX RDF
1	Wan J. Fokkink, Allard Kakebeen, Jun Pang 0001	Adapting the UPPAAL Model of a Distributed Lift System.	FSEN	2007	DBLP DOI BibTeX RDF
1	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	Regulating Data Exchange in Service Oriented Applications.	FSEN	2007	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre	Relationships Meet Their Roles in Object Oriented Programming.	FSEN	2007	DBLP DOI BibTeX RDF
1	Harald Fecher, Immo Grabe	Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.	FSEN	2007	DBLP DOI BibTeX RDF
1	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Formal Testing of Systems Presenting Soft and Hard Deadlines.	FSEN	2007	DBLP DOI BibTeX RDF
1	Xin Chen 0027, Jifeng He 0001, Zhiming Liu 0001, Naijun Zhan	A Model of Component-Based Programming.	FSEN	2007	DBLP DOI BibTeX RDF	Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs
1	Jin Yi, Wenhui Zhang	Efficient State Space Reduction for Automata by Fair Simulation.	FSEN	2007	DBLP DOI BibTeX RDF
1	Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci	A Behavioural Congruence for Web Services.	FSEN	2007	DBLP DOI BibTeX RDF
1	Ramin Tavakoli Kolagari, Mark-Oliver Reiser	Reusing Requirements: The Need for Extended Variability Models.	FSEN	2007	DBLP DOI BibTeX RDF	complex variability, requirements engineering, software product lines, automotive systems, variability modeling
1	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Logical Bisimulations and Functional Languages.	FSEN	2007	DBLP DOI BibTeX RDF
1	Mahdi Niamanesh, Sirwah Sabetghadam, Reza Yousefzadeh Rahaghi, Rasool Jalili	Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack.	FSEN	2007	DBLP DOI BibTeX RDF
1	Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari	Strong Safe Realizability of Message Sequence Chart Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	Strong safe realizability, stuck states, emergent scenarios
1	Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro	Model Checking Temporal Metric Specifications with Trio2Promela.	FSEN	2007	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin
1	Seyyed Vahid Hashemian, Farhad Mavaddat	Automatic Composition of Stateless Components: A Logical Reasoning Approach.	FSEN	2007	DBLP DOI BibTeX RDF	Software Reuse, Process Algebra, Web Services Composition, Component Composition
1	Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini	Logic-Based Detection of Conflicts in AppelPolicies.	FSEN	2007	DBLP DOI BibTeX RDF
1	Zhenyu Chen 0001, Zhihong Tao, Baowen Xu, Lifu Wang	Implication-Based Approximating Bounded Model Checking.	FSEN	2007	DBLP DOI BibTeX RDF	Approximation, Abstraction, Bounded Model Checking, Implication
1	Farhad Arbab, Marjan Sirjani (eds.)	Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005	FSEN	2006	DBLP BibTeX RDF
1	Mark-Oliver Stehr	Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.	FSEN	2005	DBLP DOI BibTeX RDF
1	Mohammad Izadi, Ali Movaghar-Rahimabadi	An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata.	FSEN	2005	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen	Validating Behavioral Component Interfaces in Rewriting Logic.	FSEN	2005	DBLP DOI BibTeX RDF
1	Hossein Hojjat, Hootan Nakhost, Marjan Sirjani	Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca.	FSEN	2005	DBLP DOI BibTeX RDF

Publications at "FSEN"( http://dblp.L3S.de/Venues/FSEN )