|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 612 occurrences of 351 keywords
|
|
|
Results
Found 872 publication records. Showing 872 according to the selection in the facets
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 |
|
Displaying result #801 - #872 of 872 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9] |
|