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 |
|