| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi |
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models.  |
FSEN  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa |
Structured Specification of Paraconsistent Transition Systems. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | João Pascoal Faria, Rui Abreu 0001 |
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Domenici |
Towards a Basic Theory for Partial Differentiation in the Prototype Verification System. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall |
Interaction-Based Offline Runtime Verification of Distributed Systems. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Nagashima |
Genetic Algorithm for Program Synthesis. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001 |
An Optimised Complete Strategy for Testing Symbolic Finite State Machines. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ebrahim Fazli, Ali Ebnenasir |
TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyong Xue, Xiyue Zhang, Meng Sun 0002 |
kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | P. H. M. van Spaendonck |
Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework). |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Erika Ábrahám (eds.) |
Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang |
Template-Based Conjecturing for Automated Induction in Isabelle/HOL. |
FSEN |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Extending OCL with Map and Function Types. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Figueiredo 0001 |
Introducing Interval Differential Dynamic Logic. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens 0001, Anton Wijs |
Term Rewriting on GPUs. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh |
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Dokter, Farhad Arbab |
Protocol Scheduling. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Pancho Eliott, Martin Berger 0001 |
A Program Logic for Fresh Name Generation. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Aline Uwimbabazi, Omar Inverso, Rocco De Nicola |
Automated Replication of Tuple Spaces via Static Analysis. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Soltanieh, Markus Siegle |
Solving Systems of Bilinear Equations for Transition Rate Reconstruction. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins 0001 |
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Aidin Azamnouri, Samad Paydar |
Compressing Automatically Generated Unit Test Suites Through Test Parameterization. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Amaury Maillé, Ludovic Henrio, Matthieu Moy |
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiuseppe Mallozzi, Pierluigi Nuzzo 0002, Patrizio Pelliccione |
Incremental Refinement of Goal Models with Contracts. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Ghoreshi, Hassan Haghighi |
Systematic Extraction of Tests from Object-Oriented Programs. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Mieke Massink (eds.) |
Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah |
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
Runtime Monitoring Processes Across Blockchains. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema |
Deadlock in Packet Switching Networks. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Alexandre Madeira |
Taming Hierarchical Connectors. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Samad Paydar, Aidin Azamnouri |
An Experimental Study on Flakiness and Fragility of Randoop Regression Test Suites. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers |
Active Learning of Industrial Software with Data. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Mieke Massink (eds.) |
Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Narges Khakpour, Jetty Kleijn, Marjan Sirjani |
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Babak Bagheri, Mohammad Rezaalipour, Mojtaba Vahidi-Asl |
An Approach to Generate Effective Fault Localization Methods for Programs. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi-Asl |
Greenify: A Game with the Purpose of Test Data Generation for Unit Testing. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Neele, Marijn Rol, Jan Friso Groote |
Verifying System-Wide Properties of Industrial Component-Based Software. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Wasser, Asmae Heydari Tabar, Reiner Hähnle |
Modeling Non-deterministic C Code with Active Objects. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanaz Hasanzadeh Fard, Hadi Tabatabaee Malazi |
A Two-Dimensional Self-coordination Mechanism of Agents in a Minority Game. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Saqib Nawaz, Meng Sun 0002 |
Using PVS for Modeling and Verification of Probabilistic Connectors. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Piangerelli, Luca Tesei, Emanuela Merelli |
A Persistent Entropy Automaton for the Dow Jones Stock Market. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Gomes 0001, Alexandre Madeira, Mario R. F. Benevides |
Logics for Petri Nets with Propagating Failures. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Behnaz Changizi, Natallia Kokash, Farhad Arbab |
Service Orchestration with Priority Constraints. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Akili, Kim Völlinger |
Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio González-Burgueño, Peter Csaba Ölveczky |
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Saqib Nawaz, Meng Sun 0002, Philippe Fournier-Viger |
Proof Guidance in PVS with Sequential Pattern Mining. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider |
Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. |
FSEN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
A Formal Model for Multi SPLs. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermina Cledou, José Proença, Luís Soares Barbosa |
Composing Families of Timed Automata. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Parsai, Alessandro Murgia, Serge Demeyer |
LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Masoumeh Taromirad, Mohammad Reza Mousavi 0001 |
Gray-Box Conformance Testing for Symbolic Reactive State Machines. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri |
Using Swarm Intelligence to Generate Test Data for Covering Prime Paths. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Marjan Sirjani (eds.) |
Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Stefan Gruner, Prince Sibanda |
Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Matias David Lee, Jurriaan Rot |
Bisimilarity of Open Terms in Stream GSOS. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi |
Purpose-Based Policy Enforcement in Actor-Based Systems. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu |
Translating Active Objects into Colored Petri Nets for Communication Analysis. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdi Houshmand, Samad Paydar |
TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex P. Klinkhamer, Ali Ebnenasir |
Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Kühn |
Flexible Transactional Coordination in the Peer Model. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün |
Debugging of Concurrent Systems Using Counterexample Analysis. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Giulio Guerrieri |
Implementing Open Call-by-Value. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | José Proença, Carlos Baquero |
Quality-Aware Reactive Programming for the Internet of Things. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan |
Automatic Transition System Model Identification for Network Applications from Packet Traces. |
FSEN |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh |
An Interval-Based Approach to Modelling Time in Event-B. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu 0001 |
A Behavioural Theory for a π-calculus with Preorders. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepanker Aggarwal, Astrid Kiehn |
Analyzing Mutable Checkpointing via Invariants. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Thomas Vogel 0001, Sebastian Wätzoldt |
Towards Smart Systems of Systems. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh |
From Event-B Models to Dafny Code Contracts. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Sedaghatbaf, Mohammad Abdollahi Azgomi |
Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nuno Gaspar, Ludovic Henrio, Eric Madelaine |
Painless Support for Static and Runtime Verification of Component-Based Applications. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Alessandro Rioli |
Applicative Bisimulation and Quantum λ-Calculi. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir |
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
Tooled Process for Early Validation of SysML Models Using Modelica Simulation. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sedigheh Khoshnevis, Fereidoon Shams |
Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
A Theory of Integrating Tamper Evidence with Stabilization. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik T. Q. Jongmans, Farhad Arbab |
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Marjan Sirjani (eds.) |
Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen J. A. Keiren |
Benchmarks for Parity Games. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi |
A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi |
Improved Iterative Methods for Verifying Markov Decision Processes. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Harsh Beohar, Mohammad Reza Mousavi 0001 |
A Pre-congruence Format for XY-simulation. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Behnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi |
Modeling and Efficient Verification of Broadcasting Actors. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Paola Inverardi, Massimo Tivoli |
Automated Integration of Service-Oriented Software Systems. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Keyvan Azadbakht, Vlad Serbanescu 0001, Frank S. de Boer |
High Performance Computing Applications Using Parallel Data Processing Units. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Razieh Behjati, Shiva Nejati |
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ka I Pun, Martin Steffen, Volker Stolz |
Deadlock Checking by Data Race Detection. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Battisti, Damiano Macedonio, Massimo Merro |
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex P. Klinkhamer, Ali Ebnenasir |
On the Complexity of Adding Convergence. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue |
Unbounded Allocation in Bounded Heaps. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Somsak Vanit-Anunchai |
Validating SCTP Simultaneous Open Procedure. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Vekris, Catalin Dima |
Efficient Operational Semantics for for Verification of Temporal Properties. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Hanen Ochi |
Checking Compatibility of Web Services Behaviorally. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski |
Push-Down Automata with Gap-Order Constraints. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulia Teodora Banu-Demergian, Ciprian Paduraru, Gheorghe Stefanescu |
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Gaur, S. Arun-Kumar |
On Efficiency Preorders. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Hatefi, Holger Hermanns |
Improving Time Bounded Reachability Computations in Interactive Markov Chains. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink, Ali Movaghar 0001 |
Model Checking MANETs with Arbitrary Mobility. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Marjan Sirjani (eds.) |
Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Elham Ramezani, Natalia Sidorova, Christian Stahl |
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. |
FSEN |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license