| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | 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 | Margus Veanes, Nikolaj Bjørner, Alexander Raschke |
An SMT Approach to Bounded Reachability Analysis of Model Programs. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Li, Huibiao Zhu, Jifeng He |
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 | 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 | Manuel Núñez, Luis Fernando Llana Díaz |
A Hierarchy of Equivalences for Probabilistic Processes. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Wolfram Schulte |
Protocol Modeling with Model Program Composition. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobe Toben |
Counterexample Guided Spotlight Abstraction Refinement. |
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 | Bogdan Aman, Gabriel Ciobanu |
Timed Mobile Ambients for Network Protocols. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Shu, Yating Hsu, David Lee |
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 | 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 BibTeX RDF |
|
| 1 | Ichiro Satoh |
A Specification Framework for Earth-Friendly Logistics. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | Wei Wang, 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 | 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 | 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 | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine |
Parameterized Tree Systems. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, 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 | Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
Checking Correctness of Transactional Behaviors. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence |
| 1 | Thomas Gazagnaire, Loïc Hélouët |
Event Correlation with Boxed Pomsets. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo |
Verifying Erlang/OTP Components in mu CRL. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
OTP, ?CRL, Verification, process algebra, Erlang |
| 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 BibTeX RDF |
|
| 1 | Margus Veanes, Juhan P. Ernits, Colin Campbell |
State Isomorphism in Model Programs with Abstract Data Structures. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 | 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 | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Graf, Sophie Quinton |
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Christian Webel, Reinhard Gotzhein |
Formalization of Network Quality-of-Service Requirements. |
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 | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez |
New Bisimulation Semantics for Distributed Systems. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Laure Petrucci, Michel A. Reniers |
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün |
Recovering Repetitive Sub-functions from Observations. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch |
The DHCP Failover Protocol: A Formal Perspective. |
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 | Margus Veanes, Colin Campbell, Wolfram Schulte |
Composition of Model Programs. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kedian Mu, Zhi Jin |
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
Coordination Via Types in an Event-Based Framework. |
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 | Mila E. Majster-Cederbaum, Moritz Martens |
Robustness in Interaction Systems. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 |
|
| 1 | Serge Haddad, Pascal Poizat |
Transactional Reduction of Component Compositions. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Bernet, David Janin |
On Distributed Program Specification and Synthesis in Architectures with Cycles. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore |
Analysis of Realizability Conditions for Web Service Choreographies. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Nathalie Bertrand, Ph. Schnoebelen |
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bassel Daou, Gregor von Bochmann |
Generalizing the Submodule Construction Techniques for Extended State Machine Models. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
Composition of Use Cases Using Synchronization and Model Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
synchronized product, model checking, Use cases, composition operators |
| 1 | Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng |
Scenario-Based Timing Consistency Checking for Time Petri Nets. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Keqin Li 0002, Roland Groz, Muzammil Shahbaz |
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
JSCL: A Middleware for Service Coordination. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zohair Chentouf, Ahmed Khoumsi |
Presence Interaction Management in SIP SOHO Architecture. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
SOHO, Presence interaction (PI) detection and resolution, PI Management Agent (PIMA), PI Management Language (PIML), order relations |
| 1 | Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck |
Liveness by Invisible Invariants. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Avik Chaudhuri, Martín Abadi |
Formal Analysis of Dynamic, Distributed File-System Access Controls. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez |
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu |
Grey-Box Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan-Pablo López-Grao, José Manuel Colom |
Resource Allocation Systems: Some Complexity Results on the S4PR Class. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Chothia |
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson S. Rosa, Paulo Roberto Freire Cunha |
A LOTOS Framework for Middleware Specification. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Krob |
Modelling of Complex Software Systems: A Reasoned Overview. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
Modelling, Information system, Complex system, Software system, Integrated system |
| 1 | Bernd Finkbeiner, Sven Schewe, Matthias Brill |
Automatic Synthesis of Assumptions for Compositional Model Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves |
PN Standardisation: A Survey. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Youcef Hammal |
Branching Time Semantics for UML 2.0 Sequence Diagrams. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra |
Web Cube. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mardare, Corrado Priami |
Decidable Extensions of Hennessy-Milner Logic. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Rousseau |
A New Approach for Concurrent Program Slicing. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie Lamport |
The +CAL Algorithm Language. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet |
Optimized Colored Nets Unfolding. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione |
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder |
Semantic-Based Development of Service-Oriented Systems. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Humberto Nicolás Castejón Martínez, Rolv Bræk |
Formalizing Collaboration Goal Sequences for Service Choreography. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. |
FORTE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün |
Minimizing Coordination Channels in Distributed Testing. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Lang |
Refined Interfaces for Compositional Verification. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings |
FORTE |
2005 |
DBLP BibTeX RDF |
|
| 1 | A. Prasad Sistla, Min Zhou |
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Astrid Kiehn, S. Arun-Kumar |
Amortised Bisimulations. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Helke, Florian Kammüller |
Structure Preserving Data Abstractions for Statecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerrit Rothmaier, Heiko Krumm |
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Desmoulin, César Viho |
Formalizing Interoperability Testing: Quiescence Management and Test Generation. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Chen, Robert M. Hierons, Hasan Ural |
Resolving Observability Problems in Distributed Test Architectures. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
testing, controllability, Finite state machine, observability, test architecture |
| 1 | Junyan Qian, Baowen Xu |
Model Checking for Timed Statecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna |
Expressive Completeness of an Event-Pattern Reactive Programming Language. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot |
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
Internet Protocols, Coloured Petri Nets, State space methods, DCCP |
| 1 | Thomas Chatain, Loïc Hélouët, Claude Jard |
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Lakos |
A Petri Net View of Mobility. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Teruo Higashino, Hirozumi Yamaguchi |
A Testing Architecture for Designing High-Reliable MANET Protocols. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna |
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Serge Haddad, Jean-Michel Ilié |
Modular Verification of Petri Nets Properties: A Structure-Based Approach. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
Petri nets, (de)composition, Abstraction, modular verification |
| 1 | Joel Kelso, George Milne |
Properties as Processes: Their Specification and Verification. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kairong Qian, Albert Nymeyer, Steven Susanto |
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
model approximations, Formal verification, heuristic search, symbolic model checking, data abstractions |
| 1 | Kai-Hui Chang, Jeh-Yen Kang, Han-Wei Wang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo |
Automatic Partitioner for Behavior Level Distributed Logic Simulation. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
RTL level partitioner, behavior level partitioner, distributed simulation, parallel simulation |
| 1 | Stefan Strubbe, Rom Langerak |
A Composition Operator for Systems with Active and Passive Actions. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
supervisory control, Compositional modelling |
| 1 | Chang Yu, Li-Hsing Yen |
Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
exposed terminal, exposed terminal, performance evaluation, sensor networks, Ad hoc networks, quantitative analysis, analytical method, hidden terminal, random geometric graphs |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")