|
Results
Found 100 publication records. Showing 100 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Manuel J. Fernández Iglesias, Martín Llamas Nistal |
An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students.  |
TFM  |
2004 |
DBLP DOI BibTeX RDF |
undergraduate courses, Spin, Protocol engineering, Promela, case-based learning |
| 2 | Ekram Hossain |
IEEE802.16/WiMAX-Based Broadband Wireless Networks: Protocol Engineering, Applications, and Services. |
CNSR |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Fernando Alonso Amo, Sonia Frutos, Genoveva López Gómez, F. Javier Soriano Camino |
A Formal Framework for Interaction Protocol Engineering. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet |
Integrated Tool for Testing Timed Systems. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
Validation, Timed Automata, Conformance Testing, Automata Theory, Protocol Engineering |
| 2 | Chihab Hanachi, Christophe Sibertin-Blanc |
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems. |
Autonomous Agents and Multi-Agent Systems |
2004 |
DBLP DOI BibTeX RDF |
multi-agent system, coordination, High Level Petri Net, protocol engineering, middle-agent |
| 2 | Marc-Philippe Huget, Jean-Luc Koning |
Interaction Protocol Engineering. |
Communication in Multiagent Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Jun Shen, Yun Yang, Junzhou Luo |
A Petri Net Model for Session Services. |
EDCIS |
2002 |
DBLP DOI BibTeX RDF |
modeling, Petri nets, protocols, Computer networks, protocol engineering |
| 2 | Juha Parssinen, Niklas von Knorring, Jukka Heinonen, Tellabs Oy, Markku Turunen |
UML for Protocol Engineering - Extensions and Experiences. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
protocol, implementation, SDL, UML profile |
| 2 | Richard Lai |
Teaching Protocol Engineering in Honours Year. |
CSEE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor von Bochmann, Dave Rayner, Colin H. West |
Some notes on the history of protocol engineering. |
Computer Networks |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muddassar Farooq |
Bio-inspired telecommunications. |
GECCO (Companion) |
2009 |
DBLP DOI BibTeX RDF |
beeadhoc, beehive, beehiveais, beesensor, intrusion detection, ip multimedia subsystem, keystroke dynamics |
| 1 | Daniel Dietterle |
Embedded system protocol design flow based on SDL: from specification to hardware/software implementation. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
protocol accelerator, embedded systems, SDL, protocol engineering, IEEE 802.15.3 |
| 1 | Tao Huang, Anthony Chung |
Finding Narrow Input/Output (NIO) Sequences by Model Checking. |
SERA |
2008 |
DBLP DOI BibTeX RDF |
Communication protoocls, model checking, protocol engineering, protocol testing |
| 1 | Hoda Hassan, Ramy Eltarras, Mohamed Eltoweissy |
Towards a Framework for Evolvable Network Design. |
CollaborateCom |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Raento, Antti Oulasvirta |
Designing for privacy and self-presentation in social awareness. |
Personal and Ubiquitous Computing |
2008 |
DBLP DOI BibTeX RDF |
Presence protocols, Security, Privacy, User interface design, Social awareness, Social psychology, Self-presentation, Self-disclosure |
| 1 | Ling Dong, Kefei Chen, Mi Wen, Yanfei Zheng |
Protocol Engineering Principles for Cryptographic Protocols Design. |
SNPD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Saleem, Muddassar Farooq |
A framework for empirical evaluation of nature inspired routing protocols for wireless sensor networks. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Psaras, Lefteris Mamatas, Vassilis Tsaoussidis |
On protocol engineering: detect, confirm and adjust. |
IJIPT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Dairaine, Ernesto Exposito, Herve Thalmensy |
Towards an Unified Experimentation Framework for Protocol Engineering. |
AINA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Gros-Desormeaux, Hacène Fouchal, Philippe Hunel |
A Distributed Approach for Testing Timed Systems. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
Timed Automata, Conformance Testing, Distributed Environment, P2P Computing, Protocol Engineering |
| 1 | Teresa Olivares, P. J. Tirado, Luis Orozco-Barbosa, Vicente López, P. Pedrón |
Simulation of power-aware wireless sensor network architectures. |
PM2HW2N |
2006 |
DBLP DOI BibTeX RDF |
Avrora, simulation, wireless sensor network, power-save |
| 1 | Fernando Alonso, Rafael Fernández, Sonia Frutos, Javier Soriano |
Engineering Agent Conversations with the DIALOG Framework. |
MATES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning, Pierre-Yves Oudeyer |
Modeling interaction strategies using POS: An application to soccer robots. |
Appl. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Agent conversation protocols, Operational semantics, Distributed problem solving, Soccer-robot |
| 1 | Victor C. M. Leung, A. Z. M. Ekram Hossain, Shahrokh Valaee |
Special Issue: Radio Link and Transport Protocol Engineering for Future-Generation Wireless Mobile Data Networks. |
Wireless Communications and Mobile Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shamimabi Paurobally, Nicholas R. Jennings |
Protocol engineering for web services conversations. |
Eng. Appl. of AI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Langendörfer, Vassilios Tsaoussidis |
Protocol engineering for wired and wireless networks. |
Computer Communications |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Quemada |
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elton Saul, Andrew Hutchison |
Enhanced security protocol engineering through a unified multidimensional framework. |
IEEE Journal on Selected Areas in Communications |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Koning, Marc-Philippe Huget |
Interaction Protocol Design: Application to an Agent-Based Teleteaching Project. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Vitteau, Marc-Philippe Huget |
Modularity in Interaction Protocols. |
Workshop on Agent Communication Languages |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nabil Hameurlain |
Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc-Philippe Huget, Jean-Luc Koning |
Requirement Analysis for Interaction Protocols. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Geraldy, Reinhard Gotzhein |
µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks. |
PWC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Lopez, Juan J. Ortega, José M. Troya |
Protocol Engineering Applied to Formal Analysis of Security Systems. |
InfraSec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcien MacKaya, Ousmane Koné, Richard Castanet |
Modelling location operations in UMTS networks. |
MSWiM |
2002 |
DBLP DOI BibTeX RDF |
location based services, UMTS, SDL, MSC, protocol engineering |
| 1 | Hamza Mazouzi, Amal El Fallah-Seghrouchni, Serge Haddad |
Open protocol design for complex interactions in multi-agent systems. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
distributed observation, protocol diagrams, formal specification, validation, colored petri nets, true concurrency, AUML |
| 1 | Chun Ouyang, Lars Michael Kristensen, Jonathan Billington |
A Formal Service Specification for the Internet Open Trading Protocol. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
System verification using nets, E-commerce, Internet protocols, Case studies, Higher-level net models |
| 1 | Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible |
Micro Protocol Design: The SNMP Case Study. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hacène Fouchal |
Conformance Testing Techniques for Timed Systems. |
SOFSEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dines Bjørner |
On Formal Techniques in Protocol Engineering - Example Challenges. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Manuel J. Fernández Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo |
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Coulson, Shakuntala Baichoo |
Implementing the CORBA GIOP in a high-performance object request broker environment. |
Distributed Computing |
2001 |
DBLP DOI BibTeX RDF |
OMG CORBA, GIOP, Protocol engineering and performance optimization, Distributed systems, Middleware, IIOP |
| 1 | Gusztáv Adamis, Katalin Tarnay |
Frame-Based Self-adaptive Test Case Selection. |
IWSAS |
2001 |
DBLP DOI BibTeX RDF |
frame representation, self-adaptive, conformance testing, WAP, TTCN |
| 1 | Stanislaw Budkowski, Elie Najm |
Protocol engineering. |
Annales des Télécommunications |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Alves-Foss |
Cryptographic Protocol Engineering-Building Security from the Ground Up. |
International Conference on Internet Computing |
2000 |
DBLP BibTeX RDF |
|
| 1 | Matthias Jung |
A Component-Based Architecture for Software Communication Systems. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislaw Budkowski, Elie Najm |
Protocol engineering. |
Annales des Télécommunications |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoît Caillaud |
Protocol engineering using UML. |
Annales des Télécommunications |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianping Wu, Samuel T. Chanson, Qiang Gao (eds.) |
Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Amal El Fallah-Seghrouchni, Serge Haddad, Hamza Mazouzi |
Protocol Engineering for Multi-agent Interaction. |
MAAMAW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Schenke, Michael Dossis |
Provably Correct Hardware Compilation using Timing Diagrams. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |
Guaranteeing liveness in an object calculus through behavioural typing. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Pao-Ann Hsiung, Farn Wang |
User-Friendly Verification. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Iulian Ober, Alain Kerbrat |
Specification and execution of tests using tMsc. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Petrenko, Sergiy Boroday, Roland Groz |
Confirming configurations in EFSM. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jian Zhang 0001, Shing-Chi Cheung, Samuel T. Chanson |
Stress Testing of Distributed Multimedia Software Systems. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gerard J. Holzmann, Margaret H. Smith |
Software Model Checking. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hubert Garavel, Mihaela Sighireanu |
A Graphical Parallel Composition Operator for Process Algebras. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Csurgay |
Prototyping Framework for SDL with Evolving Semantics. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Birger Møller-Pedersen, Dagbjørn Nogva |
Scalable and Object Oriented SDL State(chart)s. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | S. J. Creese, A. W. Roscoe |
Verifying an infinite family of inductions simultaneously using data independence and FDR. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Wen Li, Ye Xinming, Zhiyong Liu |
A Formal Description Technology: Graphics E-LOTOS. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang |
An enhanced model for testing asynchronous communicating systems. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ji He, Kenneth J. Turner |
Specification and Verification of Synchronous Hardware using LOTOS. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | David de Frutos-Escrig, Natalia López, Manuel Núñez |
Global Timed Bisimulation: An Introduction. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Langendörfer, Hartmut König |
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
Protocol Synthesis for Real-Time Applications. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Soonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe |
Interoperability Test Suite Derivation for the TCP. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Yifei Dong, C. R. Ramakrishnan |
An Optimizing Compiler for Efficient Model Checking. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis |
Black Box Checking. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho |
Remote testin can be as powerful as local testing. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong |
Model-Checking a Secure Gorup Communication Protocol: A Case Study. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Dirk Trossen, Christian Cseh, Roman Kogan |
Framework for Automatic SDL to C++ Translation. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jinsong Zhu, Son T. Vuong |
Coverage analysis for embedded testing and an application. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jun Bi, Jianping Wu |
A Formal Approach to Conformance Testing of Distributed Routing Protocols. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi |
Hit-or-Jump: An algorithm for embedded testing with applications to IN services. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Patrice Godefroid |
Exploiting Symmetry when Model-Checking Software. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Manuel Núñez, David Rupérez |
Fair Testing through Probabilistic Testing. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Eric Petitjean, Hacène Fouchal |
A Realistic Architecture for Timed Testing. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Testing, Fault Model, Timed Automata, Labeled Transition Systems, Protocol Engineering |
| 1 | David Kinny |
Reliable Agent Communication - A Pragmatic Perspective. |
PRIMA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Chung, Deepinder P. Sidhu |
A formal description technique and an environment for protocol engineering. |
Computers and Their Applications |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier |
Protocol Verification with the ALDÉBARAN Toolset. |
STTT |
1997 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Formal methods, Protocol engineering |
| 1 | To-Yat Cheung |
Petri nets for protocol engineering. |
Computer Communications |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay A. Anisimov, Maciej Koutny |
On compositionality and Petri nets in protocol engineering. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Sisto, Adriano Valenzano |
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
Concurrent systems design, Petri nets, LOTOS, formal description techniques, protocol engineering |
| 1 | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli |
Verification and diagnosis of testing equivalence and reduction relation. |
ICNP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kacem Zeroual, M. El Yassini |
A protocol synthesis algorithm: a relational approach. |
ICNP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Luo, Gregor von Bochmann, Alexandre Petrenko |
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing |
| 1 | Chung-Ming Huang, Jenq-Muh Hsu, Huei-Yang Lai |
A modified transition tour protocol test method. |
Journal of Systems Integration |
1994 |
DBLP DOI BibTeX RDF |
protocol testing and formal modeling, Computer networks, protocol engineering |
| 1 | Fuchun J. Lin, Ming T. Liu |
The Rise of Protocol Engineering - Guest Editors' Introduction. |
IEEE Software |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jürgen M. Schneider |
Protocol engineering - a rule-based approach. |
|
1992 |
RDF |
|
| 1 | Gyula Csopaki |
Advanced Software Technology for Protocol Engineering. |
INDC |
1992 |
DBLP BibTeX RDF |
|
| 1 | Paul W. King |
Formalization of Protocol Engineering Concepts. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
communication system development, relational notation, complexity, formal specification, Petri nets, Petri nets, protocols, communication protocols, behavioral models, LOTOS, design principles, Object-Z, formal description techniques, Z notation, structural models |
| 1 | Yoshiaki Kakuda, Hironori Saito |
An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
acyclic-expansion-based protocol validation, state transition sequences, CAPE, computer-aided protocol engineering, design, formal specification, protocols, integrated system, protocol specifications, integrated approach, software module, protocol synthesis |
| 1 | Ming T. Liu |
Protocol Engineering. |
Advances in Computers |
1989 |
DBLP BibTeX RDF |
|
| 1 | Pieter S. Kritzinger, Graham Wheeler |
A Protocol Engineering Workstation. |
FORTE |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham |
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation |
| 1 | Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham |
A Methodology for Protocol Engineering. |
ICCC |
1986 |
DBLP BibTeX RDF |
|
| 1 | T. F. Paitkowski |
The state of the art in protocol engineering. |
SIGCOMM |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Zimmermann |
On Protocol Engineering. |
IFIP Congress |
1983 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 100 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")