FSEN - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 196

2023

Structured Specification of Paraconsistent Transition SystemsJuliana Cunha, Alexandre Madeira, Luís Soares Barbosa. fsen 2023: 1-17 [doi]

Towards a Basic Theory for Partial Differentiation in the Prototype Verification SystemAndrea Domenici. fsen 2023: 18-24 [doi]

Case Studies of Development of Verified Programs with Dafny for Accessibility AssessmentJoão Pascoal Faria, Rui Abreu 0001. fsen 2023: 25-39 [doi]

TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths GenerationEbrahim Fazli, Ali Ebnenasir. fsen 2023: 40-54 [doi]

Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected PapersHossein Hojjat, Erika Ábrahám, editors, Volume 14155 of Lecture Notes in Computer Science, Springer, 2023. [doi]

An Optimised Complete Strategy for Testing Symbolic Finite State MachinesWen-ling Huang, Niklas Krafczyk, Jan Peleska 0001. fsen 2023: 55-71 [doi]

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family ModelsEhsan Khamespanah, Marjan Sirjani, Ramtin Khosravi. fsen 2023: 72-87 [doi]

Interaction-Based Offline Runtime Verification of Distributed SystemsErwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. fsen 2023: 88-103 [doi]

Genetic Algorithm for Program SynthesisYutaka Nagashima. fsen 2023: 104-111 [doi]

Template-Based Conjecturing for Automated Induction in Isabelle/HOLYutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang. fsen 2023: 112-125 [doi]

Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework)P. H. M. van Spaendonck. fsen 2023: 126-141 [doi]

kProp: Multi-neuron Relaxation Method for Neural Network Robustness VerificationXiaoyong Xue, Xiyue Zhang, Meng Sun 0002. fsen 2023: 142-156 [doi]

2021

Compressing Automatically Generated Unit Test Suites Through Test ParameterizationAidin Azamnouri, Samad Paydar. fsen 2021: 215-221 [doi]

Runtime Monitoring Processes Across BlockchainsShaun Azzopardi, Joshua Ellul, Gordon J. Pace. fsen 2021: 142-156 [doi]

Adding Proof Calculi to Epistemic Logics with Structured KnowledgeMario R. F. Benevides, Alexandre Madeira, Manuel A. Martins 0001. fsen 2021: 53-68 [doi]

Protocol SchedulingKasper Dokter, Farhad Arbab. fsen 2021: 3-17 [doi]

A Program Logic for Fresh Name GenerationHarold Pancho Eliott, Martin Berger. fsen 2021: 76-91 [doi]

Introducing Interval Differential Dynamic LogicDaniel Figueiredo. fsen 2021: 69-75 [doi]

Systematic Extraction of Tests from Object-Oriented ProgramsMohammad Ghoreshi, Hassan Haghighi. fsen 2021: 222-228 [doi]

Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected PapersHossein Hojjat, Mieke Massink, editors, Volume 12818 of Lecture Notes in Computer Science, Springer, 2021. [doi]

Extending OCL with Map and Function TypesKevin Lano, Shekoufeh Kolahdouz Rahimi. fsen 2021: 108-123 [doi]

Promise Plus: Flexible Synchronization for Parallel Computations on ArraysAmaury Maillé, Ludovic Henrio, Matthieu Moy. fsen 2021: 190-196 [doi]

Incremental Refinement of Goal Models with ContractsPiergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione. fsen 2021: 35-50 [doi]

Solving Systems of Bilinear Equations for Transition Rate ReconstructionAmin Soltanieh, Markus Siegle. fsen 2021: 157-172 [doi]

Deadlock in Packet Switching NetworksAnna Stramaglia, Jeroen J. A. Keiren, Hans Zantema. fsen 2021: 127-141 [doi]

Automated Replication of Tuple Spaces via Static AnalysisAline Uwimbabazi, Omar Inverso, Rocco De Nicola. fsen 2021: 18-34 [doi]

Term Rewriting on GPUsJohri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens 0001, Anton Wijs. fsen 2021: 175-189 [doi]

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional SpecificationsArvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah. fsen 2021: 199-214 [doi]

Event-Driven Temporal Logic Pattern for Control Software Requirements SpecificationVladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey Staroletov, Andrei Rozov, Tatiana Liakh. fsen 2021: 92-107 [doi]

2019

Verification of Smart Contract Business Logic - Exploiting a Java Source Code VerifierWolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider. fsen 2019: 228-243 [doi]

Case Study on Certifying Distributed Algorithms: Reducing IntrusivenessSamira Akili, Kim Völlinger. fsen 2019: 179-185 [doi]

An Approach to Generate Effective Fault Localization Methods for ProgramsBabak Bagheri, Mohammad Rezaalipour, Mojtaba Vahidi-Asl. fsen 2019: 244-259 [doi]

Service Orchestration with Priority ConstraintsBehnaz Changizi, Natallia Kokash, Farhad Arbab. fsen 2019: 194-209 [doi]

A Two-Dimensional Self-coordination Mechanism of Agents in a Minority GameSanaz Hasanzadeh Fard, Hadi Tabatabaee Malazi. fsen 2019: 20-36 [doi]

Logics for Petri Nets with Propagating FailuresLeandro Gomes, Alexandre Madeira, Mario R. F. Benevides. fsen 2019: 145-157 [doi]

Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDLAntonio González-Burgueño, Peter Csaba Ölveczky. fsen 2019: 129-144 [doi]

Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected PapersHossein Hojjat, Mieke Massink, editors, Volume 11761 of Lecture Notes in Computer Science, Springer, 2019. [doi]

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive SystemsNarges Khakpour, Jetty Kleijn, Marjan Sirjani. fsen 2019: 3-19 [doi]

Greenify: A Game with the Purpose of Test Data Generation for Unit TestingSharmin Moosavi, Hassan Haghighi, Hasti Sahabi, Farzam Vatanzade, Mojtaba Vahidi-Asl. fsen 2019: 77-92 [doi]

Using PVS for Modeling and Verification of Probabilistic ConnectorsM. Saqib Nawaz, Meng Sun 0002. fsen 2019: 61-76 [doi]

Proof Guidance in PVS with Sequential Pattern MiningM. Saqib Nawaz, Meng Sun 0002, Philippe Fournier-Viger. fsen 2019: 45-60 [doi]

Verifying System-Wide Properties of Industrial Component-Based SoftwareThomas Neele, Marijn Rol, Jan Friso Groote. fsen 2019: 158-175 [doi]

An Experimental Study on Flakiness and Fragility of Randoop Regression Test SuitesSamad Paydar, Aidin Azamnouri. fsen 2019: 111-126 [doi]

A Persistent Entropy Automaton for the Dow Jones Stock MarketMarco Piangerelli, Luca Tesei, Emanuela Merelli. fsen 2019: 37-42 [doi]

Taming Hierarchical ConnectorsJosé Proença, Alexandre Madeira. fsen 2019: 186-193 [doi]

Active Learning of Industrial Software with DataLisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers. fsen 2019: 95-110 [doi]

Modeling Non-deterministic C Code with Active ObjectsNathan Wasser, Asmae Heydari Tabar, Reiner Hähnle. fsen 2019: 213-227 [doi]

2017

Implementing Open Call-by-ValueBeniamino Accattoli, Giulio Guerrieri. fsen 2017: 1-19 [doi]

Debugging of Concurrent Systems Using Counterexample AnalysisGianluca Barbon, Vincent Leroy, Gwen Salaün. fsen 2017: 20-34 [doi]

Using Swarm Intelligence to Generate Test Data for Covering Prime PathsAtieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri. fsen 2017: 132-147 [doi]

Bisimilarity of Open Terms in Stream GSOSFilippo Bonchi, Matias David Lee, Jurriaan Rot. fsen 2017: 35-50 [doi]

Composing Families of Timed AutomataGuillermina Cledou, José Proença, Luís Soares Barbosa. fsen 2017: 51-66 [doi]

A Formal Model for Multi SPLsFerruccio Damiani, Michael Lienhardt, Luca Paolini. fsen 2017: 67-83 [doi]

Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected PapersMehdi Dastani, Marjan Sirjani, editors, Volume 10522 of Lecture Notes in Computer Science, Springer, 2017. [doi]

Flexible Transactional Coordination in the Peer Modeleva Kühn. fsen 2017: 116-131 [doi]

Translating Active Objects into Colored Petri Nets for Communication AnalysisAnastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu. fsen 2017: 84-99 [doi]

TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java ProgramsMahdi Houshmand, Samad Paydar. fsen 2017: 164-179 [doi]

Synthesizing Parameterized Self-stabilizing Rings with Constant-Space ProcessesAlex Klinkhamer, Ali Ebnenasir. fsen 2017: 100-115 [doi]

LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java SystemsAli Parsai, Alessandro Murgia, Serge Demeyer. fsen 2017: 148-163 [doi]

Quality-Aware Reactive Programming for the Internet of ThingsJosé Proença, Carlos Baquero. fsen 2017: 180-195 [doi]

Purpose-Based Policy Enforcement in Actor-Based SystemsShahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi. fsen 2017: 196-211 [doi]

Automatic Transition System Model Identification for Network Applications from Packet TracesZeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan. fsen 2017: 212-227 [doi]

Gray-Box Conformance Testing for Symbolic Reactive State MachinesMasoumeh Taromirad, Mohammad Reza Mousavi. fsen 2017: 228-243 [doi]

Model Checking of Concurrent Software Systems via Heuristic-Guided SAT SolvingNils Timm, Stefan Gruner, Prince Sibanda. fsen 2017: 244-259 [doi]

2015

Analyzing Mutable Checkpointing via InvariantsDeepanker Aggarwal, Astrid Kiehn. fsen 2015: 176-190 [doi]

Automated Integration of Service-Oriented Software SystemsMarco Autili, Paola Inverardi, Massimo Tivoli. fsen 2015: 30-45 [doi]

High Performance Computing Applications Using Parallel Data Processing UnitsKeyvan Azadbakht, Vlad Serbanescu, Frank S. de Boer. fsen 2015: 191-206 [doi]

Efficient Architecture-Level Configuration of Large-Scale Embedded Software SystemsRazieh Behjati, Shiva Nejati. fsen 2015: 110-126 [doi]

A Pre-congruence Format for XY-simulationHarsh Beohar, Mohammad Reza Mousavi. fsen 2015: 215-229 [doi]

From Event-B Models to Dafny Code ContractsMohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh. fsen 2015: 308-315 [doi]

Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected PapersMehdi Dastani, Marjan Sirjani, editors, Volume 9392 of Lecture Notes in Computer Science, Springer, 2015. [doi]

Incremental Realization of Safety Requirements: Non-determinism vs. ModularityAli Ebnenasir. fsen 2015: 159-175 [doi]

Painless Support for Static and Runtime Verification of Component-Based ApplicationsNuno Gaspar, Ludovic Henrio, Eric Madelaine. fsen 2015: 259-274 [doi]

Tooled Process for Early Validation of SysML Models Using Modelica SimulationJean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux. fsen 2015: 230-237 [doi]

A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed SystemsMohammad Ghafari, Abbas Heydarnoori, Hassan Haghighi. fsen 2015: 100-109 [doi]

Towards Smart Systems of SystemsHolger Giese, Thomas Vogel, Sebastian Wätzoldt. fsen 2015: 1-29 [doi]

A Theory of Integrating Tamper Evidence with StabilizationReza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. fsen 2015: 84-99 [doi]

A Behavioural Theory for a π-calculus with PreordersDaniel Hirschkoff, Jean-Marie Madiot, Xian Xu. fsen 2015: 143-158 [doi]

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?Sung-Shik T. Q. Jongmans, Farhad Arbab. fsen 2015: 238-258 [doi]

Improved Iterative Methods for Verifying Markov Decision ProcessesJaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi. fsen 2015: 207-214 [doi]

Benchmarks for Parity GamesJeroen J. A. Keiren. fsen 2015: 127-142 [doi]

Linear Evolution of Domain Architecture in Service-Oriented Software Product LinesSedigheh Khoshnevis, Fereidoon Shams. fsen 2015: 275-291 [doi]

Applicative Bisimulation and Quantum λ-CalculiUgo Dal Lago, Alessandro Rioli. fsen 2015: 54-68 [doi]

Software Architecture Modeling and Evaluation Based on Stochastic Activity NetworksAli Sedaghatbaf, Mohammad Abdollahi Azgomi. fsen 2015: 46-53 [doi]

An Interval-Based Approach to Modelling Time in Event-BGintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh. fsen 2015: 292-307 [doi]

Modeling and Efficient Verification of Broadcasting ActorsBehnaz Yousefi, Fatemeh Ghassemi, Ramtin Khosravi. fsen 2015: 69-83 [doi]

2013

Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected PapersFarhad Arbab, Marjan Sirjani, editors, Volume 8161 of Lecture Notes in Computer Science, Springer, 2013. [doi]

A New Representation of Two-Dimensional Patterns and Applications to Interactive ProgrammingI. T. Banu-Demergian, Ciprian Paduraru, Gheorghe Stefanescu. fsen 2013: 183-198 [doi]

Lending Petri Nets and ContractsMassimo Bartoletti, Tiziana Cimoli, G. Michele Pinna. fsen 2013: 66-82 [doi]

Statistical Model Checking of a Clock Synchronization Protocol for Sensor NetworksLuca Battisti, Damiano Macedonio, Massimo Merro. fsen 2013: 168-182 [doi]

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time SystemsAbdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali. fsen 2013: 111-132 [doi]

On Efficiency PreordersManish Gaur, S. Arun-Kumar. fsen 2013: 83-94 [doi]

Model Checking MANETs with Arbitrary MobilityFatemeh Ghassemi, Saeide Ahmadi, Wan Fokkink, Ali Movaghar. fsen 2013: 217-232 [doi]

Checking Compatibility of Web Services BehaviorallyKais Klai, Hanen Ochi. fsen 2013: 267-282 [doi]

On the Complexity of Adding ConvergenceAlex Klinkhamer, Ali Ebnenasir. fsen 2013: 17-33 [doi]

Compiling Cooperative Task Management to ContinuationsKeiko Nakata, Andri Saar. fsen 2013: 95-110 [doi]

Deadlock Checking by Data Race DetectionKa I. Pun, Martin Steffen, Volker Stolz. fsen 2013: 34-50 [doi]

Delta Modeling and Model Checking of Product FamiliesHamideh Sabouri, Ramtin Khosravi. fsen 2013: 51-65 [doi]

Validating SCTP Simultaneous Open ProcedureSomsak Vanit-Anunchai. fsen 2013: 233-249 [doi]

Efficient Operational Semantics for for Verification of Temporal PropertiesDimitris Vekris, Catalin Dima. fsen 2013: 133-149 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

FSEN (fsen)

Viewing Publication 1 - 100 from 196

2023

2021

2019

2017

2015

2013

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

FSEN (fsen)

Viewing Publication 1 - 100 from 196

2023

2021

2019

2017

2015

2013

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1