default search action

combined dblp search
author search
venue search
publication search

ask others

FSEN 2017: Tehran, Iran

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > FSEN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fsen/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/2017
Mehdi Dastani, Marjan Sirjani:
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10522, Springer 2017, ISBN 978-3-319-68971-5
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/AccattoliG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/AccattoliG17
Beniamino Accattoli, Giulio Guerrieri:
Implementing Open Call-by-Value. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/BarbonLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BarbonLS17
Gianluca Barbon, Vincent Leroy, Gwen Salaün:
Debugging of Concurrent Systems Using Counterexample Analysis. 20-34
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/BonchiLR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BonchiLR17
Filippo Bonchi, Matias David Lee, Jurriaan Rot:
Bisimilarity of Open Terms in Stream GSOS. 35-50
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/CledouPB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/CledouPB17
Guillermina Cledou, José Proença, Luís Soares Barbosa:
Composing Families of Timed Automata. 51-66
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/DamianiLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/DamianiLP17
Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
A Formal Model for Multi SPLs. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/GkolfiDJSY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/GkolfiDJSY17
Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu:
Translating Active Objects into Colored Petri Nets for Communication Analysis. 84-99
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/KlinkhamerE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/KlinkhamerE17
Alex P. Klinkhamer, Ali Ebnenasir:
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. 100-115
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/Kuhn17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/Kuhn17
Eva Kühn:
Flexible Transactional Coordination in the Peer Model. 116-131
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/BidgoliHNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BidgoliHNS17
Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri:
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. 132-147
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/ParsaiMD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/ParsaiMD17
Ali Parsai, Alessandro Murgia, Serge Demeyer:
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems. 148-163
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/HoushmandP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/HoushmandP17
Mahdi Houshmand, Samad Paydar:
TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs. 164-179
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/ProencaB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/ProencaB17
José Proença, Carlos Baquero:
Quality-Aware Reactive Programming for the Internet of Things. 180-195
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/RiahiKG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/RiahiKG17
Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi:
Purpose-Based Policy Enforcement in Actor-Based Systems. 196-211
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/Sabahi-KavianiG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/Sabahi-KavianiG17
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan:
Automatic Transition System Model Identification for Network Applications from Packet Traces. 212-227
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/TaromiradM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/TaromiradM17
Masoumeh Taromirad, Mohammad Reza Mousavi:
Gray-Box Conformance Testing for Symbolic Reactive State Machines. 228-243
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/TimmGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/TimmGS17
Nils Timm, Stefan Gruner, Prince Sibanda:
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. 244-259

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.