Search results for "SDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Loïc Hélouët	A simulation model for message sequence charts.	SDL Forum	1999	DBLP BibTeX RDF
53	Ekkart Rudolph, Jens Grabowski, Peter Graubmann	Towards a harmonization of UML-sequence diagrams and MSC.	SDL Forum	1999	DBLP BibTeX RDF
53	André Engels, Loe M. G. Feijs, Sjouke Mauw	MSC and data: dynamic variables.	SDL Forum	1999	DBLP BibTeX RDF
53	Mazen Malek	PerfSDL: Interface to protocol performance analysis by means of simulation.	SDL Forum	1999	DBLP BibTeX RDF
53	Nikolai Mansurov, Robert L. Probert	Dynamic scenario-based approach to re-engineering of legacy telecommunication software.	SDL Forum	1999	DBLP BibTeX RDF
52	Steven B. Lipner	The Trustworthy Computing Security Development Lifecycle.	ACSAC	2004	DBLP DOI BibTeX RDF
52	Joachim Fischer, Eckhardt Holz, Birger Møller-Pedersen	Structural and Behavioral Decomposition in Object Oriented Models.	ISORC	2000	DBLP DOI BibTeX RDF	distributed systems, object-orientation, composition, aggregation, concurrent systems, state charts
49	Wen Ye, Ying Du, Wei Deng	Application of Object-Oriented Analysis and Design in CDMA BSS Development.	TOOLS (36)	2000	DBLP DOI BibTeX RDF	CDMA mobile system, Software engineering, SDL, Object-oriented analysis and design
49	Douglas Niehaus, John A. Stankovic, Krithi Ramamritham	A real-time system description language.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing
48	Pau Fonseca	SDL distributed simulator.	WSC	2008	DBLP DOI BibTeX RDF
48	Thomas Kuhn 0001, Philipp Becker	A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models.	SAM	2006	DBLP DOI BibTeX RDF
48	Tae-Hyong Kim, Jae-Woo Kim, Qi-Ping Yang, Jae-Hyoung Lee, Soon-Gi Park, Yeun-Seung Shin	SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches.	SAM	2006	DBLP DOI BibTeX RDF
48	Daniel Dietterle, Jerzy Ryman, Kai F. Dombrowski, Rolf Kraemer	Mapping of High-Level SDL Models to Efficient Implementations for TinyOS.	DSD	2004	DBLP DOI BibTeX RDF
48	Paresh Jain, Amresh Paresh Jain	Validating Wireless Protocol Conformance Test Cases.	SAM	2004	DBLP DOI BibTeX RDF
48	Joe Abboud Syriani, Nashat Mansour	Modeling Web Systems Using SDL.	ISCIS	2003	DBLP DOI BibTeX RDF
48	Frank Rößler, Birgit Geppert, Reinhard Gotzhein	CoSDL: An Experimental Language for Collaboration Specification.	SAM	2002	DBLP DOI BibTeX RDF
48	Christos Drosos, M. Zayadine, Dimitris Metafas	Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM Microcontroller.	ECRTS	2001	DBLP DOI BibTeX RDF
48	Frank Slomka, Matthias Dörfel, Ralf Münzenberger	Generating mixing hardware/software systems from SDL specifications.	CODES	2001	DBLP DOI BibTeX RDF
48	Morgan Björkander	Graphical Programming Using UML and SDL.	Computer	2000	DBLP DOI BibTeX RDF
48	Tony Savor, Rudolph E. Seviora	Improving the efficiency of supervision by software through state aggregation.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation
44	Ernesto Exposito, Patrick Sénac, Michel Diaz	UML-SDL modelling of the FPTP QoS oriented transport protocol.	MMM	2004	DBLP DOI BibTeX RDF	transport mechanisms, QoS, UML, congestion control, transport protocol, SDL
44	Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale	Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.	FORTE	2003	DBLP DOI BibTeX RDF	timed EFSM, timed extensions, conformance testing, SDL
44	Marek Jersak, Kai Richter 0001, Rafik Henia, Rolf Ernst, Frank Slomka	Transformation of SDL specifications for system-level timing analysis.	CODES	2002	DBLP DOI BibTeX RDF	SDL
44	Matthias Dörfel, Frank Slomka, Richard Hofmann	A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Interface Selection, High-Level Synthesis, Rapid Prototyping, SDL, Codesign, Communication Systems
44	Joachim Fischer, Michael Piefel, Markus Scheidgen	A Metamodel for SDL-2000 in the Context of Metamodelling ULF.	SAM	2004	DBLP DOI BibTeX RDF
44	Harald Böhme, Joachim Fischer	eODL and SDL in Combination for Components.	SAM	2004	DBLP DOI BibTeX RDF
44	Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener	Techniques for Abstracting SDL Specifications.	SAM	2002	DBLP DOI BibTeX RDF
43	Raimund L. Feldmann, Wolfgang Mahnke, Norbert Ritter, Birgit Geppert, Frank Rößler	An ORDBMS-Based Reuse Repository Supporting the Quality Improvement Paradigm - Exemplified by the SDL-Pattern Approach.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	ORDBMS, QIP, SDL-Pattern, Experience Base, Reuse Repository
42	Chao-Lieh Chen	Morphisms from IEEE 802.11 DCF specifications to its EDCA QoS practice with cross-layer interface.	ICPADS	2007	DBLP DOI BibTeX RDF
42	Constantin Werner, Sebastian Kraatz, Dieter Hogrefe	A UML Profile for Communicating Systems.	SAM	2006	DBLP DOI BibTeX RDF
42	Thomas Cottenier, Aswin van den Berg, Tzilla Elrad	Modeling Aspect-Oriented Compositions.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
42	Chul Hwee Kim, John G. Hosking, John C. Grundy	A Suite of Visual Languages for Statistical Survey Specification.	VL/HCC	2005	DBLP DOI BibTeX RDF	statistical surveys, visual language, visual environment
42	Vladimir Levin, Hüsnü Yenigün	SDLcheck: A Model Checking Tool.	CAV	2001	DBLP BibTeX RDF
38	Issam Jabri, Nicolas Krommenacker, Adel Soudani, Thierry Divoux	Load Balancing Approach for Wireless IEEE 802.11 QoS Enhancement. (PDF / PS)	PWC	2006	DBLP DOI BibTeX RDF	QoS Protocol, Load Balancing, Wireless LAN, SDL
38	Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko	An Automata-Based Approach to Property Testing in Event Traces.	TestCom	2003	DBLP DOI BibTeX RDF	distributed traces, monitoring, SDL, passive testing, property checking
38	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
38	Richard O. Sinnott	Architecting Specifications for Test Case Generation.	SEFM	2003	DBLP DOI BibTeX RDF	SDL, Test Case Generation, TTCN
38	Jens H. Jahnke	Engineering component-based net-centric systems for embedded applications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	component-oriented development, embedded softare, network-centric computing, SDL
38	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
38	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh 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
38	John Bowers 0001, John Churcher	Local and Global Structuring of Computer Mediated Communication: Developing Linguistic Perspectives on CSCW in Cosmos.	CSCW	1988	DBLP DOI BibTeX RDF	SDL
38	Sabine M. Böhm, Klaus Echtle	State Space Reduction in SDL Models of Fault-Tolerant Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
38	Antti Laitinen, Marko Hännikäinen, Timo Hämäläinen 0001	Using SDL a tool for system simulations.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
38	Kenneth J. Turner, F. Javier Argul-Marin, Stephen D. Laing	Concurrent Specification and Timing Analysis of Digital Hardware Using SDL.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
38	Nisse Husberg, Tapio Manner	Emma: Developing an Industrial Reachability Analyser for SDL.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
38	Heikki Tuominen	Embedding a Dialect of SDL in PROMELA.	SPIN	1999	DBLP DOI BibTeX RDF
38	Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt 0002	Autolink: A Tool for Automatic Test Generation from SDL Specifications.	WIFT	1998	DBLP DOI BibTeX RDF
38	Bernd Grahlmann	Combining Finite Automata, Parallel Programs and SDL Using Petri Nets.	TACAS	1998	DBLP DOI BibTeX RDF
34	Martin Steppler	Performance analysis of communication systems formally specified in SDL.	WOSP	1998	DBLP DOI BibTeX RDF	SDL
34	Philippe Leblanc	OMT and SDL Based Techniques and Tools for Design, Simulation and Test Production of Distributed Systems.	Int. J. Softw. Tools Technol. Transf.	1997	DBLP DOI BibTeX RDF	Engineering of distributed systems, Behavioral property, SDL, Model validation, MSC, Model simulation, OMT
33	Pavel Morozkin	Obtaining an SDL entity identifier using SDL/SystemC co-modeling.	FRUCT	2012	DBLP DOI BibTeX RDF
33	Annette Muth	SDL-based Design of Application Specific Hardware for Hard Real-Time Systems (SDL-basierter Entwurf von anwendungsspezifischer Hardware für harte Realzeitsysteme) (PDF / PS)		2007	RDF
33	Andreas Metzger, Stefan Queins	Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems.	SAM	2002	DBLP DOI BibTeX RDF
33	Susanne Graf	Expression of Time and Duration Constraints in SDL.	SAM	2002	DBLP DOI BibTeX RDF
33	Birgit Geppert, Frank Rößler	The SDL pattern approach - a reuse-driven SDL design methodology.	Comput. Networks	2001	DBLP DOI BibTeX RDF
33	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz 0001	Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
33	Birgit Geppert	The SDL pattern approach - a reuse-driven SDL methodology for designing communication software systems.		2001	RDF
33	Franz Fischer, Thomas Hopfner, Thomas Kolloch, Annette Muth, Stefan M. Petters, Georg Färber, Matthias Dörfel, Winfried Dulz, Richard Hofmann, Andreas Mitschele-Thiel, Ralf Münzenberger, Frank Slomka	Rapid Prototyping von Realzeitsystemen mit SDL (Rapid Prototyping of Real Time Systems using SDL).	Informationstechnik Tech. Inform.	2000	DBLP DOI BibTeX RDF
33	Ketil Stølen, P. Mohn	Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager.	SAM	2000	DBLP BibTeX RDF
33	Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler	Development of SDL Based Software for an Embedded System - Practical Experience.	SAM	2000	DBLP BibTeX RDF
33	Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent	SDL for Real-Time: What is Missing?	SAM	2000	DBLP BibTeX RDF
33	Ferhat Khendek, Daniel Vincent	Enriching SDL Specifications with MSCs.	SAM	2000	DBLP BibTeX RDF
33	F. Boutet, E. Choveau, G. Rieux, Y. Lejeune	Scheduling in SDL Simulation. Application to Future Air Navigation Systems.	SAM	2000	DBLP BibTeX RDF
33	B. Rao	SDL Based Auto Code Generation: A Multi Beneficial Approach.	SAM	2000	DBLP BibTeX RDF
33	Olaf Henniger, Hasan Ural	Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications.	SAM	2000	DBLP BibTeX RDF
33	José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya	SDL and hard real time systems: new design and analyze techniques.	SAM	2000	DBLP BibTeX RDF
33	Andreas Prinz 0001, Robert Eschbach, Reinhard Gotzhein	A Executable Formal Semantics for SDL-2000.	SAM	2000	DBLP BibTeX RDF
33	Frank Lemmen	Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring.	MMB	1997	DBLP BibTeX RDF
33	Frank Lemmen	Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring.	FBT	1997	DBLP BibTeX RDF
33	Yaoxue Zhang, Hua Chen, Yue Zhang, Guoli Liu	SDL-TRAN - An interactive generator for formal description language SDL.	J. Comput. Sci. Technol.	1996	DBLP DOI BibTeX RDF
33	Aana Robnik	Experiences of Using SDL Collected in IskraTEL SDL Methodology.	FORTE	1995	DBLP BibTeX RDF
33	Antti Takko, Marko Hännikäinen, Jarno Knuutila, Timo Hämäläinen 0001, Jukka Saarinen	Embedding SDL implemented protocols into DSP.	CASES	2000	DBLP DOI BibTeX RDF	SDL implementation, wireless LAN, MAC protocol
31	Effie Lai-Chong Law, Anh Vu Nguyen-Ngoc	Fostering Self-Directed Learning with Social Software: Social Network Analysis and Content Analysis.	EC-TEL	2008	DBLP DOI BibTeX RDF	Social network analysis, Social software, Content analysis, Self-directed learning, Cross-cultural collaboration
31	Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov	Using Coloured Petri Nets to Model and Verify Telecommunications Systems.	CSR	2008	DBLP DOI BibTeX RDF
31	Jay Cheng, Cheng-Shang Chang, Tsz-Hsuan Chao, Duan-Shin Lee, Ching-Ming Lien	On Constructions of Optical Queues with a Limited Number of Recirculations.	INFOCOM	2008	DBLP DOI BibTeX RDF
31	Po-Kai Huang, Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee	Recursive Constructions of Parallel FIFO and LIFO Queues With Switched Delay Lines.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
31	Hussam Al-Hertani, Jacek Ilow	Pattern Recognition Based Detection and Localization in a Network of Randomly Distributed Sensor Nodes.	ISDA	2005	DBLP DOI BibTeX RDF
31	Umer Waqar, Ferhat Khendek, Daniel Vincent	A Formal Approach for Software Maintenance.	ICSM	2002	DBLP DOI BibTeX RDF
31	Merijn de Jonge, Ramin Monajemi	Cost-Effective Maintenance Tools for Proprietary Languages.	ICSM	2001	DBLP DOI BibTeX RDF
31	Eric Conquet, Jean-Luc Marty	Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
31	Kristofer Kimbler, Carl-Henrik Hagenfeldt, Jan Ellsberger, Gustav Bergman	An Environment for IN Service Prototyping and Validation.	IS&N	1999	DBLP DOI BibTeX RDF
31	Raimund L. Feldmann, Birgit Geppert, Frank Rößler	An Integrating Approach for Developing Distributed Software Systems -- Combining Formal Methods, Software Reuse, and the Experience Base.	ICECCS	1999	DBLP DOI BibTeX RDF
31	Chris W. Loftus, A. Olsen, Euricio Inocêncio, Paula Viana	A Code Generation Strategy for CORBA-Based Internet Applications.	EDOC	1997	DBLP DOI BibTeX RDF	Internet, CORBA, Code generation, service creation, TINA
28	Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich	A formal approach to property testing in causally consistent distributed traces.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Distributed systems, Monitoring, SDL, Trace analysis, System validation, Passive testing
28	Frank Weil, Andrij Neczwid	Summary of the 2006 Model Size Metrics Workshop.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Model Size Metrics, UML, Model-Driven Engineering, SDL
28	Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada	A Validation Model for the DSR Protocol.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	routing protocol, conformance testing, SDL, Ad hoc wireless networks, DSR
28	Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel	Requirement-Based Automated Black-Box Test Generation.	COMPSAC	2001	DBLP DOI BibTeX RDF	Selective Testing, Requirements, Regression Testing, System Model, SDL, Black-Box Testing, System Testing, Automated Test Generation, EFSM
28	Juha Pärssinen, Niklas von Knorring, Jukka Heinonen, Tellabs Oy, Markku Turunen	UML for Protocol Engineering - Extensions and Experiences.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	protocol, implementation, SDL, UML profile
28	Ousmane Koné	Experiment with the Validation of WAP Systems.	LCN	2000	DBLP DOI BibTeX RDF	WAP systems validation, French project, WAP session layer, WAP transaction service, interoperability test sequences, specification validation, reference tests, WAP products, interoperation, program verification, specification languages, open systems, conformance testing, sequences, SDL, Wireless Application Protocols, industry, access protocols, formal description technique, mobile terminals, Internet services, Internet telephony, mobile telephony
28	Stefan M. Petters, Annette Muth, Thomas Kolloch, Thomas Hopfner, Franz Fischer, Georg Färber	The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems .	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	rapid prototyping, timing constraints, schedulability analysis, SDL, design automation, hard real-time, WCET-analysis
28	Peter Langendörfer, Hartmut König	Automated Protocol Implementations Based on Activity Threads.	ICNP	1999	DBLP DOI BibTeX RDF	Automated Protocol Implementation, Activity Threads, Code Generation Tools, SDL, Formal Description Techniques
28	Theofanis Vassiliou-Gioles, Ina Schieferdecker	Case Study in Protocol Validation: Validating an ATM Signalling Protocol.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	ATM signalling, Validation, SDL
28	Bernd Grahlmann	The State of PEP.	AMAST	1998	DBLP DOI BibTeX RDF	C code generation, Simulation, Verification, Parallel programs, Petri nets, SDL, PEP, 3D visualisation
28	Andreas Mitschele-Thiel	Load and Performance Modeling of Communication Subsystems with the DO-IT Toolbox.	MASCOTS	1997	DBLP DOI BibTeX RDF	tools, SDL, Communication systems, MSC, performance modeling and analysis
28	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
28	Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen	A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment
28	D. Sinclair, Ludo Cuypers, Kurt Verschaeve, E. Holz, Alexios N. Birbas, V. Mariatos, N. Kyrloglou, J.-L. Roux	A formal approach to HW/SW co-design: the INSYDE project.	ECBS	1996	DBLP DOI BibTeX RDF	INSYDE project, hybrid system co-design, formal description languages, requirements capture, formal verification, software tools, validation, VHDL, object-oriented design, object-oriented methods, SDL, hardware description languages, object-oriented analysis, hardware/software co-design, formal approach
28	Shahrzade Mazaher, Georg Raeder	ODP-based distribution configuration.	PDP	1995	DBLP DOI BibTeX RDF	ODP-based distribution configuration, open distributed object-based systems, distributed target platform, reliability constraints, abstract engineering model, implementation-oriented nature, distribution configuration language, static distribution configuration, object-oriented programming, distributed processing, dynamic reconfiguration, open systems, tool support, SDL
27		Statistical Disclosure Limitation (SDL).	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
27	Kameswari Kotapati, Peng Liu 0005, Thomas F. La Porta	CAT - A Practical Graph & SDL Based Toolkit for Vulnerability Assessment of 3G Networks.	SEC	2006	DBLP DOI BibTeX RDF