Search results for "FORTE"

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

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