|
|
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 | Mauricio Cano, Jaime Arias 0001, Jorge A. Pérez 0001 |
Session-Based Concurrency, Reactively. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Weber 0001, Annette Bieniusa, Arnd Poetzsch-Heffter |
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja |
Reasoning About Distributed Secrets. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Adameit, Kirstin Peters, Uwe Nestmann |
Session Types for Link Failures. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Jorge A. Pérez 0001 |
Multiparty Session Types Within a Canonical Binary Theory, and Beyond. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni |
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh 0002 |
Multiple Mutation Testing from FSM. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse |
Branching Bisimulation Games. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luís Cruz-Filipe, Fabrizio Montesi |
Choreographies in Practice. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
Ransomware Steals Your Phone. Formal Methods Rescue It. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Atzei, Massimo Bartoletti |
Developing Honest Java Programs with Diogenes. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ákos Hajdu, Tamás Tóth, András Vörös 0001, István Majzik |
A Configurable CEGAR Framework with Interpolation-Based Refinements. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros 0001, Yunyun Zhu |
Fencing Programs with Self-Invalidation and Self-Downgrade. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Davide Basile 0001, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Emilio Tuosto |
Playing with Our CAT and Communication-Centric Applications. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti |
On the Power of Attribute-Based Communication. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hugo A. López 0001, Flemming Nielson, Hanne Riis Nielson |
Enforcing Availability in Failure-Aware Communicating Systems. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Henrio, Eric Madelaine, Min Zhang 0002 |
A Theory for the Composition of Concurrent Processes. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed |
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Pérez 0001 |
The Challenge of Typed Expressiveness in Concurrency. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster |
A Type Theory for Robust Failure Handling in Distributed Systems. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Spaccasassi, Vasileios Koutavas |
Type-Based Analysis for Session Inference (Extended Abstract). |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Ivan Lanese (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
A Framework for Certified Self-Stabilization. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia 0001, Alessandro Sebastian Podda, Livio Pompianu |
Compliance and Subtyping in Timed Session Types. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Anna Philippou |
Type Checking Privacy Policies in the π-calculus. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Weifeng Wang, Li Jiao |
Difference Bound Constraint Abstraction for Timed Automata Reachability Checking. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Stefan Löwe, Philipp Wendler |
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani |
Simple Isolation for an Actor Abstract Machine. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Horn, Daniel Kroening |
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Horn, Daniel Kroening |
Faster Linearizability Checking via P-Compositionality. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier |
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Graf, Mahesh Viswanathan 0001 (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal |
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann |
Dynamic Causality in Event Structures. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ala-Eddine Ben Salem |
Extending Testing Automata to All LTL. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ritwika Ghosh, Sayan Mitra |
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi, Richard J. Trefler |
Loop Freedom in AODVv2. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Padovani, Luca Novara |
Types for Deadlock-Free Higher-Order Programs. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Michael Isard |
Timely Dataflow: A Model. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres |
Effectiveness for Input Output Conformance Simulation iocos̱. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz |
On the Step Branching Time Closure of Free-Choice Petri Nets. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Francesca Pampaloni |
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shuling Wang, Flemming Nielson, Hanne Riis Nielson |
Denial-of-Service Security Attack in the Continuous-Time World. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lili Xu, Konstantinos Chatzikokolakis 0001, Huimin Lin |
Metrics for Differential Privacy in Concurrent Systems. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle |
Verifying Security Policies Using Host Attributes. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dániel Darvas, Borja Fernandez Adiego, András Vörös 0001, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez |
Formal Verification of Complex Properties on PLC Programs. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Zeller 0001, Annette Bieniusa, Arnd Poetzsch-Heffter |
Formal Specification and Verification of CRDTs. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chen Chen 0019, Limin Jia 0001, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo |
A Program Logic for Verifying Secure Routing Protocols. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone |
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Catuscia Palamidessi (eds.) |
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Vigo, Flemming Nielson, Hanne Riis Nielson |
Uniform Protection for Multi-exposed Targets. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Graf-Brill, Holger Hermanns, Hubert Garavel |
A Model-Based Certification Framework for the EnergyBus Standard. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Romero-Hernández, David de Frutos-Escrig |
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal |
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez |
Efficient and Generalized Decentralized Monitoring of Regular Languages. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Souheib Baarir, Alexandre Duret-Lutz |
Mechanizing the Minimization of Deterministic Generalized Büchi Automata. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine |
Parameterized Tree Systems. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo |
Checking Correctness of Transactional Behaviors. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence |
1 | Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke |
An SMT Approach to Bounded Reachability Analysis of Model Programs. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Webel, Reinhard Gotzhein, Joachim Nicolay |
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Núñez 0001, Luis Fernando Llana Díaz |
A Hierarchy of Equivalences for Probabilistic Processes. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ethan K. Jackson, Wolfram Schulte |
Model Generation for Horn Logic with Stratified Negation. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch |
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Verification, extension, Coloured Petri Nets, Contract Net Protocol |
1 | Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tobe Toben |
Counterexample Guided Spotlight Abstraction Refinement. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas |
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guoqiang Shu, Yating Hsu, David Lee 0001 |
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Fuzz testing, Security Testing, Protocol Synthesis |
1 | Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry |
Verification of a Hierarchical Generic Mutual Exclusion Algorithm. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
model checking, grid computing, distributed algorithm, composition, mutual exclusion, colored Petri nets |
1 | Farn Wang, Chih-Hong Cheng |
Program Repair Suggestions from Graphical State-Transition Specifications. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
state graph, state transition relation, evaluation, graph theory, cost, bisimulation, equivalence, repair |
1 | Wei Wang 0062, Dongyao Ji |
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
AACS, Authenticity, SPIN, LTL, Collusion Attack, Model Checker |
1 | Margus Veanes, Wolfram Schulte |
Protocol Modeling with Model Program Composition. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Satoh |
A Specification Framework for Earth-Friendly Logistics. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Timed Mobile Ambients for Network Protocols. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jing Li 0062, Huibiao Zhu, Jifeng He 0001 |
Specifying and Verifying Web Transactions. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang 0001 |
An Experimental Evaluation of Probabilistic Simulation. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau |
Adapting Petri Nets Reductions to Promela Specifications. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis |
Distributed Semantics and Implementation for Systems with Interaction and Priority. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Guo 0001, John Derrick, Csaba Hoch |
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang |
1 | Margus Veanes, Colin Campbell, Wolfram Schulte |
Composition of Model Programs. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre |
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Gazagnaire, Loïc Hélouët |
Event Correlation with Boxed Pomsets. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Guo 0001 |
Verifying Erlang/OTP Components in mu CRL. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
OTP, ?CRL, Verification, process algebra, Erlang |
1 | Mila E. Majster-Cederbaum, Moritz Martens |
Robustness in Interaction Systems. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rui Fan 0004, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch |
The DHCP Failover Protocol: A Formal Perspective. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Junghwa Chae |
Towards Modal Logic Formalization of Role-Based Access Control with Object Classes. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
object class hierarchy, tableaux method, Role-based access control, modal logic, object classes |
1 | John Derrick, Jüri Vain (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez |
New Bisimulation Semantics for Distributed Systems. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu |
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
Projection, Exception Handling, Orchestration, Choreography, Compensation, Finalization |
1 | Susanne Graf, Sophie Quinton |
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Haitao Dan, Robert M. Hierons, Steve Counsell |
Thread-Based Analysis of Sequence Diagrams. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
Thread tags, Semantics, Concurrency, Object Oriented, Partial Orders, Sequence Diagram |
1 | Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng |
Improvements for the Symbolic Verification of Timed Automata. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
verification, BDD, timed systems, symbolic method |
1 | Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin |
Testing Distributed Systems Through Symbolic Model Checking. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
global property, model checking of traces, trace checking, testing, asynchronous distributed systems |
1 | Gianluigi Ferrari 0002, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
Coordination Via Types in an Event-Based Framework. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fei He 0001, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Serge Haddad, Pascal Poizat |
Transactional Reduction of Component Compositions. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christian Webel, Reinhard Gotzhein |
Formalization of Network Quality-of-Service Requirements. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar |
Specification of Timed EFSM Fault Models in SDL. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines |
1 | João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes |
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 854 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|