Search results for "SAM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tsang-Yi Wang, Jwo-Yuh Wu	Reliability-based detection for decode-and-forward relaying in cooperative communications.	SAM	2012	DBLP DOI BibTeX RDF
1	Koen C. H. Blom, Rinse Wester, André B. J. Kokkeler, Gerard J. M. Smit	Low-cost multi-channel underwater acoustic signal processing testbed.	SAM	2012	DBLP DOI BibTeX RDF
1	Shuangyu Luo, Jiangyuan Li, Athina P. Petropulu	Physical layer security with uncoordinated helpers implementing cooperative jamming.	SAM	2012	DBLP DOI BibTeX RDF
1	Brian O'Donnell, Jun Jason Zhang, Antonia Papandreou-Suppappola, Muralidhar Rangaswamy	Waveform-agile multiple target tracking using probability hypothesis density filtering.	SAM	2012	DBLP DOI BibTeX RDF
1	Oren Jean, Anthony J. Weiss	Convex joint emitter localization and passive sensor network synchronization.	SAM	2012	DBLP DOI BibTeX RDF
1	Joong Bum Rhim, Lav R. Varshney, Vivek K. Goyal	Benefits of collaboration and diversity in teams of categorically-thinking decision makers.	SAM	2012	DBLP DOI BibTeX RDF
1	Lee K. Patton, Daniel E. Hack, Braham Himed	Adaptive pulse design for space-time adaptive processing.	SAM	2012	DBLP DOI BibTeX RDF
1	Ami Wiesel, Amir Globerson	Covariance estimation in time varying ARMA processes.	SAM	2012	DBLP DOI BibTeX RDF
1	Shawn Kraut, Daniel W. Bliss	Analyzing the impact of MIMO radar on tracking association error.	SAM	2012	DBLP DOI BibTeX RDF
1	Joachim Fischer, Jens-Peter Redlich, Björn Scheuermann 0001, Jochen H. Schiller, Mesut Günes, Kai Nagel, Peter Wagner 0003, Markus Scheidgen, Anatolij Zubow, Ingmar Eveslage, Robert Sombrutzki, Felix Juraschek	From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart Cities.	SAM	2012	DBLP DOI BibTeX RDF
1	Urooj Fatima, Rolv Bræk	On Deriving Detailed Component Design from High-Level Service Specification.	SAM	2012	DBLP DOI BibTeX RDF
1	Xiaorui Zhang, Birger Møller-Pedersen	Towards Correct Product Derivation in Model-Driven Product Lines.	SAM	2012	DBLP DOI BibTeX RDF
1	Henning Berg, Birger Møller-Pedersen	Type-Safe Symmetric Composition of Metamodels Using Templates.	SAM	2012	DBLP DOI BibTeX RDF
1	Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid, Edna Braun, Eric S. K. Yu, Gunter Mussbacher, Rasha Tawhid, Nick Cartwright	An Approach to Specify and Analyze Goal Model Families.	SAM	2012	DBLP DOI BibTeX RDF
1	Mihal Brumbulli, Joachim Fischer	Simulation Configuration Modeling of Distributed Communication Systems.	SAM	2012	DBLP DOI BibTeX RDF
1	Martin A. Schneider, Jürgen Großmann, Nikolay Tcholtchev, Ina Schieferdecker, Andrej Pietschker	Behavioral Fuzzing Operators for UML Sequence Diagrams.	SAM	2012	DBLP DOI BibTeX RDF
1	Birger Møller-Pedersen	Models '67 Revisited.	SAM	2012	DBLP DOI BibTeX RDF
1	Mohamed Mussa, Ferhat Khendek	Identification and Selection of Interaction Test Scenarios for Integration Testing.	SAM	2012	DBLP DOI BibTeX RDF
1	Dennis Christmann, Reinhard Gotzhein	Real-Time Tasks in SDL.	SAM	2012	DBLP DOI BibTeX RDF
1	Andreas Blunk, Joachim Fischer	Prototyping Domain Specific Languages as Extensions of a General Purpose Language.	SAM	2012	DBLP DOI BibTeX RDF
1	Jameleddine Hassine, Daniel Amyot	GRL Model Validation: A Statistical Approach.	SAM	2012	DBLP DOI BibTeX RDF
1	Ali Kanso, Maria Toeroe, Ferhat Khendek	Configuration-Based Service Availability Analysis for Middleware Managed Applications.	SAM	2012	DBLP DOI BibTeX RDF
1	Edel Sherratt	Relativity and Abstract State Machines.	SAM	2012	DBLP DOI BibTeX RDF
1	Frank Alexander Kraemer, Peter Herrmann (eds.)	System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers	SAM	2011	DBLP DOI BibTeX RDF
1	Uwe Jugel, André Preußner	A Case Study on API Generation.	SAM	2010	DBLP DOI BibTeX RDF
1	Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier	Requirements and Solutions for Timing Analysis of Automotive Systems.	SAM	2010	DBLP DOI BibTeX RDF
1	Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek	A Model Driven Approach for AMF Configuration Generation.	SAM	2010	DBLP DOI BibTeX RDF
1	Mihal Brumbulli, Joachim Fischer	SDL Code Generation for Network Simulators.	SAM	2010	DBLP DOI BibTeX RDF
1	Surya Bahadur Kathayat, Rolv Bræk	From Flow-Global Choreography to Component Types.	SAM	2010	DBLP DOI BibTeX RDF
1	Tobias Braun, Reinhard Gotzhein, Matthias Wiebel	Integration of FlexRay into the SDL-Model-Driven Development Approach.	SAM	2010	DBLP DOI BibTeX RDF
1	Alexander Kraas	The SDL-UML Profile Revisited.	SAM	2010	DBLP DOI BibTeX RDF
1	Wafi Dahman, Jens Grabowski	UML-Based Specification and Generation of Executable Web Services.	SAM	2010	DBLP DOI BibTeX RDF
1	Jacqueline Floch, Cyril Carrez	A Developer-Friendly Approach for the Validation of Dynamic Compositions.	SAM	2010	DBLP DOI BibTeX RDF
1	Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon	UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models.	SAM	2010	DBLP DOI BibTeX RDF
1	Philipp Becker, Marc Krämer	SDL Modules - Concepts and Tool Support.	SAM	2010	DBLP DOI BibTeX RDF
1	Gunter Mussbacher, Daniele Barone, Daniel Amyot	Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling.	SAM	2010	DBLP DOI BibTeX RDF
1	Sören Kemmann, Thomas Kuhn 0001, Mario Trapp	Extensible and Automated Model-Evaluations with INProVE.	SAM	2010	DBLP DOI BibTeX RDF
1	Manuel Rodríguez-Cayetano	Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL.	SAM	2010	DBLP DOI BibTeX RDF
1	Nicolas Genon, Daniel Amyot, Patrick Heymans	Analysing the Cognitive Effectiveness of the UCM Visual Notation.	SAM	2010	DBLP DOI BibTeX RDF
1	Rami Bahsoon, Licia Capra, Wolfgang Emmerich, Mohamed E. Fayad (eds.)	Proceedings of the 1st International Workshop on Software Architectures and Mobility, SAM '08, Leipzig, Germany, May 10, 2008	SAM	2008	DBLP DOI BibTeX RDF
1	Daniel Amyot, Hanna Farah, Jean-François Roy	Evaluation of Development Tools for Domain-Specific Modeling Languages.	SAM	2006	DBLP DOI BibTeX RDF
1	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Timed Use Case Maps.	SAM	2006	DBLP DOI BibTeX RDF	timing aspects, timed UCM, Clocked Transition Systems, performance, User Requirements Notation, Use Case Maps
1	Tai Hyo Kim, Sung Deok Cha	Timed High-Level Message Sequence Charts for Real-Time System Design.	SAM	2006	DBLP DOI BibTeX RDF
1	Fritjof Boger Engelhardtsen, Andreas Prinz 0001	Application of Stuck-Free Conformance to Service-Role Composition.	SAM	2006	DBLP DOI BibTeX RDF
1	Joachim Fischer, Andreas Prinz 0001, Markus Scheidgen, Merete Skjelten Tveit	Implementing the eODL Graphical Representation.	SAM	2006	DBLP DOI BibTeX RDF
1	Ingmar Fliege, Rüdiger Grammes, Christian Weber	ConTraST - A Configurable SDL Transpiler and Runtime Environment.	SAM	2006	DBLP DOI BibTeX RDF
1	Rüdiger Grammes	Formal Operations for SDL Language Profiles.	SAM	2006	DBLP DOI BibTeX RDF
1	Loïc Hélouët, Thibaut Hénin, Christophe Chevrier	Automating Scenario Merging.	SAM	2006	DBLP DOI BibTeX RDF
1	Abdelouahed Gherbi, Ferhat Khendek	Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.	SAM	2006	DBLP DOI BibTeX RDF
1	Jean-François Roy, Jason Kealey, Daniel Amyot	Towards Integrated Tool Support for the User Requirements Notation.	SAM	2006	DBLP DOI BibTeX RDF
1	Constantin Werner, Sebastian Kraatz, Dieter Hogrefe	A UML Profile for Communicating Systems.	SAM	2006	DBLP DOI BibTeX RDF
1	Thomas Kuhn 0001, Philipp Becker	A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models.	SAM	2006	DBLP DOI BibTeX RDF
1	Benjamin Zeiss, Helmut Neukirchen, Jens Grabowski, Dominic Evans, Paul Baker	Refactoring and Metrics for TTCN-3 Test Suites.	SAM	2006	DBLP DOI BibTeX RDF
1	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
1	Reinhard Gotzhein, Rick Reed (eds.)	System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers	SAM	2006	DBLP DOI BibTeX RDF
1	Daniel Amyot, Alan W. Williams (eds.)	System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers	SAM	2005	DBLP DOI BibTeX RDF
1	Loïc Hélouët	Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2.	SAM	2004	DBLP DOI BibTeX RDF
1	Bill Mitchell, Robert Thomson 0002, Paul Bristow	Scenario Synthesis from Imprecise Requirements.	SAM	2004	DBLP DOI BibTeX RDF
1	Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao-Jun Zhang, Tong Zheng 0002	Early Validation of Deployment and Scheduling Constraints for MSC Specifications.	SAM	2004	DBLP DOI BibTeX RDF
1	Andreas Hoffmann 0001, Bertram Neubauer	Deployment and Configuration of Distributed Systems.	SAM	2004	DBLP DOI BibTeX RDF
1	Paresh Jain, Amresh Paresh Jain	Validating Wireless Protocol Conformance Test Cases.	SAM	2004	DBLP DOI BibTeX RDF
1	Arjan J. Mooij, Nicolae Goga	Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control.	SAM	2004	DBLP DOI BibTeX RDF
1	Rick Reed	Data Encoding for SDL in ITU-T Rec. Z.104.	SAM	2004	DBLP DOI BibTeX RDF	Text encoding, Encoding, SDL, Data, ASN.1
1	Rolv Bræk, Jacqueline Floch	ICT Convergence: Modeling Issues.	SAM	2004	DBLP DOI BibTeX RDF
1	Joachim Fischer, Michael Piefel, Markus Scheidgen	A Metamodel for SDL-2000 in the Context of Metamodelling ULF.	SAM	2004	DBLP DOI BibTeX RDF
1	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
1	Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible	A Flexible Micro Protocol Framework.	SAM	2004	DBLP DOI BibTeX RDF
1	Cas J. F. Cremers, Sjouke Mauw	Checking Secrecy by Means of Partial Order Reduction.	SAM	2004	DBLP DOI BibTeX RDF
1	Øystein Haugen	Comparing UML 2.0 Interactions and MSC-2000.	SAM	2004	DBLP DOI BibTeX RDF
1	Edel Sherratt	SDL in a Changing World.	SAM	2004	DBLP DOI BibTeX RDF
1	Margarita de Cabo, Manuel Rodríguez	Applying eODL and SDL-Patterns for Developing TMN Managed Systems.	SAM	2004	DBLP DOI BibTeX RDF
1	Jameleddine Hassine, Rachida Dssouli, Juergen Rilling	Applying Reduction Techniques to Software Functional Requirement Specifications.	SAM	2004	DBLP DOI BibTeX RDF	Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps
1	Harald Böhme, Joachim Fischer	eODL and SDL in Combination for Components.	SAM	2004	DBLP DOI BibTeX RDF
1	Frank Weil, Thomas Weigert	Guidelines for Using SDL in Product Development.	SAM	2004	DBLP DOI BibTeX RDF
1	Jörg Dorsch, Anders Ek, Reinhard Gotzhein	SPT - The SDL Pattern Tool.	SAM	2004	DBLP DOI BibTeX RDF
1	Edel Sherratt (eds.)	Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers	SAM	2003	DBLP DOI BibTeX RDF
1	Ina Schieferdecker, Jens Grabowski	The Graphical Format of TTCN-3 in the Context of MSC and UML.	SAM	2002	DBLP DOI BibTeX RDF
1	Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams	Rapid Development of Network Software via SDL/Socket Interfaces.	SAM	2002	DBLP DOI BibTeX RDF	Socket Interface, SDL, Code Integration
1	Andreas Metzger, Stefan Queins	Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems.	SAM	2002	DBLP DOI BibTeX RDF
1	Peter Graubmann, Ekkart Rudolph	MSC Connectors: The Philosopher's Stone.	SAM	2002	DBLP DOI BibTeX RDF	Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality
1	Andreas Prinz 0001, Mario Schwarz	Object-Oriented Specification of Protocols for Reusability.	SAM	2002	DBLP DOI BibTeX RDF
1	Andreas Prinz 0001	SDL Time Extensions from a Semantic Point of View.	SAM	2002	DBLP DOI BibTeX RDF
1	Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher	Understanding Existing Software with Use Case Map Scenarios.	SAM	2002	DBLP DOI BibTeX RDF
1	Tong Zheng 0002, Ferhat Khendek	An Extension for MSC-2000 and Its Application.	SAM	2002	DBLP DOI BibTeX RDF
1	Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible	Micro Protocol Design: The SNMP Case Study.	SAM	2002	DBLP DOI BibTeX RDF
1	Frank Rößler, Birgit Geppert, Reinhard Gotzhein	CoSDL: An Experimental Language for Collaboration Specification.	SAM	2002	DBLP DOI BibTeX RDF
1	Javier Colás, Jesús M. Pérez, Javier Poncela-González, José T. Entrambasaguas	Implementation of UMTS Protocol Layers for the Radio Access Interface.	SAM	2002	DBLP DOI BibTeX RDF
1	Susanne Graf	Expression of Time and Duration Constraints in SDL.	SAM	2002	DBLP DOI BibTeX RDF
1	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell	Automatic Generation of Conformance Tests from Message Sequence Charts.	SAM	2002	DBLP DOI BibTeX RDF
1	Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener	Techniques for Abstracting SDL Specifications.	SAM	2002	DBLP DOI BibTeX RDF
1	Daniel Amyot, Gunter Mussbacher	URN: Towards a New Standard for the Visual Description of Requirements.	SAM	2002	DBLP DOI BibTeX RDF
1	F. A. Meijs	Connecting Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
1	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
1	Francis Bordeleau, Donald Cameron	On the Relationship between use-case maps and Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
1	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
1	François Terrier, Sébastien Gérard	Real Time System Modeling with UML: current status and some prospects.	SAM	2000	DBLP BibTeX RDF
1	Anca Muscholl, Doron A. Peled	Analyzing Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
1	Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent	SDL for Real-Time: What is Missing?	SAM	2000	DBLP BibTeX RDF
1	André Engels	Design Decisions on Data and Guards in MSC2000.	SAM	2000	DBLP BibTeX RDF
1	Nikolai Mansurov, Dmitri Vasura	Approximation of (H)MSC Semantics By Automata.	SAM	2000	DBLP BibTeX RDF

Publications at "SAM"( http://dblp.L3S.de/Venues/SAM )