Search results for "Estelle"

Hits ?▲	Authors	Title	Venue	Year	Link
22	Rachid Sijelmassi, Richard J. Linn Jr.	Guidelines for Using Estelle to Specify OSI Services and Protocols.	Comput. Networks ISDN Syst.	1992	DBLP DOI BibTeX RDF
22	Imrich Chlamtac, K. G. Satam	ETS - a performance prediction tool for protocols specified in FDT Estelle.	Microprocess. Microprogramming	1992	DBLP DOI BibTeX RDF
22	K. C. Huang, T. S. Nain, W. S. Hsieh, C. S. Yang, C. S. Lu	EPVD: An interactive protocol specification and validation environment in Estelle formal specification.	Microprocess. Microprogramming	1992	DBLP DOI BibTeX RDF
22	R. Födisch, Thomas Held, Hartmut König	A Protocol Development Environment Based on Estelle.	INDC	1992	DBLP BibTeX RDF
22	C. T. Nguyen, P. Hunel, Marie-Claude Vialatte	Application Context Definition for a Specific Application Layer Protocol and Rapid Prototyping with Estelle.	ULPAA	1992	DBLP BibTeX RDF
22	Thomas Held	Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen.	FBT	1992	DBLP BibTeX RDF
22	Detlef Kreuz, Reinhard Gotzhein	A Compiler for the Parallel Execution of Estelle Specification.	FBT	1992	DBLP BibTeX RDF
22	Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt	Design of a formal Estelle semantics for verification.	FORTE	1992	DBLP BibTeX RDF
22	Piotr Dembinski	Queueing network model for Estelle.	FORTE	1992	DBLP BibTeX RDF
22	Susan C. Murphy, Per Gunningberg, John P. J. Kelly	Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment.	Comput. Networks ISDN Syst.	1991	DBLP DOI BibTeX RDF
22	Behçet Sarikaya, Behdad Forghani, Srinivas Eswara	Estelle-based test generation tool.	Comput. Commun.	1991	DBLP DOI BibTeX RDF
22	Do Y. Lee, Jai-Yong Lee	A Well-Defined Estelle Specification for the Automatic Test Generation.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF
22	Do Y. Lee, Jai-Yong Lee	Test Generation for the Specification Written in Estelle.	PSTV	1991	DBLP BibTeX RDF
22	Pierre de Saqui-Sannes, Jean-Pierre Courtiat	An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle.	PSTV	1991	DBLP BibTeX RDF
22	Enrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes	Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation.	PSTV	1991	DBLP BibTeX RDF
22	Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt	Praktischer Einsatz und Weiterentwicklung von Estelle.	GI Jahrestagung	1991	DBLP DOI BibTeX RDF
22	D. Fernández, Enrique Vázquez, Juan Vinyes	Io: An Estelle Simulator for Performance Evaluation.	FORTE	1991	DBLP BibTeX RDF
22	Benoît Caillaud	The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms.	FORTE	1991	DBLP BibTeX RDF
22	C. T. Nguyen, P. Hunel, Marie-Claude Vialatte	Formal Specification, Validation and Implementation of an Application Protocol with Estelle.	FORTE	1991	DBLP BibTeX RDF
22	Maurizio Morisio, Riccardo Sisto	The use of Estelle to specify manufacturing systems.	Microprocessing and Microprogramming	1990	DBLP DOI BibTeX RDF
22	Anthony Chung, Deepinder P. Sidhu	Experience with an Estelle development system.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
22	Richard L. Tenney	Modelling flow control in Estelle.	PSTV	1990	DBLP BibTeX RDF
22	Y. T. Cheung, J. William Atwood	Specifying the Xpress Transfer Protocol Using Estelle and Valira.	FORTE	1990	DBLP BibTeX RDF
22	A. B. Alkhechi, Stanislaw Budkowski	Automatic Translation of Time Petri Nets into Estelle Description.	FORTE	1990	DBLP BibTeX RDF
22	Marc Phalippou, Roland Groz	From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach.	FORTE	1990	DBLP BibTeX RDF
22	Richard L. Tenney	Adding Interaction Sets to Estelle.	FORTE	1990	DBLP BibTeX RDF
22	Martine Guilmet, Philippe Thomas, Bruno Traverson	Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle.	FORTE	1990	DBLP BibTeX RDF
22	Woojik Chun, Paul D. Amer	Test Case Generation for Protocols Specified in Estelle.	FORTE	1990	DBLP BibTeX RDF
22	Piotr Dembinski	Interfacing ASN.1 and Estelle: A Practical Approach.	FORTE	1990	DBLP BibTeX RDF
22	Jean-Marc Jézéquel	Experience in Validating Protocol Integration Using Estelle.	FORTE	1990	DBLP BibTeX RDF
22	Darren New, Paul D. Amer	Protocol Visualization of Estelle Specifications.	FORTE	1990	DBLP BibTeX RDF
22	Juan A. Saras, Julio Berocal, Juan Riera	Use of Estelle, LOTOS and ASN.1 in One Project.	FORTE	1990	DBLP BibTeX RDF
22	Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld	ASN.1 and Estelle Implementation Support Tools.	FORTE	1990	DBLP BibTeX RDF
22	Rachid Sijelmassi, Brett Strausser	NIST Integrated Tool Set for Estelle.	FORTE	1990	DBLP BibTeX RDF
22	Marc Phalippou	Functional Specification for an ISDN Switching System: an Experience using Estelle.	PSTV	1989	DBLP BibTeX RDF
22	Claude Jard, Jean-Marc Jézéquel	A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines.	PSTV	1989	DBLP BibTeX RDF
22	Jian-Ping Wu, Samuel T. Chanson	Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification.	FORTE	1989	DBLP BibTeX RDF
22	Samuel C. Chamberlain, Paul D. Amer	A New User's Experiences and Impressions with Estelle.	FORTE	1989	DBLP BibTeX RDF
22	Pierre de Saqui-Sannes, Jean-Pierre Courtiat	From the Simulation to the Verification of Estelle Specifications.	FORTE	1989	DBLP BibTeX RDF
22	Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya	An Estelle Based Test Generation Tool for Modular Specifications.	FORTE	1989	DBLP BibTeX RDF
22	Toru Hasegawa, Hiroki Horiuchi, Toshihiko Kato, Kenji Suzuki 0003, Yoshiyori Urano	Automatic ADA program generation from protocol specifications based on ESTELLE and ASN.1.	ICCC	1988	DBLP BibTeX RDF
22	Paul D. Amer, Figen Ceceli, Guy Juanole	Formal specification of ISO virtual terminal in Estelle.	INFOCOM	1988	DBLP DOI BibTeX RDF
22	Son T. Vuong, Wendy Y. L. Chan	Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler.	FORTE	1988	DBLP BibTeX RDF
22	Rachid Sijelmassi, Philip Gaudette	An Object-Oriented Model for Estelle.	FORTE	1988	DBLP BibTeX RDF
22	Pierre de Saqui-Sannes, Jean-Pierre Courtiat	ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project.	FORTE	1988	DBLP BibTeX RDF
22	Marc Phalippou, Roland Groz	Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol.	FORTE	1988	DBLP BibTeX RDF
22	Udo Thalmann	Analysis of Estelle Specifications.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
22	Stanislaw Budkowski, Piotr Dembinski	An Introduction to Estelle: A Specification Language for Distributed Systems.	Comput. Networks	1987	DBLP DOI BibTeX RDF
22	Piotr Dembinski, Stanislaw Budkowski	Simulating Estelle Specifications with Time Parameters.	PSTV	1987	DBLP BibTeX RDF
22	Jean-Pierre Courtiat	How Could Estelle Become a Better FDT?	PSTV	1987	DBLP BibTeX RDF
22	Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache	A simulation environment for protocol specifications described in ESTELLE.	PSTV	1985	DBLP BibTeX RDF
22	Richard J. Linn Jr.	The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model.	PSTV	1985	DBLP BibTeX RDF
21	Estelle Hotellier, Franck Sicard, Julien Francq, Stéphane Mocanu	Standard specification-based intrusion detection for hierarchical industrial control systems.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
21	Brivael Hémon, Anthony Cherbonnier, Estelle Michinov, Eric Jamet, Nicolas Michinov	When Instructions Based on Constructive Controversy Boost Synergy in Online Groups.	Int. J. Hum. Comput. Interact.	2024	DBLP DOI BibTeX RDF
21	Agneet Chatterjee, Gabriela Ben Melech Stan, Estelle Aflalo, Sayak Paul, Dhruba Ghosh, Tejas Gokhale, Ludwig Schmidt, Hannaneh Hajishirzi, Vasudev Lal, Chitta Baral, Yezhou Yang	Getting it Right: Improving Spatial Consistency in Text-to-Image Models.	CoRR	2024	DBLP DOI BibTeX RDF
21	Nadine Mandran, Estelle Prior, Eric Sanchez, Mathieu Vermeulen	Reorienting Learning Game Design in Design-Based Research: a Case Study.	CoRR	2024	DBLP DOI BibTeX RDF
21	Andrew B. Jennings, Rida Laraki, Clemens Puppe, Estelle Marine Varloot	New characterizations of strategy-proofness under single-peakedness.	Math. Program.	2024	DBLP DOI BibTeX RDF
21	Estelle Pfitzer, Birte Jörn, Tobias Kowatsch	Harmonizing Innovation and Regulation: Swiss Health Insurance Navigates Digital Health Technologies for Enhanced Patient Engagement.	BIOSTEC (2)	2024	DBLP DOI BibTeX RDF
21	Barbara Steffen, Estelle Duparc, Tim Tegeler	Value-driven industry transformation: Leveraging open-source to establish new standards.	IESS	2024	DBLP DOI BibTeX RDF
21	Estelle Duparc, Nick Große, Hendrik van der Valk, Tan Gürpinar	Introduction to the Minitrack on Federated Industrial Platform Ecosystems: Technologies, Business Models, and Data-Driven Artifacts.	HICSS	2024	DBLP BibTeX RDF
21	Estelle E. Seghers, Luis A. Briceno-Mena, José A. Romagnoli	Unsupervised learning: Local and global structure preservation in industrial data.	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
21	Thomas Chaffre, Paulo E. Santos, Gilles Le Chenadec, Estelle Chauveau, Karl Sammut, Benoit Clement	Learning Adaptive Control of a UUV Using a Bio-Inspired Experience Replay Mechanism.	IEEE Access	2023	DBLP DOI BibTeX RDF
21	C. Estelle Smith, Hannah Miller Hillberg, Zachary Levonian	"Thoughts & Prayers" or " ❤️ &	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
21	Stephen P. Chapman, Estelle Duprez, Elisabeth Remy	Logical modelling of myelofibrotic microenvironment predicts dysregulated progenitor stem cell crosstalk.	Biosyst.	2023	DBLP DOI BibTeX RDF
21	Mélanie Corcuff, Marc Garibal, Jean-Pierre Desvignes, Céline Guien, Coralie Grattepanche, Gwenaëlle Collod-Béroud, Estelle Ménoret, David Salgado, Christophe Béroud	Protein domains provide a new layer of information for classifying human variations in rare diseases.	Frontiers Bioinform.	2023	DBLP DOI BibTeX RDF
21	Suresh Sagadevan, Ramesh Poonchi Sivasankaran, J. Anita Lett, Is Fatimah, Getu Kassegn Weldegebrieal, Estelle Léonard, Minh-Vien Le, Tetsuo Soga	Evaluation of Photocatalytic Activity and Electrochemical Properties of Hematite Nanoparticles.	Symmetry	2023	DBLP DOI BibTeX RDF
21	Avinash Madasu, Estelle Aflalo, Gabriela Ben Melech Stan, Shachar Rosenman, Shao-Yen Tseng, Gedas Bertasius, Vasudev Lal	MuMUR: Multilingual Multimodal Universal Retrieval.	Inf. Retr. J.	2023	DBLP DOI BibTeX RDF
21	Charlotte Baey, Estelle Kuhn	varTestnlme: An R Package for Variance Components Testing in Linear and Nonlinear Mixed-Effects Models.	J. Stat. Softw.	2023	DBLP DOI BibTeX RDF
21	Rida Laraki, Estelle Varloot	Grading and Ranking Large number of candidates.	CoRR	2023	DBLP DOI BibTeX RDF
21	Lina-Estelle Linelle Louis, Saïd Moussaoui, Vincent Roualdes, Aurélien van Langhenhove, Sébastien Ravoux, Isabelle Milleville-Pennel	Monitoring mental workload by EEG during a game in Virtual Reality.	CoRR	2023	DBLP DOI BibTeX RDF
21	Estelle Ruellan, Masarah Paquet-Clouston, Sebastián García	Conti Inc.: Understanding the Internal Discussions of a large Ransomware-as-a-Service Operator with Machine Learning.	CoRR	2023	DBLP DOI BibTeX RDF
21	C. Estelle Smith, Hannah Miller Hillberg, Zachary Levonian	"Thoughts & Prayers" or ": Heart Reaction: & : Prayer Reaction: ": How the Release of New Reactions on CaringBridge Reshapes Supportive Communication During Health Crises.	CoRR	2023	DBLP DOI BibTeX RDF
21	Gabriela Ben Melech Stan, Diana Wofk, Estelle Aflalo, Shao-Yen Tseng, Zhipeng Cai, Michael Paulitsch, Vasudev Lal	LDM3D-VR: Latent Diffusion Model for 3D VR.	CoRR	2023	DBLP DOI BibTeX RDF
21	Gabriela Ben Melech Stan, Diana Wofk, Scottie Fox, Alex Redden, Will Saxton, Jean Yu, Estelle Aflalo, Shao-Yen Tseng, Fabio Nonato, Matthias Müller 0011, Vasudev Lal	LDM3D: Latent Diffusion Model for 3D.	CoRR	2023	DBLP DOI BibTeX RDF
21	Juan Carrasquilla, Mohamed Hibat-Allah, Estelle M. Inack, Alireza Makhzani, Kirill Neklyudov, Graham W. Taylor, Giacomo Torlai	Quantum HyperNetworks: Training Binary Neural Networks in Quantum Superposition.	CoRR	2023	DBLP DOI BibTeX RDF
21	Bach Long Nguyen, Anh-Dzung Doan, Tat-Jun Chin, Christophe Guettier, Estelle Parra, Ian D. Reid 0001, Markus Wagner 0007	Sensor Allocation and Online-Learning-based Path Planning for Maritime Situational Awareness Enhancement: A Multi-Agent Approach.	CoRR	2023	DBLP DOI BibTeX RDF
21	Gale H. Prinster, C. Estelle Smith, Chenhao Tan, Brian C. Keegan	Community Archetypes: An Empirical Framework for Guiding Research Methodologies to Reflect User Experiences of Sense of Virtual Community.	CoRR	2023	DBLP DOI BibTeX RDF
21	Marie Le Duff, Estelle Michinov, Marie-Stéphanie Bracq, Nobutaka Mukae, Masatoshi Eto, Jeanne Descamps, Makoto Hashizume, Pierre Jannin	Virtual reality environments to train soft skills in medical and nursing education: a technical feasibility study between France and Japan.	Int. J. Comput. Assist. Radiol. Surg.	2023	DBLP DOI BibTeX RDF
21	Coralia Cartis, Estelle M. Massart, Adilet Otemissov	Bound-constrained global optimization of functions with low effective dimensionality using multiple random embeddings.	Math. Program.	2023	DBLP DOI BibTeX RDF
21	Coralia Cartis, Estelle M. Massart, Adilet Otemissov	Global optimization using random embeddings.	Math. Program.	2023	DBLP DOI BibTeX RDF
21	Estelle A. M. C. Adang, Maud T. A. Strous, Joop P. W. van den Bergh, Debbie Gach, Vivian E. M. van Kampen, Roel E. P. van Zeeland, Dennis G. Barten, Frits H. M. van Osch	Association of Heart Rate Variability with Pulmonary Function Impairment and Symptomatology Post-COVID-19 Hospitalization.	Sensors	2023	DBLP DOI BibTeX RDF
21	Aidan B. Estelle, August George, Elisar J. Barbar, Daniel M. Zuckerman	Quantifying cooperative multisite binding in the hub protein LC8 through Bayesian inference.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
21	Giovani Britton, Salvador Mir, Estelle Lauga-Larroze, Benjamin Dormieu, Quentin Berlingard, Mikaël Cassé, Philippe Galy	Noise modeling using look-up tables and DC measurements for cryogenic applications.	VLSI-SoC	2023	DBLP DOI BibTeX RDF
21	Joycelyn Hai, Florian Cacho, X. Federspiel, Tidjani Garba-Seybou, A. Divay, Estelle Lauga-Larroze, Jean-Daniel Arnould	Integrated Test Circuit for Off-State Dynamic Drain Stress Evaluation.	IRPS	2023	DBLP DOI BibTeX RDF
21	Mohammad Rashidujjaman Rifat, Ayesha Bhimdiwala, Ananya Bhattacharjee, Amna Batool, Dipto Das, Nusrat Jahan Mim, Abdullah Hasan Safir, Sharifa Sultana, Taslima Akter, C. Estelle Smith, Bryan C. Semaan, Shaimaa Lazem, Robert Soden, Michael J. Muller, Syed Ishtiaque Ahmed	Many Worlds of Ethics: Ethical Pluralism in CSCW.	CSCW Companion	2023	DBLP DOI BibTeX RDF
21	Estelle A. Cuttaz, Omaer Syed, Christopher A. R. Chapman, Josef A. Goding, Zachary K. Bailey, Roberto Portillo-Lara, Rylie A. Green	A Pilot In Vivo Study of Flexible Fully Polymeric Nerve Cuff Electrodes.	EMBC	2023	DBLP DOI BibTeX RDF
21	Ruth Line Tagne Mogue, Estelle Courtial, Yasmina Becis, Djahid Rabehi, Nacim Meslem, Nacim Ramdani	Finite-Gain £1 Interval Impulsive Observer Design Under Denial-of-Service Attacks.	CDC	2023	DBLP DOI BibTeX RDF
21	Ekaterina Sangati, Lorena Lobo, Stephen Estelle, Federico Sangati, Samira Tavassoli, Tom Froese	Uncovering the Role of Intention in Active and Passive Perception.	CogSci	2023	DBLP BibTeX RDF
21	Anna Maria Schleimer, Estelle Duparc	Designing Digital Infrastructures for Industrial Data Ecosystems - A Literature Review.	Wirtschaftsinformatik	2023	DBLP BibTeX RDF
21	Wibke Stodolka, Julia Mayer, Estelle Duparc, Barbara Steffen	The Stakeholder Onboarding Model: Addressing the Challenges of Multi-Stakeholder Onboarding.	IESS	2023	DBLP DOI BibTeX RDF
21	Avinash Madasu, Estelle Aflalo, Gabriela Ben Melech Stan, Shao-Yen Tseng, Gedas Bertasius, Vasudev Lal	Improving Video Retrieval Using Multilingual Knowledge Transfer.	ECIR (1)	2023	DBLP DOI BibTeX RDF
21	Hendrik van der Valk, Carina Culotta, Michael Schmidt, Estelle Duparc	Introduction to the Minitrack on Platform Ecosystems in Production and Logistics: Technologies, Business Models, and Data-Driven Artifacts.	HICSS	2023	DBLP BibTeX RDF
21	Alex Rotgang, Estelle Duparc, Barbara Steffen, Steffen Hövel, Julia Mayer, Wibke Stodolka	Federal Platform Ecosystems to Counter Monopolists: A Value-Based Vision for the Logistics Industry.	HICSS	2023	DBLP BibTeX RDF
21	Kiev Gama, George Valença, Candy Estelle Marques Laurendon, Ájò Nasidí Marques, Luís Eduardo Ramos, Ravena Amaral, Clarissa Maria Dubeux Lopes Barros, Guilherme Xavier	Hackathons as Inclusive Spaces for Prototyping Software in Open Social Innovation with NGOs.	ICSE (SEIS)	2023	DBLP DOI BibTeX RDF
21	Estelle Dirand, Ali Asad, Yann Magnin	Trigger Smart Data Saving Applied to CO2 Capture in Metal-Organic Frameworks.	SC Workshops	2023	DBLP DOI BibTeX RDF
21	Hasan Moussa, Jessica Gonsalves, Estelle Lauga-Larroze, Sana Ibrahim, Florence Podevin, Sylvain Bourdel, Laurent Fesquet	Making Digital N-Path Mixers.	DCIS	2023	DBLP DOI BibTeX RDF
21	Charlotte Baey, Maud Delattre, Estelle Kuhn, Jean-Benoist Leger, Sarah Lemler	Efficient preconditioned stochastic gradient descent for estimation in latent variable models.	ICML	2023	DBLP BibTeX RDF
21	Paul Melki, Lionel Bombrun, Estelle Millet, Boubacar Diallo, Hakim Elchaoui Elghor, Jean-Pierre Da Costa	Exploratory Analysis on Pixelwise Image Segmentation Metrics with an Application in Proximal Sensing.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
21	Estelle Duparc, Frederik Möller, Ilka Jussen, Maleen Stachon, Sükran Algac, Boris Otto	Archetypes of open-source business models.	Electron. Mark.	2022	DBLP DOI BibTeX RDF
21	Shuichi Ichioka, Estelle Pouget, Takao Mimura, Jun Nakajima, Toshihiro Yamauchi	Analysis of Android Applications Shared on Twitter Focusing on Accessibility Services.	J. Inf. Process.	2022	DBLP DOI BibTeX RDF