Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rüdiger Grammes, Reinhard Gotzhein |
Towards the Harmonisation of UML and SDL. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee 0001 |
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Chatain, Claude Jard |
Symbolic Diagnosis of Partially Observable Concurrent Systems. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
Formal Verification of a Practical Lock-Free Queue Algorithm. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Barros, Rabéa Boulifa, Eric Madelaine |
Parameterized Models for Distributed Java Objects. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Robert Meolic, Alessandro Fantechi, Stefania Gnesi |
Witness and Counterexample Automata for ACTL. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
Petri Net Semantics of the Finite pi-Calculus. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann |
Progressive Solutions to a Parallel Automata Equation. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Thees |
Type Abstraction in Formal Protocol Specifications with Container Types. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Courtiat |
Formal Design of Interactive Multimedia Documents. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Software Architecture, Service Engineering, Layered Architecture |
1 | Cyril Carrez, Alessandro Fantechi, Elie Najm |
Behavioural Contracts for a Sound Assembly of Components. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Romano 0002, Milton Romero, Bruno Ciciani, Francesco Quaglia |
Validiation of the Sessionless Mode of the HTTPR Protocol. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tao Sun, Keiichi Yasumoto, Masaaki Mori, Teruo Higashino |
QoS Functional Testing for Multi-media Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Billington, Guy Edward Gallasch |
How Stop and Wait Protocols Can Fail over the Internet. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Stop and Wait Protocols, Protocol Analysis and Verification, TCP, Coloured Petri Nets, State space methods |
1 | Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan |
Correct Passive Testing Algorithms and Complete Fault Coverage. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Doron A. Peled, Hongyang Qu 0001 |
Automatic Verification of Annotated Code. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Andreas Noack |
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons, Hasan Ural |
Concerning the Ordering of Adaptive Test Sequences. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Samik Basu 0001, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka |
Generation of All Counter-Examples for Push-Down Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Núñez 0001, Ismael Rodríguez |
Towards Testing Stochastic Timed Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Conformance testing, performance testing, test theory |
1 | Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale |
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
timed EFSM, timed extensions, conformance testing, SDL |
1 | Peter Herrmann |
Formal Security Policy Verification of Distributed Component-Structured Software. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mana Taghdiri, Daniel Jackson 0001 |
A Lightweight Formal Analysis of a Multicast Key Management Scheme. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Lightweight modeling, asynchronous rekeying, formal specification, key management, Alloy, secure multicast |
1 | Peter J. Robinson 0001, Carron Shankland |
Combating Infinite State Using Ergo. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rodolfo Gómez 0001, Howard Bowman |
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut König, Monika Heiner, Adam Wolisz (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth J. Turner |
Specifying and Realising Interactive Voice Services. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Rychwalski, Jacek Wytrebowicz |
UNIX STREAMS Generation from a Formal Specification. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Unix STREAMS, automatic code generation, formal description techniques, Estelle |
1 | Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino |
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Gotzhein |
Vertical Reuse in the Development of Distributed Systems with FDTs. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hesham Kamal Arafat Mohamed, Bruno Müller-Clostermann |
Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang, Geng-Dian Hwang, Fang Yu 0001 |
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
verification, real-time, coverage, symbolic simulation |
1 | Tim Kempster, Colin Stirling |
Modeling and Model Checking Mobile Phone Payment Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Giannakopoulou, Flavio Lerda |
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Deussen, Stephan Tobies |
Formal Test Purposes and the Validity of Test Cases. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
Visual Specifications for Modular Reasoning about Asynchronous Systems. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gregor von Bochmann |
Submodule Construction for Specifications with Input Assumptions and Output Guarantees. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Olivier Ribet, François Vernadat 0001, Bernard Berthomieu |
On Combining the Persistent Sets Method with the Covering Steps Graph Method. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
persistent sets, covering steps graph, partial-order, Concurrent systems, state space exploration, verification methods |
1 | Dragan Bosnacki |
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction |
1 | Lars Michael Kristensen, Thomas Mailund |
A Compositional Sweep-Line State Space Exploration Method. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, Frédéric Lang |
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carolos Livadas, Nancy A. Lynch |
A Formal Venture into Reliable Multicast Territory. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robert Palmer, Ganesh Gopalakrishnan |
A Distributed Partial Order Reduction Algorithm. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth J. Turner, Qian Bing |
Protocol Techniques for Testing Radiotherapy Accelerators. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Daniel C. DuVarney, S. Purushothaman Iyer |
C Wolf - A Toolset for Extracting Models from C Programs. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs |
1 | Thanyapat Sakunkonchak, Masahiro Fujita |
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Teemu Tynjälä, Sari Leppänen, Vesa Luukkala |
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle, Sutikshan Bhutani |
Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Simon Pickin 0001, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec |
System Test Synthesis from UML Models of Distributed Software. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang, Karsten Schmidt 0004 |
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
data-structures, Symmetry, symbolic model-checking, pointers |
1 | Marta Z. Kwiatkowska, Gethin Norman |
Verifying Randomized Byzantine Agreement. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms |
1 | Ronald W. Brower, Kenneth S. Stevens |
Congruent Weak Conformance, a Partial Order among Processes. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth J. Turner |
Modelling SIP Services Using CRESS. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Núñez 0001, Ismael Rodríguez |
Encoding PAMR into (Timed) EFSMs. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Doron A. Peled, Moshe Y. Vardi (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Luca Compagna |
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Verification, Network security |
1 | Stephan Reiff-Marganiec, Kenneth J. Turner |
Use of Logic to Describe Enhanced Communications Services. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Enhanced Communications Services, Policy Description Language, Ponder, Policies, SIP |
1 | Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch |
Mechanical Translation of I/O Automaton Specifications into First-Order Logic. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
Bounded Model Checking for Timed Systems. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Verdejo |
Building Tools for LOTOS Symbolic Semantics in Maude. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language |
1 | Matti Luukkainen |
Verification of Dense Time Properties using Theories of Untimed Process Algebra. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Jianping Wu, Yixin Zhao, Xia Yin |
From Active to Passive: Progress in Testing of Internet Routing Protocols. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Tin-Wo Cheung, Samuel T. Chanson |
A PKI-Based End-to-End Secure Infrastructure for Mobile E-Commerce. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Akio Nakata, Teruo Higashino |
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Howard Bowman |
Time and Action Lock Freedom Properties for Timed Automata. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Insup Lee 0001, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky |
A Family of Resource-Bound Real-Time Process Algebras. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Jan Bredereke |
A Tool for Generating Specifications from a Family of Formal Requirements. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Ulrich Ultes-Nitsche, Simon St. James |
Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Muffy Calder, Carron Shankland |
A Symbolic Semantics and Bisimulation for Full LOTOS. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Farn Wang |
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Myungchul Kim 0001, Byoungmoon Chin, Sungwon Kang, Danhyung Lee (eds.) |
Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Heike Wehrheim |
Patterns and Rules for Behavioural Subtyping. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Aziz Salah, Rachida Dssouli, Guy Lapalme |
Compiling Real-Time Scenarios into a Timed Automaton. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | David Lee, Ruibing Hao |
Test Sequence Selection. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Jeremy W. Bryans, Carron Shankland |
Implementing a Modal Logic over Data and Processes using XTL. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Ferhat Khendek, Stephan Bourduas, Daniel Vincent |
Stepwise Design with Message Sequence Charts. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Pao-Ann Hsiung |
Formal Synthesis and Control of Soft Embedded Real-Time Systems. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Hubert Garavel, Frédéric Lang |
SVL: A Scripting Language for Compositional Verification. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Manuel Núñez 0001, Ismael Rodríguez |
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino |
A Method to Generate Conformance Test Sequences for FSM with Timer System Call. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | César Viho, Sébastien Barbin, Lénaick Tanguy |
Towards a Formal Framework for Interoperability Testing. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Jeannette M. Wing |
Survivability Analysis of Networked Systems. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Khaled El-Fakih, Nina Yevtushenko 0001, Gregor von Bochmann |
Diagnosing Multiple Faults in Communicating Finite State Machines. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Xiaohua Kong, Radu Negulescu |
Formal Verification of Peephole Optimizations in Asynchronous Circuits. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Wen-Huei Chen |
Executable Test Sequence for the Protocol Data Flow Property. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo |
Distributed Test using Logical Clock. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Sven Twarok, Peter Langendörfer, Hartmut König |
Automated Derivation of ILP Implementations from SDL Specifications. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Dines Bjørner |
On Formal Techniques in Protocol Engineering - Example Challenges. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Vlad Rusu |
Verifying a Sliding Window Protocol using PVS. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
1 | Kousha Etessami, Mihalis Yannakakis |
From Rule-based to Automata-based Testing. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Nancy D. Griffeth, Ruibing Hao, David Lee 0001, Rakesh K. Sinha |
Integrated System Interoperability Testing with Applications to VOIP. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi |
A Logic of Belief and a Model Checking Algorithm for Security Protocols. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Marco Bernardo 0001, Marina Ribaudo, Nadia Busi |
Compact Net Semantics for Process Algebras. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea |
A Priori Verification of Reactive Systems. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Giorgio Delzanno |
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Antonella Santone |
Compositionality for Improving Model Checking. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001 |
On Test Derivation from Partial Specifications. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Serge Haddad, Jean-Michel Ilié, Khalil Ajami |
A Model Checking Method for Partially Symmetric Systems. |
FORTE |
2000 |
DBLP BibTeX RDF |
|