Search results for "Formal Description Techniques"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jean-François Ladry, David Navarre, Philippe A. Palanque	Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.	ICMI	2009	DBLP DOI BibTeX RDF	fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches
3	Philippe A. Palanque, Sandra Basnyat, David Navarre	Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.	USAB	2007	DBLP DOI BibTeX RDF	Incident and Accident Investigation, Human-Computer Interaction, Medical Informatics, Formal Description Techniques, Patient Monitoring
2	David Navarre, Philippe A. Palanque	The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?	EICS	2009	DBLP DOI BibTeX RDF	engineering interactive systems, human-computer interaction, formal description techniques
2	Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink	A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.	EICS	2009	DBLP DOI BibTeX RDF	performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches
2	Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler	Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.	IHM	2009	DBLP DOI BibTeX RDF	performance evaluation, interruptions, formal description techniques, model-based approaches
2	Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath	Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.	ISCC	2008	DBLP DOI BibTeX RDF
2	Abdelaziz Guerrouat, Harald Richter	A component-based specification approach for embedded systems using FDTs.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	embedded system, testing, specification, component-based systems, formal description techniques
2	Rémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic	A model-based approach for real-time embedded multimodal systems in military aircrafts.	ICMI	2004	DBLP DOI BibTeX RDF	embedded systems, formal description techniques, model-based approaches
2	David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn	Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF	Interactive Systems Engineering, Post-WIMP, Formal methods, Prototyping, Multimodal interaction, CASE tools, formal description techniques
2	L. Mengual, C. de la Puente	Secure Intelligent Agents Based on Formal Description Techniques.	AWIC	2003	DBLP DOI BibTeX RDF
2	Marcin Czenko, Jean-Luc Raffy	JEstelle novel approach to the distributed Java systems specification and development.	PPPJ	2003	DBLP DOI BibTeX RDF	Java, distributed systems, software engineering, formal description techniques, Estelle
2	Sun-Jen Huang, Richard Lai	Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability
2	Ira Acharya, Hemendra Kumar Singh	Testing of 3G 1xEV-DV Stack - A Case Study.	TestCom	2003	DBLP DOI BibTeX RDF	testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN
2	Luis Mengual, Nicolás Barcia, Ernesto Jiménez, Ernestina Menasalvas Ruiz, Julio Setién, Javier Yágüez	Automatic implementation system of security protocols based on formal description techniques.	ISCC	2002	DBLP DOI BibTeX RDF
2	Gabriel Huecas, Tomás Robles, L. M. Gonzalez, J. Serrano	Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System.	FORTE	1998	DBLP BibTeX RDF
2	Manfred Broy	Formal Description Techniques - How Formal and Descriptive are they?	FORTE	1996	DBLP BibTeX RDF
2	Colin H. West	The Challenges Facing Formal Description Techniques.	FORTE	1993	DBLP BibTeX RDF
2	Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno	Strategic Testing Environment with Formal Description Techniques.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	formal environment for systematic testing, stepwise approach, test development, TENT, test sequence generation tool, APRICOT, ASN.1 pre-compiler, coder, test-debugger, test specification editor, upper tester, lower tester, simulator, design, formal specification, protocol, protocols, data structures, programming environments, formal semantics, communication systems, formal description techniques, FOREST, test execution
2	Jean-Pierre Courtiat, Michel Diaz	Time in State Based Formal Description Techniques for Distributed Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	FDTs Formal Description Techniques, Manipulating Explicit Time values, Integrating Time Petri nets and Estelle, Distributed Systems, Verification, Specification, Time Petri nets, Estelle
2	Manfred Broy	Methodological Objectives for Formal Description Techniques.	FORTE	1990	DBLP BibTeX RDF
2	Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette	Application of Formal Description Techniques to Conformance Evaluation.	FORTE	1988	DBLP BibTeX RDF
1	A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Y. Deleris, Jean-Charles Fabre, C. Fayollas	Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.	PRDC	2011	DBLP DOI BibTeX RDF
1	Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni	High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.	HCI	2009	DBLP DOI BibTeX RDF	reliability, evolvability, formal description techniques, Model-based approaches, interactive prototyping
1	Antonio Muñoz, Antonio Maña, Daniel Serrano	AVISPA in the Validation of Ambient Intelligence Scenarios.	ARES	2009	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat	An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.	DSV-IS	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-based approaches
1	David Navarre, Philippe A. Palanque, Sandra Basnyat	A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-Based approaches
1	Alvis Cheuk M. Fong, Andrew Simpson	On Formal Description of Synchronization Requirements in Multimedia Systems.	ITNG	2008	DBLP DOI BibTeX RDF	multimedia, synchronization, formal description
1	Stéphane Maag, Fatiha Zaïdi	Testing methodology for an ad hoc routing protocol.	PM2HW2N	2006	DBLP DOI BibTeX RDF	PLTL, ad hoc network protocols, simulations, model checking, verification, testing, SPIN
1	Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque	Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya	Integrating RT-CORBA in SDL.	SDL Forum	2005	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	Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan	Formal Description Techniques for CSPs and TCSPs.	SEKE	2004	DBLP BibTeX RDF
1	Amjad Mohsen, Richard Hofmann	Characterizing Power Consumption and Delay of Functional/Library Components for Hardware/Software Co-Design of Embedded Systems.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
1	Richard Lai, Sun-Jen Huang	A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Size model, EDT, regression analysis, formal description techniques, Estelle
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	Amélie Schyn, David Navarre, Philippe A. Palanque, Luciana Porcher Nedel	Formal description of a multimodal interaction technique in an immersive virtual reality application.	IHM	2003	DBLP DOI BibTeX RDF	formal specification, interaction techniques, multimodal interfaces
1	Matthias Beyer, Winfried Dulz	Scenario-Based Statistical Testing of Quality of Service Requirements.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF	Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram
1	Reinhard Gotzhein	Vertical Reuse in the Development of Distributed Systems with FDTs.	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	Haeng-Kon Kim, Tai-Hoon Kim, Jae-Sung Kim	Reliability Assurance in Development Process for TOE on the Common Criteria.	SERA	2003	DBLP DOI BibTeX RDF
1	Manuel J. Fernández Iglesias, Francisco J. González-Castaño, Martín Llamas Nistal, José M. Pousada Carballo, Javier Vales-Alonso	On the application of formal description techniques to the design of interception systems for GSM mobile terminals.	Journal of Systems and Software	2002	DBLP DOI BibTeX RDF
1	Rémi Bastide, David Navarre, Philippe A. Palanque	A model-based tool for interactive prototyping of highly interactive applications.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	safety critical systems, formal description techniques, model-based approaches
1	Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner	Secure systems development based on the common criteria: the PalME project.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	graphical description techniques, software engineering, formal methods, requirements engineering, case study, software design, development process, CASE, security engineering, common criteria, AutoFocus
1	Marc-Philippe Huget	Extending Agent UML Sequence Diagrams.	AOSE	2002	DBLP DOI BibTeX RDF
1	Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide	Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems.	DSV-IS	2002	DBLP DOI BibTeX RDF
1	José J. Pazos Arias, Jorge García Duque	SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.	Formal Asp. Comput.	2001	DBLP DOI BibTeX RDF	Incremental specification, Unspecification, Formal verification, Temporal logic, Formal description techniques, Functional requirements
1	José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya	Deriving hard real-time embedded systems implementations directly from SDL specifications.	CODES	2001	DBLP DOI BibTeX RDF	scheduler, embedded system, real-time, SDL
1	Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori	Composition of Service and Protocol Specifications. (PDF / PS)	ICOIN	2001	DBLP DOI BibTeX RDF
1	Pamela Zave	Requirements for Evolving Systems: A Telecommunications Perspective. (PDF / PS)	RE	2001	DBLP DOI 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	Zsuzsanna Harangozó, Katalin Tarnay	FDTs in Self-adaptive Protocol Specification.	IWSAS	2001	DBLP DOI BibTeX RDF
1	J. Jenny Li, Joseph Robert Horgan	Applying formal description techniques to software architectural design.	Computer Communications	2000	DBLP DOI BibTeX RDF
1	Mariusz A. Fecko, M. Ümit Uyar, Paul D. Amer, Adarshpal S. Sethi, Theodore Dzik, R. Menell, Michael McMahon	A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220.	Computer Communications	2000	DBLP DOI BibTeX RDF
1	Tommaso Bolognesi, Diego Latella (eds.)	Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy	FORTE	2000	DBLP BibTeX RDF
1	Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah	Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.	FORTE	2000	DBLP BibTeX RDF
1	Marco Bernardo, Marina Ribaudo, Nadia Busi	Compact Net Semantics for Process Algebras.	FORTE	2000	DBLP BibTeX RDF
1	Michael von der Beeck	A Concise Compositionalj Statecharts Semantics Definition.	FORTE	2000	DBLP BibTeX RDF
1	Alberto Verdejo, Narciso Martí-Oliet	Implementing CCS in Maude.	FORTE	2000	DBLP BibTeX RDF
1	John M. Rushby	From Refutation to Verification.	FORTE	2000	DBLP BibTeX RDF
1	Holger Pfeifer	Formal Verification of the TTP Group Membership Algorithm.	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
1	Kousha Etessami, Mihalis Yannakakis	From Rule-based to Automata-based Testing.	FORTE	2000	DBLP BibTeX RDF
1	Thomas Steinert, Georg Rößler	Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models.	FORTE	2000	DBLP BibTeX RDF
1	Giorgio Delzanno	Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking.	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	Basant Rajan, R. K. Shyamasundar	Modeling Distributed Embedded Systems in Multiclock ESTEREL.	FORTE	2000	DBLP BibTeX RDF
1	Doron Peled	Specification and Verification of Message Sequence Charts.	FORTE	2000	DBLP BibTeX RDF
1	Ji He, Kenneth J. Turner	Verifying and Testing Asynchronous Circuits using LOTOS.	FORTE	2000	DBLP BibTeX RDF
1	Luca Durante, Riccardo Sisto, Adriano Valenzano	A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.	FORTE	2000	DBLP BibTeX RDF
1	Alexandre Petrenko, Nina Yevtushenko	On Test Derivation from Partial Specifications.	FORTE	2000	DBLP BibTeX RDF
1	Ulrich Ultes-Nitsche	Satisfaction up to Liveness.	FORTE	2000	DBLP BibTeX RDF
1	Michele Boreale, Rocco De Nicola, Rosario Pugliese	Process Algebraic Analysis of Cryptographic Protocols.	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	Ahmed Helmy, Sandeep K. S. Gupta, Deborah Estrin, Alberto Cerpa, Yan Yu	Systematic Performance Evaluation of Multipoint Protocols.	FORTE	2000	DBLP BibTeX RDF
1	Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha	Integrated System Interoperability Testing with Applications to VOIP.	FORTE	2000	DBLP BibTeX RDF
1	Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	Hardware implementation of Concurrent Periodic EFSM's.	FORTE	2000	DBLP BibTeX RDF
1	Mark A. Smith, Nils Klarlund	Verification of a Sliding Window Protocol Using IOA and MONA.	FORTE	2000	DBLP BibTeX RDF
1	Justin Templemore-Finlayson, Eugen Borcoci	Simulating Multicast Transport Protocols in Estelle.	FORTE	2000	DBLP BibTeX RDF
1	Antonella Santone	Compositionality for Improving Model Checking.	FORTE	2000	DBLP BibTeX RDF
1	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.	RTCSA	2000	DBLP DOI BibTeX RDF	visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
1	Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna	Automatic Implementation of Distributed Systems Formal Specifications.	IPDPS Workshops	2000	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	Thomas Deiß	An Approach to the Combination of Formal Description Techniques: Statecharts and TLA.	IFM	1999	DBLP BibTeX RDF
1	Bernhard Schätz, Franz Huber	Integrating Formal Description Techniques.	World Congress on Formal Methods	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