Search results for "SDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Pero Latkoski, Toni Janevski, Borislav Popovski	Performance Evaluation and Modeling of IEEE 802.11a WLAN Based on SDL Simulation.	ISCC	2006	DBLP DOI BibTeX RDF
27	Rüdiger Grammes	Formal Operations for SDL Language Profiles.	SAM	2006	DBLP DOI BibTeX RDF
27	Sabine M. Böhm	H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL.	DSN	2005	DBLP DOI BibTeX RDF
27	Xiaoming Fu 0001, Dieter Hogrefe	Modeling Soft State Protocols with SDL.	NETWORKING	2005	DBLP DOI BibTeX RDF
27	Petri Kukkala, Marko Hännikäinen, Timo D. Hämäläinen	Co-simulation of Wireless Local Area Network Terminals with Protocol Software Implemented in SDL.	DSD	2005	DBLP DOI BibTeX RDF
27	Miguel León Chávez, Francisco Rodríguez-Henríquez	SDL Specification of a Security Architecture for WorldFIP.	CONIELECOMP	2004	DBLP DOI BibTeX RDF
27	Minna Pikkarainen, Matias Vierimaa, Hannu Tanner, Raija Suikki	Automatic Measurement at Nokia Mobile Phones: A Case of SDL Based Software Development.	PROFES	2004	DBLP DOI BibTeX RDF
27	Christian Rinderknecht	Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules.	SAM	2004	DBLP DOI BibTeX RDF	Abstract Syntax Notation One, Basic Encoding Rules, formal methods, protocol, specification, vulnerabilities, BER, ASN.1
27	Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible	A Flexible Micro Protocol Framework.	SAM	2004	DBLP DOI BibTeX RDF
27	Ferhat Khendek, Xiao-Jun Zhang	From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
27	Deepak D'Souza, Madhavan Mukund	Checking Consistency of SDL+MSC Specifications.	SPIN	2003	DBLP DOI BibTeX RDF
27	Andreas Prinz 0001, Martin von Löwis	Engineering the SDL Formal Language Definition.	FMOODS	2003	DBLP DOI BibTeX RDF
27	Dolores M. Zage, Wayne M. Zage	An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model.	ICSE	2003	DBLP DOI BibTeX RDF
27	G. R. Chaji, Seid Mehdi Fakhraie, Kenneth Carless Smith	Pseudo dynamic logic (SDL): a high-speed and low-power dynamic logic family.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
27	Natalia Sidorova, Martin Steffen	Synchronous Closing of Timed SDL Systems for Model Checking.	VMCAI	2002	DBLP DOI BibTeX RDF
27	Andreas Prinz 0001, Mario Schwarz	Object-Oriented Specification of Protocols for Reusability.	SAM	2002	DBLP DOI BibTeX RDF
27	Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible	Micro Protocol Design: The SNMP Case Study.	SAM	2002	DBLP DOI BibTeX RDF
27	Daniel Amyot, Gunter Mussbacher	URN: Towards a New Standard for the Visual Description of Requirements.	SAM	2002	DBLP DOI BibTeX RDF
27	Natalia Ioustinova, Natalia Sidorova	A Transformation of SDL Specifications - A Step towards the Verification.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
27	J. Jenny Li, Joseph Robert Horgan	chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
27	Richard O. Sinnott, Mario Kolberg	Creating Telecommunication Services based on Object-Oriented Frameworks and SDL.	ISORC	1999	DBLP DOI BibTeX RDF
27	Anders Olsen, Didier Demany, Elsa Cardoso, Fiona Lodge, Mario Kolberg, Morgan Björkander, Richard O. Sinnott	The Pros and Cons of Using SDL for Creation of Distributed Services.	IS&N	1999	DBLP DOI BibTeX RDF
27	Lars Mats	Selection Criteria for Automated TTCN Test Case Generation from SDL.	WIFT	1998	DBLP DOI BibTeX RDF
27	Dominique Méry, Abdelillah Mokkedem	Crocos: An Integrated Environment for Interactive Verification of SDL Specifications.	CAV	1992	DBLP DOI BibTeX RDF
27	Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti	The Efficiency of Critical Slicing in Fault Localization.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	strong and weak mutations, dead, live and equivalent mutants, static and dynamic slicing, critical slicing, statement deletion (Sdl), Mothra Mutation Testing System, Fortran-77, mutation testing, mutation operator
27	Kenneth J. Turner	Formalising Graphical Behaviour Descriptions.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical Specification, Lotos (Language Of Temporal Ordering Specification), SDL (Specification and Description Language), Voice Service
27	Natalia Sidorova, Martin Steffen	Verification of a wireless ATM medium-access protocol.	APSEC	2000	DBLP DOI BibTeX RDF	medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
27	Cédric Besse, Ana R. Cavalli, David Lee 0001	An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol.	ASE	1999	DBLP DOI BibTeX RDF	SDL language, fault coverage, conformance testing, optimization techniques, TCP/IP protocol
27	P. Blysa	SDT a tool for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
21	Satoru Suzuki	Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic.	LORI	2009	DBLP DOI BibTeX RDF	conditional expected utility maximisation, preference, projective geometry, deontic logic, measurement theory, representation theorem
21	Jaroslaw Bak, Czeslaw Jedrzejek, Maciej Falkowski	Usage of the Jess Engine, Rules and Ontology to Query a Relational Database.	RuleML	2009	DBLP DOI BibTeX RDF	Jess engine, ontology, relational database, reasoning, rules
21	Chan Yong Park, Soo-Jun Park	Multi-purpose Ambient Display System Supporting Various Media Objects.	ICOST	2009	DBLP DOI BibTeX RDF	scene description language, ambient display, multimedia object
21	Jay Cheng	Constructions of Optical 2-to-1 FIFO Multiplexers With a Limited Number of Recirculations.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
21	Martin Versen, Achim Schramm, Jan Schnepp, Dorina Diaconescu	Test Instrumentation for a Laser Scanning Localization Technique for Analysis of High Speed DRAM devices.	DATE	2008	DBLP DOI BibTeX RDF
21	Nan Lin, Wei Liu 0001, Richard J. Langley	Performance analysis of a two-element linearly constrained minimum variance beamformer with sensor delay-line processing.	ICASSP	2008	DBLP DOI BibTeX RDF
21	Christian Webel, Reinhard Gotzhein, Joachim Nicolay	NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.	FORTE	2008	DBLP DOI BibTeX RDF
21	Pilar Dellunde, Lluís Godo	Introducing Grades in Deontic Logics.	DEON	2008	DBLP DOI BibTeX RDF	Fuzzy Logic, Norms, Institutions, Deontic Logic
21	Xiaoliang Wang 0001, Xiaohong Jiang 0001, Susumu Horiguchi	Improved Bounds on the Feedfoward Design of Optical Multiplexers.	ISPAN	2008	DBLP DOI BibTeX RDF	optical buffered feedforward multiplexer
21	Aleksandra B. Slavkovic, Yuval Nardi, Matthew M. Tibbits	Secure Logistic Regression of Horizontally and Vertically Partitioned Distributed Databases.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
21	Weishi Zhang, Xiuguo Zhang	Modeling Service Interactions Using Kahn Process Network.	PDCAT	2006	DBLP DOI BibTeX RDF
21	Mauri Kuorilehto, Mikko Kohvakka, Marko Hännikäinen, Timo D. Hämäläinen	High Abstraction Level Design and Implementation Framework for Wireless Sensor Networks.	SAMOS	2005	DBLP DOI BibTeX RDF
21	Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li	A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons.	PaCT	2005	DBLP DOI BibTeX RDF
21	Shuhua Wang, Grace Tsai	Specification and Timing Analysis of Real-Time Systems.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	functional and timing requirements, real-time systems, specification, schedulability analysis, allocation
21	Cheng-Shang Chang, Duan-Shin Lee, Chao-Kai Tu	Recursive construction of FIFO optical multiplexers with switched delay lines.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
21	Gregory R. Wheeler, Carlos Viegas Damásio	An Implementation of Statistical Default Logic.	JELIA	2004	DBLP DOI BibTeX RDF
21	Ramesh A. Dandekar	Maximum Utility-Minimum Information Loss Table Server Design for Statistical Disclosure Control of Tabular Data.	Privacy in Statistical Databases	2004	DBLP DOI BibTeX RDF
21	Martin Kardos, Franz J. Rammig	Model Based Formal Verification of Distributed Production Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
21	Christian Stehno	System Specification and Verification Using High Level Concepts - A Tool Demonstration.	SPIN	2002	DBLP DOI BibTeX RDF
21	Robert M. Hierons, T.-H. Kim, Hasan Ural	Expanding an Extended Finite State Machine to aid Testability.	COMPSAC	2002	DBLP DOI BibTeX RDF	testability, extended finite state machine, infeasible paths
21	Per Bjuréus, Axel Jantsch	Modeling of mixed control and dataflow systems in MASCOT.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
21	Guoping Jia, Susanne Graf	Verification Experiments on the MASCARA Protocol.	SPIN	2001	DBLP DOI BibTeX RDF
21	Per Bjuréus, Axel Jantsch	MASCOT: A Specification and Cosimulation Method Integrating Data and Control Flow.	DATE	2000	DBLP DOI BibTeX RDF
21	Leonidas Fegaras, Chandrasekhar Srinivasan, Arvind Rajendran, David Maier 0001	lambda-DB: An ODMG-Based Object-Oriented DBMS.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
21	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier	IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Marc Born, Andreas Hoffmann 0001	An Object-Oriented Design Methodology for Distributed Services.	TOOLS (28)	1998	DBLP DOI BibTeX RDF
21	Hans Fleischhack, Josef Tapken	An M-Net Semantics for a Real-Time Extension of µSDL.	FME	1997	DBLP DOI BibTeX RDF
21	Valery A. Nepomniaschy, Nikolay V. Shilov 0002	REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
17	Wissam Mallouli, Ana R. Cavalli	Testing Security Rules with Decomposable Activities.	HASE	2007	DBLP DOI BibTeX RDF	Verification and Testing, Test Generation, Security Policy, SDL, Extended Finite State Machine
17	Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens	A formal approach for testing security rules.	SACMAT	2007	DBLP DOI BibTeX RDF	verification and testing, test generation, security policy, SDL, EFSM, OrBAC
17	Hongzhi Liang, Jürgen Dingel, Zinovy Diskin	A comparative survey of scenario-based to state-based model synthesis approaches.	SCESM	2006	DBLP DOI BibTeX RDF	model, UML, petri nets, synthesis, scenario, SDL, state machines, MSC
17	Sven Ove Hansson	A New Representation Theorem for Contranegative Deontic Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	contranegative predicate, standard deontic logic, preference logic, SDL, deontic logic, representation theorem
17	Dieter Hogrefe	Main issues in protocol testing.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	IPv6, SDL, MSC, Protocol testing, TTCN
17	J. Jenny Li, W. Eric Wong	Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	CEFSM, specification, test generation, SDL
17	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
17	Cédric Besse, Ana R. Cavalli, Ferhat Khendek	Partial Validation of a Design Specification with Respect to Requirements.	APAQS	2001	DBLP DOI BibTeX RDF	MSC views, MSC traces, Specification, Validation, Requirement, SDL, MSC
17	Amer Baghdadi, Nacer-Eddine Zergainoh, Wander O. Cesário, T. Roudier, Ahmed Amine Jerraya	Design Space Exploration for Hardware/Software Codesign of Multiprocessor Systems.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	Design Space Exploration, SDL, Hardware/Software Codesign, Performance Estimation, Multiprocessor Architectures
17	Hans J. Köhler, Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	Integrating UML diagrams for production control systems.	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, embedded systems, statecharts, SDL, graph grammars, collaboration diagrams
17	John A. Tufarolo, Jeff Nielsen, Susan Symington, Richard M. Weatherly, Annette L. Wilson, Timothy C. Hyon	Automated distributed system testing: designing an RTI verification system.	WSC	1999	DBLP DOI BibTeX RDF	SDL
17	Franz Fischer, Annette Muth, Georg Färber	Towards interprocess communication and interface synthesis for a heterogeneous real-time rapid prototyping environment.	CODES	1998	DBLP DOI BibTeX RDF	task classification model, rapid prototyping, SDL, hard real-time, communication synthesis
17	Frank Slomka, Jürgen Zant, Lennard Lambert	Schedulability analysis of heterogeneous systems for performance message sequence chart.	CODES	1998	DBLP DOI BibTeX RDF	SDL
17	Jean-Marc Daveau, Gilberto Fernandes Marchioro, Ahmed Amine Jerraya	Hardware/software co-design of an ATM network interface card: a case study.	CODES	1998	DBLP DOI BibTeX RDF	SDL
17	Lothar Baum, Martin Becker 0002, Lars Geyer, Georg Molter, Peter Sturm 0001	Driving the composition of runtime platforms by architectural knowledge.	ACM SIGOPS European Workshop	1998	DBLP DOI BibTeX RDF	SDL
17	Stefan Fischer 0001, Stefan Leue	Formal Methods for Broadband and Multimedia Systems (Tutorial).	ICSE	1997	DBLP DOI BibTeX RDF	broadband communication, quality of service, real time, specification, implementation, SDL, formal description techniques, distributed multimedia systems, Estelle
17	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
17	Laibo Yu, Guoxiang Liu, Rui Zhang 0052	Differences Evaluation among Three Global Remote Sensing SDL Products.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
17	Emmanuel Gaudin, Eric Brunel, Mihal Brumbulli	Language Agnostic Model Checking for SDL.	MoDELS (Companion)	2023	DBLP DOI BibTeX RDF
17	Zecang Gu, Xiaoqi Sun, Yuan Sun, Fuquan Zhang	Probabilistic spatial clustering based on the Self Discipline Learning (SDL) model of autonomous learning.	CoRR	2022	DBLP BibTeX RDF
17	Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin	Model-checking of space systems designed with TASTE/SDL.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
17	Azka Wani, Revathi S, Rubeena Khaliq	SDN-based intrusion detection system for IoT using deep learning classifier (IDSIoT-SDL).	CAAI Trans. Intell. Technol.	2021	DBLP DOI BibTeX RDF
17	Son Nguyen Truong	SDL: New data generation tools for full-level annotated document layout.	CoRR	2021	DBLP BibTeX RDF
17	Xavier Pi i Palomés, Pere Tuset-Peiró, Pau Fonseca i Casas	Combining Low-Code Programming and SDL-Based Modeling with Snap! in the Industry 4.0 Context.	MoDELS (Companion)	2021	DBLP DOI BibTeX RDF
17	Kajal Kansal, A. Venkata Subramanyam, Zheng Wang 0007, Shin'ichi Satoh 0001	SDL: Spectrum-Disentangled Representation Learning for Visible-Infrared Person Re-Identification.	IEEE Trans. Circuits Syst. Video Technol.	2020	DBLP DOI BibTeX RDF
17	Mihal Brumbulli, Emmanuel Gaudin	An attempt to convert BPMN models to SDL.	SAM	2020	DBLP DOI BibTeX RDF
17	Pau Fonseca i Casas, Joan Garcia i Subirana, Victor Garcia i Carrasco, Jorge Luiz Silva de Barcellos, Josep Roma, Xavier Pi	SDL Cellular Automaton COVID-19 conceptualization.	SAM	2020	DBLP DOI BibTeX RDF
17	Iryna Karamysheva, Kateryna Lishnievska, Roksolana Nazarchuk	Peculiarities of Usage of Terminology Management Systems in SDL Trados and MemoQ Translator Pro for Translation of English-language Instructions.	CSIT (1)	2020	DBLP DOI BibTeX RDF
17	José Roberto C. Piqueira, Sérgio Henrique Vannucchi Leme de Mattos	LMC and SDL Complexity Measures: A Tool to Explore Time Series.	Complex.	2019	DBLP DOI BibTeX RDF
17	Omar Hayat, Razali Ngah, Yasser Zahedi	Device discovery for D2D communication in in-band cellular networks using sphere decoder like (SDL) algorithm.	EURASIP J. Wirel. Commun. Netw.	2018	DBLP DOI BibTeX RDF
17	Zecang Gu, Yin Liang, Zhaoxi Zhang	The Modeling of SDL Aiming at Knowledge Acquisition in Automatic Driving.	CoRR	2018	DBLP BibTeX RDF
17	Rituparna Sarkar, Scott T. Acton	SDL: Saliency-Based Dictionary Learning Framework for Image Similarity.	IEEE Trans. Image Process.	2018	DBLP DOI BibTeX RDF
17	Lingling Zhang, Jie Yang Shair, Yong Wang, Rongcan Li, Hongtu Chen	Usability Assessment of a Web-Based Self-Directed Learning (SDL) System for Chinese Dementia Caregivers.	HCI (27)	2018	DBLP DOI BibTeX RDF
17	Soufiane Zahid, Abdeslam En-Nouaary, Slimane Bah	An SDL to Discrete-Time PROMELA Transformation of Home Area Network model.	SITA	2018	DBLP DOI BibTeX RDF
17	Raghudeep Kannavara, Jacob Vangore, William Roberts, Marcus Lindholm, Priti Shrivastav	Automating Threat Intelligence for SDL.	SecDev	2018	DBLP DOI BibTeX RDF
17	Asma El Hamzaoui, Abdeslam En-Nouaary, Hicham Bensaid	On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL.	ANT/SEIT	2018	DBLP DOI BibTeX RDF
17	Anna Oganian, Ionut Iacob, Goran Lesaja	Grouping of Variables to Facilitate SDL Methods in Multivariate Data Sets.	PSD	2018	DBLP DOI BibTeX RDF
17	Andres Felipe Fuentes Vasquez, Eugenio Tamura	From SDL Modeling to WSN Simulation for IoT Solutions.	WEA (2)	2018	DBLP DOI BibTeX RDF
17	Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik	Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin.	IEEE Access	2017	DBLP DOI BibTeX RDF
17	Anandi Giridharan	A Formal Model for Service Discovery Protocol (SDP) using SDL.	ICMLC	2017	DBLP DOI BibTeX RDF
17	Raghudeep Kannavara, Gilad Gressel, Damilare Fagbemi, Richard Chow	A Machine Learning Approach to SDL.	SecDev	2017	DBLP DOI BibTeX RDF
17	Juha Kalliovaara, Reijo Ekman, Tero Jokela, Mikko Jakobsson, Pekka Talmola, Jarkko Paavola, Esko Huuhka, Matti Jokisalo, Mikko Meriläinen	Suitability of ITU-R P.1546 propagation predictions for allocating LTE SDL with GE06.	BMSB	2017	DBLP DOI BibTeX RDF
17	Zahid Soufiane, Abdeslam En-Nouaary, Slimane Bah	SDL Modeling and Validation of Home Area Network in Smart Grid Systems.	SCA	2017	DBLP DOI BibTeX RDF