|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 183 occurrences of 149 keywords
|
|
|
|
|
Results
Found 854 publication records. Showing 854 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aman Goel, Stephan Merz, Karem A. Sakallah |
Towards an Automatic Proof of the Bakery Algorithm.  |
FORTE  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink |
On Bisimilarity for Polyhedral Models and SLCS. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra van den Bos, Mariëlle Stoelinga |
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
Relating Reversible Petri Nets and Reversible Event Structures, Categorically. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Esposito 0006, Alessandro Aldini, Marco Bernardo 0001 |
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Neda Saeedloei, Feliks Kluzniak |
Operations on Timed Scenarios. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | P. H. M. van Spaendonck |
Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marieke Huisman, António Ravara (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi |
Certified Compilation of Choreographies with hacc. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Memmi |
Minimal Generating Sets for Semiflows. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Massimo Merro, Nicola Zannone |
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti |
Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, José Pereira 0001, Paulo Sérgio Almeida |
An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmoy Das, Arpit Sharma 0002 |
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. |
FORTE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh Kumar 0012, Siddhant Singh, Bhavesh Narra, Rohan Kela |
Co-engineering Safety-Security Using Statistical Model Checking. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bineet Ghosh, Étienne André |
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse |
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen |
The Reversible Temporal Process Language. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Alain Finkel, Amrita Suresh 0001 |
Branch-Well-Structured Transition Systems and Extensions. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Schmitt 0002, Kirstin Peters, Yuxin Deng |
Encodability Criteria for Quantum Based Systems. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg |
LTL Under Reductions with Weaker Conditions Than Stutter Invariance. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirstin Peters, Uwe Nestmann, Christoph Wagner |
Fault-Tolerant Multiparty Session Types. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi 0001, Anna Philippou (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet |
Effective Reductions of Mealy Machines. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer |
Traits: Correctness-by-Construction for Free. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza |
Monitoring Hyperproperties with Circuits. |
FORTE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Leander Jehl |
Formal Verification of HotStuff. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh-Hai Tran 0002, Igor Konnov 0001, Josef Widder |
A Case Study on Parametric Verification of Failure Detectors. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari 0002, Stefania Gnesi, Felicita Di Giandomenico |
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bouwman, Bas Luttik, Djurre van der Wal |
A Formalisation of SysML State Machines in mCRL2. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jeroen J. A. Keiren |
Tutorial: Designing Distributed Software in mCRL2. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bouwman, Bas Luttik, Tim A. C. Willemse |
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri |
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia |
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Uma Zalakain, Ornela Dardha |
π with Leftovers: A Mechanisation in Agda. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina Castiglioni, Michele Loreti, Simone Tini |
How Adaptive and Reliable is Your Program? |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirstin Peters, Tim A. C. Willemse (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci |
Towards a Spatial Model Checker on GPU. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir |
On Bidirectional Runtime Enforcement. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
Better Late Than Never or: Verifying Asynchronous Components at Runtime. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Kokke, Ornela Dardha |
Prioritise the Best Variation. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Montin, Marc Pantel |
Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. |
FORTE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Konnov 0001, Marijana Lazic, Ilina Stoilkovska, Josef Widder |
Tutorial: Parameterized Verification with Byzantine Model Checker. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shukun Tokas, Olaf Owe |
A Formal Framework for Consent Management. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi 0001, Sebastian Biewer, Holger Hermanns |
Conformance-Based Doping Detection for Cyber-Physical Systems. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Laura Voinea, Ornela Dardha, Simon J. Gay |
Typechecking Java Protocols with [St]Mungo. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiraku Minami |
Trace Equivalence and Epistemic Logic to Express Security Properties. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Shimi, Aurélie Hurault, Philippe Quéinnec |
Derivation of Heard-of Predicates from Elementary Behavioral Patterns. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas |
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo P. Gros, Holger Hermanns, Jörg Hoffmann 0001, Michaela Klauck, Marcel Steinmetz |
Deep Statistical Model Checking. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Sproston |
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Basile 0001, Maurice H. ter Beek, Axel Legay |
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo 0001, Claudio Antares Mezzina |
Towards Bridging Time and Causal Reversibility. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal |
On Implementable Timed Automata. |
FORTE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrika Bhardwaj, Sanjiva Prasad |
Only Connect, Securely. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Völlinger |
On Certifying Distributed Algorithms: Problem of Local Correctness. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang 0001, Taylor T. Johnson |
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal |
On a Higher-Order Calculus of Computational Fields. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
Squeezing Streams and Composition of Self-stabilizing Algorithms. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Pérez 0001, Nobuko Yoshida (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Didier Lime, Mathias Ramparison |
Parametric Updates in Parametric Timed Automata. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Bernard Stefani, Martin Vassor |
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Åman Pohjola |
Psi-Calculi Revisited: Connectivity and Compositionality. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime |
Parametric Statistical Model Checking of UAV Flight Plan. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler |
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Adrián Palacios, Germán Vidal |
Causal-Consistent Replay Debugging for Message Passing Programs. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jannik Hüls, Anne Remke |
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Graf-Brill, Holger Hermanns |
Component-aware Input-Output Conformance. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Calzavara, Alvise Rabitti, Michele Bugliesi |
Semantically Sound Analysis of Content Security Policies. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Ene, Laurent Mounier, Marie-Laure Potet |
Output-Sensitive Information Flow Analysis. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López 0001, Søren Debois, Marco Carbone |
Declarative Choreographies and Liveness. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse |
Correct and Efficient Antichain Algorithms for Refinement Checking. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | The Anh Pham 0001, Thierry Jéron, Martin Quinson |
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. |
FORTE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti |
A Distributed Coordination Infrastructure for Attribute-Based Interaction. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi |
Monotonic Prefix Consistency in Distributed Systems. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli |
Applied Choreographies. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira |
A Calculus for Modeling Floating Authorizations. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
A Modest Security Analysis of Cyber-Physical Systems: A Case Study. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Westman, Mattias Nyberg |
Preserving Contract Satisfiability Under Non-monotonic Composition. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Luís Caires (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld |
Information Flow Tracking for Side-Effectful Libraries. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Völlinger, Samira Akili |
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Petrucci, Jaco van de Pol |
Parameter Synthesis Algorithms for Parametric Interval Markov Chains. |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Nantes, Jorge A. Pérez 0001 |
Relating Process Languages for Security and Communication Correctness (Extended Abstract). |
FORTE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer |
On Futures for Streaming Data in ABS - (Short Paper). |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Montesi |
Classical Higher-Order Processes - (Short Paper). |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Massimo Merro, Simone Tini |
Weak Simulation Quasimetric in a Gossip Scenario. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan J. J. Vijzelaar, Wan J. Fokkink |
Creating Büchi Automata for Multi-valued Model Checking. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Graeme Smith 0001 |
An Observational Approach to Defining Linearizability on Weak Memory Models. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Paul Gibson, Souad Kherroubi, Dominique Méry |
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
Proving Opacity via Linearizability: A Sound and Complete Method. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Shang-Wei Lin 0001 |
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Alexandra Silva 0001 (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson |
Weak Nominal Modal Logic. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel von Maltitz, Cornelius Diekmann, Georg Carle |
Privacy Assessment Using Static Taint Analysis (Tool Paper). |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alasdair Armstrong, Brijesh Dongol |
Modularising Opacity Verification for Hybrid Transactional Memory. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Fabrizio Montesi |
Procedural Choreographic Programming. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 854 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license