Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 | Margus Veanes, Juhan P. Ernits, Colin Campbell |
State Isomorphism in Model Programs with Abstract Data Structures. |
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 | 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 | Humberto Nicolás Castejón Martínez, Rolv Bræk |
Formalizing Collaboration Goal Sequences for Service Choreography. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo |
JSCL: A Middleware for Service Coordination. |
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 | Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. |
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 | Bernd Finkbeiner, Sven Schewe, Matthias Brill |
Automatic Synthesis of Assumptions for Compositional Model Checking. |
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 | Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu 0001 |
Grey-Box Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fernando Llana Díaz, Manuel Núñez 0001, Ismael Rodríguez |
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. |
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 | Nelson S. Rosa, Paulo Roberto Freire Cunha |
A LOTOS Framework for Middleware Specification. |
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 | Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün |
Minimizing Coordination Channels in Distributed Testing. |
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 | Bassel Daou, Gregor von Bochmann |
Generalizing the Submodule Construction Techniques for Extended State Machine Models. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Rousseau |
A New Approach for Concurrent Program Slicing. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen |
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. |
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 | 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 | Radu Mardare, Corrado Priami |
Decidable Extensions of Hennessy-Milner Logic. |
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 | Julien Bernet, David Janin |
On Distributed Program Specification and Synthesis in Architectures with Cycles. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
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 | 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 | Leslie Lamport |
The +CAL Algorithm Language. |
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 | Raman Kazhamiakin, Marco Pistore |
Analysis of Realizability Conditions for Web Service Choreographies. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Lang |
Refined Interfaces for Compositional Verification. |
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 | 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 DOI BibTeX RDF |
|
1 | Tom Chothia |
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. |
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 | Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder 0001 |
Semantic-Based Development of Service-Oriented Systems. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yi Fang 0001, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck |
Liveness by Invisible Invariants. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke |
Proof Methodologies for Behavioural Equivalence in DPI. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Naijun Zhan, Mila E. Majster-Cederbaum |
Deriving Non-determinism from Conjunction and Disjunction. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism |
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 DOI BibTeX RDF |
|
1 | Alexandra Desmoulin, César Viho |
Formalizing Interoperability Testing: Quiescence Management and Test Generation. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peng Wu 0002, Dongmei Zhang 0007 |
Compositional Modelling and Verification of IPv6 Mobility. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pao-Ann Hsiung, Yen-Hung Lin |
Modeling and Verification of Safety-Critical Systems Using Safecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch |
Towards Synchronizing Linear Collaborative Objects with Operational Transformation. |
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 | Bassel Daou, Gregor von Bochmann |
Submodule Construction for Extended State Machine Models. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Ranking Abstraction as Companion to Predicate Abstraction. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Chi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei |
Automatic Generation of Conflict-Free IPsec Policies. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Abstract Operational Semantics for Use Case Maps. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps |
1 | Yujun Zhang, Zhongcheng Li |
Formal Description of Mobile IPv6 Protocol. |
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 | Arshad Jhumka, Neeraj Suri |
Designing Efficient Fail-Safe Multitolerant Systems. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
multitolerance, safety specification, program transformation, automation, program synthesis, Detectors, fail-safe |
1 | Benedikt Bollig, Martin Leucker |
A Hierarchy of Implementable MSC Languages. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Pradella, Matteo Rossi 0001, Dino Mandrioli |
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
UML, real-time, software architecture, formal methods |
1 | Yueh-Ting Wu, Wanjiun Liao, Cheng-Lin Tsao |
Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
epoch distance, ad hoc networks, Random waypoint model |
1 | Charles Lakos |
A Petri Net View of Mobility. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth J. Turner |
Formalising Web Services. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bow-Yaw Wang |
Proving forall-µ-Calculus Properties with SAT-Based Model Checking. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Zhang 0001, Holger Hermanns, David N. Jansen |
Logic and Model Checking for Hidden Markov Models. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Horst F. Wedde, Arnim Wedig, Anca M. Lazarescu, Ralf Paaschen, Elisei Rotaru |
Incremental Modeling Under Large-Scale Distributed Interaction. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
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 | Steffen Helke, Florian Kammüller |
Structure Preserving Data Abstractions for Statecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Astrid Kiehn, S. Arun-Kumar |
Amortised Bisimulations. |
FORTE |
2005 |
DBLP DOI 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 | 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 | Teruo Higashino, Hirozumi Yamaguchi |
A Testing Architecture for Designing High-Reliable MANET Protocols. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Couvreur, Yann Thierry-Mieg |
Hierarchical Decision Diagrams to Exploit Model Structure. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Youcef Hammal |
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
LUNAR, model checking, Mobile ad hoc networks, formal verification, routing protocols, DSR, UPPAAL |
1 | Joel Kelso, George J. Milne |
Properties as Processes: Their Specification and Verification. |
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 | César Sánchez 0001, 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 | César Sánchez 0001, Matteo Slanina, Henny B. Sipma, Zohar Manna |
Expressive Completeness of an Event-Pattern Reactive Programming Language. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Constance L. Heitmeyer |
Developing High Quality Software with Formal Methods: What Else Is Needed? |
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 | 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 | Yongjian Li |
The Inductive Approach to Strand Space. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko 0001 |
An Improved Conformance Testing Method. |
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 | Chang Wu Yu 0001, 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 |
1 | Dezhuang Zhang, Rance Cleaveland |
Fast Generic Model-Checking for Data-Based Systems. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Junyan Qian, Baowen Xu |
Model Checking for Timed Statecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Manuel Núñez 0001 (eds.) |
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Samik Basu 0001, Diptikalyan Saha, Scott A. Smolka |
Localizing Program Errors for Cimple Debugging. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud |
A Symbolic Symbolic State Space Representation. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Well-Formed Petri Nets, Symbolic Model-checking, Decision Diagrams, Symmetry Detection, Symbolic Reachability Graph |
1 | Prasad Naldurg, Koushik Sen, Prasanna Thati |
A Temporal Logic Based Framework for Intrusion Detection. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
security, Intrusion detection, temporal logic, runtime monitoring |
1 | Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux |
Formal Composition of Distributed Scenarios. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Scenario-based approach, Scenario composition, Distributed systems, Formal specification, Use case, FSM |
1 | Martín Abadi, Ted Wobber |
A Logical Account of NGSCB. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
Automatized Verification of Ad Hoc Routing Protocols. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
LUNAR, model checking, Mobile ad hoc networks, formal verification, routing protocols, SPIN, UPPAAL |
1 | Jessica Chen, Robert M. Hierons, Hasan Ural |
Conditions for Resolving Observability Problems in Distributed Testing. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Ural, Hüsnü Yenigün |
Towards Design Recovery from Observations. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Bolognesi |
Composing Event Constraints in State-Based Specification. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xin Wang, Ji Wang 0001, Zhi-Chang Qi |
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ghassan Chehaibar |
Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | May Haydar, Alexandre Petrenko, Houari A. Sahraoui |
Formal Verification of Web Applications Modeled by Communicating Automata. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero |
Introducing the Iteration in sPBC. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
1 | Juan Quemada |
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Khaled El-Fakih, Nina Yevtushenko 0001 |
Fault Propagation by Equation Solving. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jens Chr. Godskesen, Brian Nielsen, Arne Skou |
Connectivity Testing Through Model-Checking. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|