Search results for "FORTE"

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

Publications at "FORTE"( http://dblp.L3S.de/Venues/FORTE )