Search results for "SDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	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
10	John M. Abowd, Lars Vilhuber	How Protective Are Synthetic Data?.	Privacy in Statistical Databases	2008	DBLP DOI BibTeX RDF
10	Huáscar Espinoza, David Servat, Sébastien Gérard	Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems.	SHARK	2008	DBLP DOI BibTeX RDF	UML, embedded systems, model-driven engineering, design space exploration, trade-off analysis
10	Tibor Skala, Mirsad Todorovac	Comparison of stereo displaying techniques in POV-Ray 3D generated scenes.	iiWAS	2008	DBLP DOI BibTeX RDF	LCD shutter glasses, POV-Ray, red-cyan glasses, stereo displaying techniques, 3D scene
10	Hsien-Chen Chiu, Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee	A simple proof for the constructions of optical priority queues.	Queueing Syst. Theory Appl.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 60K30, 90B22, 68M20
10	Jay Cheng	Constructions of Fault-Tolerant Optical 2-to-1 FIFO Multiplexers.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
10	Cyril Grepet, Stéphane Maag	Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
10	Fares Saad-Khorchef, Antoine Rollet, Richard Castanet	A framework and a tool for robustness testing of communicating software.	SAC	2007	DBLP DOI BibTeX RDF	IOLTS, TCP protocol, robustness testing, formal testing
10	Slawomir Zielski, Janusz Sosnowski	The SCSI interface conformance tests generation.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
10	Mahadevan Subramaniam, Harvey P. Siy	Consistently Incorporating Changes to Evolve Transition-based Systems.	CSMR	2007	DBLP DOI BibTeX RDF
10	Cyril Grepet, Stéphane Maag	A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
10	Frank Weil, Brian E. Mastenbrook, David Nelson, Paul Dietz, Aswin van den Berg	Automated Semantic Analysis of Design Models.	MoDELS	2007	DBLP DOI BibTeX RDF
10	Markus Scheidgen, Joachim Fischer	Human Comprehensible and Machine Processable Specifications of Operational Semantics.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
10	Abdelaziz Guerrouat, Harald Richter 0001	A component-based specification approach for embedded systems using FDTs.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	embedded system, testing, specification, component-based systems, formal description techniques
10	Cheng-Shang Chang, Duan-Shin Lee, Chao-Kai Tu	Using switched delay lines for exact emulation of FIFO multiplexers with variable length bursts.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
10	Cyril Grepet, Stéphane Maag	Conformance and Interoperability Testing of an Ad Hoc Routing Protocol.	MDM	2006	DBLP DOI BibTeX RDF
10	Joseph Sifakis	WPDRTS keynote: component-based construction of embedded systems.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Fritjof Boger Engelhardtsen, Andreas Prinz 0001	Application of Stuck-Free Conformance to Service-Role Composition.	SAM	2006	DBLP DOI BibTeX RDF
10	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
10	Hsu-Yang Kung, Che-I Wu, Jiun-Ju Wei	Design and Implementation of Interactive Contents Authoring Tool for MPEG-4.	EUC	2005	DBLP DOI BibTeX RDF
10	Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner 0002, Lothar Wendehals, Albert Zündorf	Tool integration at the meta-model level: the Fujaba approach.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Tool coupling, Meta-Model Extension, Meta-Model Integration, Consistency, Patterns
10	Ole Blaurock	A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models.	ECBS	2004	DBLP DOI BibTeX RDF
10	Richard Ekwall, Sergio Mena, Stefan Pleisch, André Schiper	Towards Flexible Finite-State-Machine-Based Protocol Composition.	NCA	2004	DBLP DOI BibTeX RDF
10	Ana R. Cavalli, Stéphane Maag	Automated test scenarios generation for an e-barter system.	SAC	2004	DBLP DOI BibTeX RDF	formal methods, e-commerce, testing tools, specification techniques
10	Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis	The IF Toolset.	SFM	2004	DBLP DOI BibTeX RDF
10	Ole Blaurock	A SystemC-Based Modular Design and Verification Framework for C-Model Reuse in a HW/SW-Co-Design Flow.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
10	Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale, Paul D. Amer	A technique to generate feasible tests for communications systems with multiple timers.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	testing timers, conformance testing, timing constraints, test-case generation
10	L. Ol'khovich, Dmitrij V. Koznov	OCL-Based Automated Validation Method for UML Specifications.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
10	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Understanding and Comparing Model-Based Specification Notations.	RE	2003	DBLP DOI BibTeX RDF
10	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.	IPDPS	2003	DBLP DOI BibTeX RDF
10	Breanne Dyck, Jill Joevenazzo, Elspeth Nickle, Jon Wilsdon, Stephen K. Wismath	GLuskap: Visualization and Manipulation of Graph Drawings in 3-Dimensions.	GD	2003	DBLP DOI BibTeX RDF
10	Arturo M. Amendola, Roberto Di Maio, M. L. Iacobuzio, Fabio Poli, Fernando Scalabrini	Lessons Learned in Designing and Evaluating Railway Control Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF
10	Joachim Thees	Type Abstraction in Formal Protocol Specifications with Container Types.	FORTE	2003	DBLP DOI BibTeX RDF
10	Kenneth J. Turner	Specifying and Realising Interactive Voice Services.	FORTE	2003	DBLP DOI BibTeX RDF
10	David Kauchak, Charles Elkan	Learning Rules to Improve a Machine Translation System.	ECML	2003	DBLP DOI BibTeX RDF
10	Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg	Slicing of State-Based Models.	ICSM	2003	DBLP DOI BibTeX RDF
10	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Integration of Formal Datatypes within State Diagrams.	FASE	2003	DBLP DOI BibTeX RDF	formal methods integration, Z, algebraic specifications, B, state diagrams
10	Lars Bratthall, Claes Wohlin	Is it Possible to Decorate Graphical Software Design and Architecture Models with Qualitative Information?-An Experiment.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	software quality representation, software quality aspects, software design models, software maintenance, Software evolution, software architecture models
10	Ana R. Cavalli, Stéphane Maag	A New Algorithm for Service Interaction Detection.	ICFEM	2002	DBLP DOI BibTeX RDF	Finite State Machine, Feature interaction, Intelligent Network, Telecommunication service
10	Marko Mäkelä	Maria: Modular Reachability Analyser for Algebraic System Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
10	Gjalt G. de Jong	A UML-Based Design Methodology for Real-Time and Embedded Systems.	DATE	2002	DBLP DOI BibTeX RDF
10	Javier López 0001, Juan J. Ortega, José M. Troya	Protocol Engineering Applied to Formal Analysis of Security Systems.	InfraSec	2002	DBLP DOI BibTeX RDF
10	Rafael Paoliello Guimarães, Walter da Cunha Borelli	Generating Java Code for TINA Systems.	SBAC-PAD	2002	DBLP DOI BibTeX RDF
10	Teemu Tynjälä, Sari Leppänen, Vesa Luukkala	Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.	FORTE	2002	DBLP DOI BibTeX RDF
10	Kenneth J. Turner	Modelling SIP Services Using CRESS.	FORTE	2002	DBLP DOI BibTeX RDF
10	Merijn de Jonge	Pretty-Printing for Software Reengineering.	ICSM	2002	DBLP DOI BibTeX RDF
10	Thomas Olsson 0001, Per Runeson	System Level Mutation Analysis Applied to a State-Based Language.	ECBS	2001	DBLP DOI BibTeX RDF
10	Kjetil Svarstad, Nezih Ben-Fredj, Gabriela Nicolescu, Ahmed Amine Jerraya	A higher level system communication model for object-oriented specification and design of embedded systems.	ASP-DAC	2001	DBLP DOI BibTeX RDF	CORBA
10	Vivek K. Shanbhag, K. Gopinath	A SPIN-Based Model Checker for Telecommunication Protocols.	SPIN	2001	DBLP DOI BibTeX RDF
10	Zsuzsanna Harangozó, Katalin Tarnay	FDTs in Self-adaptive Protocol Specification.	IWSAS	2001	DBLP DOI BibTeX RDF
10	Johnny Öberg, Anshul Kumar, Ahmed Hemani	Grammar-based hardware synthesis from port-size independent specifications.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
10	Axel Jantsch, Per Bjuréus	Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors.	DATE	2000	DBLP DOI BibTeX RDF
10	Loe M. G. Feijs	Generating FSMs from Interworkings.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Sequence chart, Synthesis, Finite state machine, Process algebra
10	Jörg Niere, Albert Zündorf	Using FUJABA for the Development of Production Control Systems.	AGTIVE	1999	DBLP DOI BibTeX RDF
10	Fabiano Hessel, Philippe Coste, P. LeMarrec, Nacer-Eddine Zergainoh, Jean-Marc Daveau, Ahmed Amine Jerraya	Communication Interface Synthesis for Multilanguage Specifications.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Multilanguage Codesign, Interface Synthesis
10	Martin Leucker, Thomas Noll 0001	Rapid Prototyping of Specification Language Implementations.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
10	Thorsten Adler, Juergen Schaeuble	An Interactive Router for Analog IC Design.	DATE	1998	DBLP DOI BibTeX RDF	schematic driven layout, global router, maze router, 45 degrees, analog circuits, electronic design automation
10	Ferdinando Lucidi, Hessel P. Idzenga, Spyrogiannis Batistatos	Development of TINA-Like Systems: The DOLEMEN Methodology.	IS&N	1998	DBLP DOI BibTeX RDF
10	Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün	Static Partial Order Reduction.	TACAS	1998	DBLP DOI BibTeX RDF
10	Manfred Broy, Radu Grosu, Cornel Klein	Reconciling Real-Time with Asynchronous Message Passing.	FME	1997	DBLP DOI BibTeX RDF
10	S. Purushothaman Iyer, Murali Narasimha	Probabilistic Lossy Channel Systems.	TAPSOFT	1997	DBLP DOI BibTeX RDF
10	Jürgen K. Müller	Feature-oriented software structuring.	COMPSAC	1997	DBLP DOI BibTeX RDF	feature-oriented software structuring, minimal development effort, software engineering, software development, computer-based systems
10	Gilberto Fernandes Marchioro, Jean-Marc Daveau, Ahmed Amine Jerraya	Transformational partitioning for co-design of multiprocessor systems.	ICCAD	1997	DBLP DOI BibTeX RDF	Partitioning, Hardware/Software co-design, System-level synthesis
10	Christoph Schaffer, Johannes Zeindl	System Level Design of Microcontroller Applications.	EUROCAST	1997	DBLP DOI BibTeX RDF
10	Pedro Merino 0001, José M. Troya	EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols.	CAV	1996	DBLP DOI BibTeX RDF
10	Juan-José Martins, Jean-Pierre Hubaux	A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation.	FME	1996	DBLP DOI BibTeX RDF	Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering
10	Christoph Schaffer, R. J. Raschhofer, A. Simma	EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
10	Satoshi Yamane	Formal Timing Verification Techniques for Distributed System .	FTDCS	1995	DBLP DOI BibTeX RDF	language inclusion algorithm, formal specification, timing verification, timed automaton
10	Antonio Mendes da Silva Filho	Statecharts supervision models for reactive systems.	CASCON	1995	DBLP BibTeX RDF
10	Tak W. Yan, Hector Garcia-Molina	Index Structures for Selective Dissemination of Information Under the Boolean Model.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF
10	Gérard Cécé, Alain Finkel, S. Purushothaman Iyer	Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	insertion and lossiness errors, model-checking against CTL, verification problems, finite state machines, decidability, duplication, communication channels
10	Joachim Fischer, Andreas Prinz 0001, Andreas Vogel 0003	Different FDT's Confronted with Different ODP-Viewpoints of the Trader.	FME	1993	DBLP DOI BibTeX RDF